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

HasCASL.MapTerm

Description

rename symbols of terms according to a signature morphisms

Documentation

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

renameRec :: Rename -> MapRec Source #

mapTerm :: Rename -> Term -> Term Source #

mapEq :: Rename -> ProgEq -> ProgEq Source #

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

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

mapOpInfo :: Rename -> OpInfo -> OpInfo Source #

mapOpAttr :: Rename -> OpAttr -> OpAttr Source #

renameOpDefn :: Rename -> OpDefn -> OpDefn Source #

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