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 Source #

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

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

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

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

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

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