hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.OpDecl
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
analyse operation declarations
Synopsis
anaAttr :: GlobalAnnos -> TypeScheme -> OpAttr -> State Env (Maybe OpAttr)
filterVars :: Assumps -> Assumps
patternsToType :: [Pattern] -> Type -> Type
tuplePatternToType :: Pattern -> Type
anaOpItem :: GlobalAnnos -> OpBrand -> OpItem -> State Env OpItem
getUninstOpId :: TypeScheme -> OpId -> (OpId, TypeScheme)
anaOpId :: OpBrand -> TypeScheme -> [OpAttr] -> OpId -> State Env (Maybe OpId)
anaTypeScheme :: TypeScheme -> State Env (Maybe TypeScheme)
anaProgEq :: GlobalAnnos -> ProgEq -> State Env ProgEq
getApplConstr :: Pattern -> (Pattern, [Pattern])
Produced by Haddock version 0.6