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

Description

 

Documentation

data Morphism

Constructors

Morphism 

Fields

source :: Sign
 
target :: Sign
 
symMap :: Map NAME NAME
 

Instances

idMorph :: Sign -> Morphism

compMorph :: Morphism -> Morphism -> Result Morphism

isValidMorph :: Morphism -> Bool

canForm :: Morphism -> Morphism

applyMorph :: Translatable a => Morphism -> a -> a

mapSymbol :: Morphism -> NAME -> NAME

inclusionMorph :: Sign -> Sign -> Result Morphism

morphUnion :: Morphism -> Morphism -> Result Morphism

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

inducedFromToMorphism :: Map Symbol Symbol -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism

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

toTermMap :: Map NAME NAME -> Map NAME TERM