hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.DataAna
Portability non-portable (MonadState)
Stability provisional
Maintainer hets@tzi.de
Description
analyse alternatives of data types
Synopsis
anaAlts :: [(Id, Type)] -> Type -> [Alternative] -> State Env [AltDefn]
anaAlt :: [(Id, Type)] -> Type -> Alternative -> State Env [AltDefn]
getConstrType :: Type -> Partiality -> [Type] -> Type
addPartiality :: Partiality -> Type -> Type
makePartial :: Type -> Type
anaComps :: Id -> [(Id, Type)] -> Type -> ([Component], [Int]) -> State Env (Maybe Type, [Selector])
anaComp :: Id -> [(Id, Type)] -> Type -> (Component, [Int]) -> State Env (Maybe Type, [Selector])
getSelType :: Type -> Partiality -> Type -> Type
anaCompType :: [(Id, Type)] -> Type -> Type -> State Env (Maybe Type)
checkMonomorphRecursion :: Type -> (Id, Type) -> State Env Bool
unboundTypevars :: [TypeArg] -> Type -> State Env (Maybe Type)
Produced by Haddock version 0.6