hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.ClassDecl
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
analyse class decls
Synopsis
anaClassDecls :: ClassDecl -> State Env ClassDecl
putClassMap :: ClassMap -> State Env ()
addClassDecl :: Kind -> ClassId -> State Env ()
showClassList :: [ClassId] -> ShowS
wrongClassDecl :: ClassId -> [Diagnosis]
Documentation
anaClassDecls :: ClassDecl -> State Env ClassDecl
putClassMap :: ClassMap -> State Env ()
store a class map
addClassDecl :: Kind -> ClassId -> State Env ()
store a class
showClassList :: [ClassId] -> ShowS
wrongClassDecl :: ClassId -> [Diagnosis]
Produced by Haddock version 0.6