hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.TypeAna
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
analyse classes and types
Synopsis
toKind :: Maybe Kind -> Kind
anaKind :: Kind -> State Env Kind
anaKindM :: Kind -> State Env (Maybe Kind)
data ApplMode
= OnlyArg
| TopLevel
mkTypeConstrAppls :: ApplMode -> Type -> State Env (Maybe Type)
lesserKind :: Kind -> Kind -> Bool
inferRawKind :: Type -> State Env Kind
checkTypeRawKind :: Type -> Kind -> State Env ()
getIdRawKind :: Id -> State Env Kind
getRawKind :: TypeMap -> Id -> Maybe Kind
checkMaybeKinds :: (PosItem a, PrettyPrint a) => a -> Maybe Kind -> Maybe Kind -> State Env (Maybe Kind)
checkFunKind :: Maybe Kind -> Type -> Type -> Kind -> State Env (Maybe Kind)
inferKind :: Maybe Kind -> Type -> State Env (Maybe Kind)
getIdKind :: Id -> State Env (Maybe Kind)
getKind :: TypeMap -> Id -> Maybe Kind
isTypeVar :: TypeMap -> Id -> Bool
anaType :: (Maybe Kind, Type) -> State Env (Kind, Maybe Type)
anaStarType :: Type -> State Env (Maybe Type)
mkBracketToken :: BracketKind -> [Pos] -> [Token]
Produced by Haddock version 0.6