Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

HasCASL.TypeDecl

Description

analyse type declarations

Synopsis

Documentation

anaFormula :: Annoted Term -> State Env (Maybe (Annoted Term, Annoted Term))

resolve and type check a formula

mapAnMaybe :: Monad m => (Annoted a -> m (Maybe b)) -> [Annoted a] -> m [Annoted b]

lift a analysis function to annotated items

anaTypeItems :: GenKind -> [Annoted TypeItem] -> State Env [Annoted TypeItem]

analyse annotated type items

dataPatToType :: DatatypeDecl -> State Env DataPat

convert a data type with an analysed type pattern to a data pattern

anaDatatype :: GenKind -> [DataPat] -> Annoted DatatypeDecl -> State Env (Maybe DatatypeDecl)

analyse a pre-analysed data type given all data patterns of the type item

addDataSen :: [DataPat] -> State Env ()

add sentences for data type definitions