| ||||||||
| ||||||||
Description | ||||||||
analyse generic var (or type var) decls | ||||||||
Synopsis | ||||||||
Documentation | ||||||||
putTypeMap :: TypeMap -> State Env () | ||||||||
store a complete type map | ||||||||
addTypeId :: Bool -> TypeDefn -> Instance -> Kind -> Id -> State Env (Maybe Id) | ||||||||
store type id and check kind arity (warn on redeclared types) | ||||||||
addTypeKind :: Bool -> TypeDefn -> Id -> Kind -> State Env () | ||||||||
store type as is (warn on redeclared types) | ||||||||
anaTypeVarDecl :: TypeArg -> State Env (Maybe TypeArg) | ||||||||
analyse a type argument and look up a missing kind | ||||||||
addTypeVarDecl :: Bool -> TypeArg -> State Env (Maybe TypeArg) | ||||||||
add an analysed type argument (warn on redeclared types) | ||||||||
kindArity :: ApplMode -> Kind -> Int | ||||||||
compute arity from a Kind | ||||||||
putAssumps :: Assumps -> State Env () | ||||||||
store assumptions | ||||||||
partitionOpId :: Assumps -> TypeMap -> Int -> UninstOpId -> TypeScheme -> ([OpInfo], [OpInfo]) | ||||||||
find information for qualified operation | ||||||||
addOpId :: UninstOpId -> TypeScheme -> [OpAttr] -> OpDefn -> State Env (Maybe UninstOpId) | ||||||||
storing an operation | ||||||||
addGenVarDecl :: GenVarDecl -> State Env (Maybe GenVarDecl) | ||||||||
anaGenVarDecl :: GenVarDecl -> State Env (Maybe GenVarDecl) | ||||||||
convertTypeToKind :: Type -> State Env (Maybe Kind) | ||||||||
optAnaVarDecl :: VarDecl -> State Env (Maybe GenVarDecl) | ||||||||
anaVarDecl :: VarDecl -> State Env (Maybe VarDecl) | ||||||||
analyse | ||||||||
addVarDecl :: VarDecl -> State Env (Maybe VarDecl) | ||||||||
add a local variable with an analysed type | ||||||||
checkUniqueVars :: [VarDecl] -> State Env () | ||||||||
check uniqueness of variables | ||||||||
checkUniqueTypevars :: [TypeArg] -> State Env () | ||||||||
check uniqueness of type variables | ||||||||
filterAssumps :: (OpInfo -> Bool) -> Assumps -> Assumps | ||||||||
filter out assumption | ||||||||
Produced by Haddock version 0.6 |