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

LF.Sign

Description

 

Documentation

type VAR = String

type NAME = String

type MODULE = String

type BASE = String

data Symbol

Constructors

Symbol 

Fields

symBase :: BASE
 
symModule :: MODULE
 
symName :: NAME
 

Instances

type RAW_SYM = String

data EXP

Constructors

Type 
Var VAR 
Const Symbol 
Appl EXP [EXP] 
Func [EXP] EXP 
Pi CONTEXT EXP 
Lamb CONTEXT EXP 

Instances

type Sentence = EXP

type CONTEXT = [(VAR, EXP)]

data DEF

Constructors

Def 

Fields

getSym :: Symbol
 
getType :: EXP
 
getValue :: Maybe EXP
 

Instances

data Sign

Constructors

Sign 

Fields

sigBase :: BASE
 
sigModule :: MODULE
 
getDefs :: [DEF]
 

Instances

isSym :: RAW_SYM -> Bool

toSym :: RAW_SYM -> Symbol

gen_base :: String

gen_module :: String

emptySig :: Sign

addDef :: DEF -> Sign -> Sign

getSymbols :: Sign -> Set Symbol

getDeclaredSyms :: Sign -> Set Symbol

getDefinedSyms :: Sign -> Set Symbol

getLocalSyms :: Sign -> Set Symbol

getLocalDefs :: Sign -> [DEF]

getGlobalSyms :: Sign -> Set Symbol

getGlobalDefs :: Sign -> [DEF]

isConstant :: Symbol -> Sign -> Bool

isDeclaredSym :: Symbol -> Sign -> Bool

isDefinedSym :: Symbol -> Sign -> Bool

isLocalSym :: Symbol -> Sign -> Bool

isGlobalSym :: Symbol -> Sign -> Bool

getSymType :: Symbol -> Sign -> Maybe EXP

getSymValue :: Symbol -> Sign -> Maybe EXP

getSymsOfType :: EXP -> Sign -> Set Symbol

getFreeVars :: EXP -> Set VAR

getConstants :: EXP -> Set Symbol

recForm :: EXP -> EXP

isSubsig :: Sign -> Sign -> Bool

sigUnion :: Sign -> Sign -> Result Sign

sigIntersection :: Sign -> Sign -> Result Sign

genSig :: Set Symbol -> Sign -> Result Sign

coGenSig :: Set Symbol -> Sign -> Result Sign