Contents Index

Org.Org.Semantic.HBase.Basic.Type

Synopsis

data Any f = forall a . MkAny (f a) newtype All f = MkAll (forall a . f a) data Type a = MkType type Type1 a = Type (a ()) type Type2 a = Type (a () ()) type Type11 a = Type (a Type) getType :: a -> Type a sameType :: a -> a -> () sameType1 :: a x1 -> a x2 -> () hasType :: Type a -> a -> () hasType1 :: Type (a x1) -> a x2 -> ()

Documentation

data Any f

Constructors forall a . MkAny (f a)

newtype All f

Constructors MkAll (forall a . f a)

data Type a

for kind * Constructors MkType Instances Singular (Type a) Eq (Type a)

type Type1 a = Type (a ())

for kind * -> *

type Type2 a = Type (a () ())

for kind * -> * -> *

type Type11 a = Type (a Type)

for kind (* -> *) -> *

getType :: a -> Type a

sameType :: a -> a -> ()

sameType1 :: a x1 -> a x2 -> ()

hasType :: Type a -> a -> ()

hasType1 :: Type (a x1) -> a x2 -> ()

Produced by Haddock version 0.6