hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Hatchet.Type
Synopsis
kind :: HasKind t => t -> Kind
apply :: Types t => Subst -> t -> t
nullSubst :: Subst
(@@) :: Subst -> Subst -> Subst
class Types t where
apply :: Subst -> t -> t
tv :: t -> [Tyvar]
(+->) :: Tyvar -> Type -> Subst
merge :: Subst -> Subst -> Maybe Subst
mgu :: Type -> Type -> Maybe Subst
match :: Type -> Type -> Maybe Subst
quantify :: [Tyvar] -> Qual Type -> Scheme
toScheme :: Type -> Scheme
find :: AHsName -> [Assump] -> Scheme
makeAssump :: AHsName -> Scheme -> Assump
assumpScheme :: Assump -> Scheme
assumpToPair :: Assump -> (AHsName, Scheme)
pairToAssump :: (AHsName, Scheme) -> Assump
assumpId :: Assump -> AHsName
class Instantiate t where
inst :: [Type] -> t -> t
Produced by Haddock version 0.6