thih-1.0: Typing Haskell In Haskell
Type
data Type Source
Constructors
Instances
data Tyvar Source
data Tycon Source
tString :: TypeSource
fn :: Type -> Type -> TypeSource
list :: Type -> TypeSource
pair :: Type -> Type -> TypeSource
class HasKind t whereSource
Methods
kind :: t -> KindSource