Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, Till Mossakowski and Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.MapSentence

Description

Rename symbols of sentences according to a signature morphisms

Documentation

mapSrt :: Morphism f e m -> SORT -> SORT

type MapSen f e m = Morphism f e m -> f -> f

mapMorphism :: MapSen f e m -> Morphism f e m -> Record f (FORMULA f) (TERM f)

mapTerm :: MapSen f e m -> Morphism f e m -> TERM f -> TERM f

mapMorphForm :: MapSen f e m -> Morphism f e m -> FORMULA f -> FORMULA f

mapSen :: MorphismExtension e m => MapSen f e m -> Morphism f e m -> FORMULA f -> FORMULA f

mapOpSymb :: Morphism f e m -> OP_SYMB -> OP_SYMB

mapVars :: Morphism f e m -> VAR_DECL -> VAR_DECL

mapDecoratedOpSymb :: Morphism f e m -> (OP_SYMB, [Int]) -> (OP_SYMB, [Int])

mapConstr :: Morphism f e m -> Constraint -> Constraint

mapPrSymb :: Morphism f e m -> PRED_SYMB -> PRED_SYMB