hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Hatchet.TIMonad
Synopsis
data TI a
inst :: Instantiate t => [Type] -> t -> t
runTI :: Env Scheme -> ClassHierarchy -> KindEnv -> SigEnv -> AModule -> TI a -> a
getErrorContext :: TI [Diagnostic]
getErrorStatus :: TI Bool
setError :: TI ()
pushErrorContext :: Diagnostic -> TI ()
withContext :: Diagnostic -> TI a -> TI a
popErrorContext :: TI Diagnostic
getSubst :: TI Subst
getClassHierarchy :: TI ClassHierarchy
getKindEnv :: TI KindEnv
getSigEnv :: TI SigEnv
unify :: Type -> Type -> TI ()
freshInst :: Scheme -> TI (Qual Type)
dConScheme :: AHsName -> TI Scheme
unifyList :: [Type] -> TI ()
getModName :: TI AModule
newTVar :: Kind -> TI Type
Produced by Haddock version 0.6