Hets - the Heterogeneous Tool Set

Copyright(c) Stef Joosten, Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Adl.Sign

Description

 

Documentation

type RelMap = Map Id (Set RelType)

data Sign

Constructors

Sign 

Fields

rels :: RelMap
 
isas :: Rel Concept
 

Instances

emptySign :: Sign

closeSign :: Sign -> Sign

isSubSignOf :: Sign -> Sign -> Bool

signUnion :: Sign -> Sign -> Result Sign

data Symbol

Constructors

Con Concept 
Rel Relation 

Instances

conceptToId :: Concept -> Id

symName :: Symbol -> Id

data RawSymbol

Constructors

Symbol Symbol 
AnId Id 

Instances

symMatch :: Symbol -> RawSymbol -> Bool

symOf :: Sign -> Set Symbol

data Sen

Constructors

DeclProp Relation RangedProp 
Assertion (Maybe RuleKind) Rule 

Instances

printNSen :: Named Sen -> Doc