Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova, DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

DFOL.Sign

Description

 

Documentation

data KIND

Constructors

SortKind 
FuncKind 
PredKind 

Instances

type ARITY = Int

data CONTEXT

Constructors

Context [DECL] 

Instances

data Sign

Constructors

Sign [DECL] 

Instances

emptyContext :: CONTEXT

addVarDecl :: DECL -> CONTEXT -> CONTEXT

getVars :: CONTEXT -> Set NAME

getVarType :: NAME -> CONTEXT -> Maybe TYPE

emptySig :: Sign

addSymbolDecl :: DECL -> Sign -> Sign

getSymbols :: Sign -> Set NAME

isConstant :: NAME -> Sign -> Bool

getSymbolType :: NAME -> Sign -> Maybe TYPE

getSymbolKind :: NAME -> Sign -> Maybe KIND

getSymbolArity :: NAME -> Sign -> Maybe ARITY

getSymbolsByKind :: Sign -> KIND -> Set NAME

getArgumentTypes :: NAME -> Sign -> Maybe [TYPE]

getReturnType :: NAME -> Sign -> Maybe TYPE

getArgumentNames :: NAME -> Sign -> Maybe [NAME]

sigUnion :: Sign -> Sign -> Result Sign

sigIntersection :: Sign -> Sign -> Result Sign

isValidDecl :: DECL -> Sign -> CONTEXT -> DIAGN Bool

isValidVarDecl :: DECL -> Sign -> CONTEXT -> DIAGN Bool

getTermType :: TERM -> Sign -> CONTEXT -> Result TYPE

hasType :: TERM -> TYPE -> Sign -> CONTEXT -> DIAGN Bool

isValidType :: TYPE -> Sign -> CONTEXT -> DIAGN Bool

getSymsOfType :: Sign -> TYPE -> [NAME]