Hets - the Heterogeneous Tool Set

Copyright(c) A. Tsogias, DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

THF.Sign

Description

Data structures and functions for thf THF Signatures. Note: Most of the implenentations support only THF0.

Documentation

type MorphismTHF = DefaultMorphism SignTHF

data SignTHF

Constructors

Sign 

Fields

types :: TypeMap
 
consts :: ConstMap
 
symbols :: SymbolMap
 

Instances

type TypeMap = Map Constant TypeInfo

type ConstMap = Map Constant ConstInfo

type SymbolMap = Map Constant SymbolTHF

data TypeInfo

Constructors

TypeInfo 

Fields

typeId :: Constant
 
typeName :: Name
 
typeKind :: Kind
 
typeAnno :: Annotations
 

Instances

data ConstInfo

Constructors

ConstInfo 

Fields

constId :: Constant
 
constName :: Name
 
constType :: Type
 
constAnno :: Annotations
 

Instances

emptySign :: SignTHF

type EitherMap c x = Map c (Either x Diagnosis)

toEitherLeftMap :: Map c x -> EitherMap c x

eitherMapHasDiagnosis :: EitherMap c x -> Bool

eitherMapGetDiagnosis :: EitherMap c x -> [Diagnosis]

eitherMapGetMap :: EitherMap c x -> Map c x

genRes :: EitherMap c x -> Either (Map c x) [Diagnosis]

sigUnion :: SignTHF -> SignTHF -> Result SignTHF

typeMapUnion :: TypeMap -> TypeMap -> Either TypeMap [Diagnosis]

constMapUnion :: ConstMap -> ConstMap -> Either ConstMap [Diagnosis]

symbolMapUnion :: SymbolMap -> SymbolMap -> Either SymbolMap [Diagnosis]

unite :: (Ord c, Eq x, Show x) => String -> EitherMap c x -> EitherMap c x -> EitherMap c x

sigDiff :: SignTHF -> SignTHF -> Result SignTHF

diff :: (Ord c, Eq x) => Map c x -> Map c x -> Map c x

sigIntersect :: SignTHF -> SignTHF -> Result SignTHF

typeMapIntersect :: TypeMap -> TypeMap -> Either TypeMap [Diagnosis]

constMapIntersect :: ConstMap -> ConstMap -> Either ConstMap [Diagnosis]

symbolMapIntersect :: SymbolMap -> SymbolMap -> Either SymbolMap [Diagnosis]

intersect :: (Ord c, Eq x, Show x) => String -> EitherMap c x -> EitherMap c x -> EitherMap c x