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.Morphism

Description

 

Documentation

data MorphType

Constructors

Definitional 
Postulated 
Unknown 

Instances

data Morphism

Constructors

Morphism 

Fields

morphBase :: BASE
 
morphModule :: MODULE
 
morphName :: NAME
 
source :: Sign
 
target :: Sign
 
morphType :: MorphType
 
symMap :: Map Symbol EXP
 

Instances

idMorph :: Sign -> Morphism

compMorph :: Morphism -> Morphism -> Result Morphism

mapSymbol :: Symbol -> Morphism -> Maybe EXP

translate :: Morphism -> EXP -> Maybe EXP

canForm :: Morphism -> Morphism

inclusionMorph :: Sign -> Sign -> Result Morphism

inducedFromToMorphism :: Map Symbol (EXP, EXP) -> Sign -> Sign -> Result Morphism

inducedFromMorphism :: Map Symbol Symbol -> Sign -> Result Morphism

gen_morph :: String