Hets - the Heterogeneous Tool Set

Copyright	(c) Christian Maeder and Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

HasCASL.Morphism

Description

mapping entities of morphisms

Synopsis

Documentation

disjointKeys :: (Ord a, Pretty a, Monad m) => Map a b -> Map a c -> m ()

mapKindI :: IdMap -> Kind -> Kind

map a kind along an identifier map

mapKinds :: Morphism -> Kind -> Kind

map a kind along a signature morphism (variance is preserved)

mapKindsOfType :: IdMap -> TypeMap -> IdMap -> Type -> Type

only rename the kinds in a type

mapTypeE :: IdMap -> TypeMap -> IdMap -> Type -> Type

map type, expand it, and also adjust the kinds

mapVarKind :: IdMap -> TypeMap -> IdMap -> VarKind -> VarKind

map a kind along a signature morphism (variance is preserved)

mapTypeArg :: IdMap -> TypeMap -> IdMap -> TypeArg -> TypeArg

mapTypeScheme :: IdMap -> TypeMap -> IdMap -> TypeScheme -> TypeScheme

mapSen :: IdMap -> TypeMap -> IdMap -> FunMap -> Term -> Term

getDatatypeIds :: DataEntry -> Set Id

mapDataEntry :: IdMap -> TypeMap -> IdMap -> FunMap -> DataEntry -> DataEntry

mapAlt :: IdMap -> TypeMap -> IdMap -> FunMap -> IdMap -> [TypeArg] -> Type -> AltDefn -> AltDefn

mapSel :: IdMap -> TypeMap -> IdMap -> FunMap -> IdMap -> [TypeArg] -> Type -> Selector -> Selector

getPartiality :: [a] -> Type -> Partiality

get the partiality from a constructor type with a given number of curried arguments.

mapSentence :: Morphism -> Sentence -> Result Sentence

mapFunSym :: IdMap -> TypeMap -> IdMap -> FunMap -> (Id, TypeScheme) -> (Id, TypeScheme)

ideMor :: Env -> Morphism

compMor :: Morphism -> Morphism -> Result Morphism

showEnvDiff :: Env -> Env -> String

legalMor :: Morphism -> Result ()

morphismUnion :: Morphism -> Morphism -> Result Morphism

morphismToSymbMap :: Morphism -> SymbolMap