Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

HasCASL.MapTerm

Description

rename symbols of terms according to a signature morphisms

Documentation

type Rename = ((Id, TypeScheme) -> (Id, TypeScheme), Type -> Type)

renameRec :: Rename -> MapRec

mapTerm :: Rename -> Term -> Term

mapEq :: Rename -> ProgEq -> ProgEq

mapVar :: (Type -> Type) -> VarDecl -> VarDecl

mapGenVar :: (Type -> Type) -> GenVarDecl -> GenVarDecl

mapOpInfo :: Rename -> OpInfo -> OpInfo

mapOpAttr :: Rename -> OpAttr -> OpAttr

renameOpDefn :: Rename -> OpDefn -> OpDefn

renameConstrInfo :: (Type -> Type) -> ConstrInfo -> ConstrInfo