hets -- a heterogenous Specification (CASL) tool set Contents Index

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