Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Dietrich, DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdominik.dietrich@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

CSL.Morphism

Description

this file defines morhpisms for the reduce logic. A morphism is a mapping of operator symbols

Synopsis

Documentation

data Morphism

The datatype for morphisms in reduce logic as maps of sets

Constructors

Morphism 

Fields

source :: Sign
 
target :: Sign
 
operatorMap :: Map Id Id
 

pretty :: Pretty a => a -> Doc

idMor :: Sign -> Morphism

Constructs an id-morphism

composeMor :: Morphism -> Morphism -> Result Morphism

calculates the composition of two morhpisms f:X->Y, g:Y->Z

inclusionMap :: Sign -> Sign -> Morphism

constructs the inclusion map for a given signature

mapSentence :: Morphism -> CMD -> Result CMD

sentence translation along signature morphism here just the renaming of formulae

applyMap :: Map Id Id -> Id -> Id

Application function for propMaps

applyMorphism :: Morphism -> Id -> Id

Application funtion for morphisms