Hets - the Heterogeneous Tool Set

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

HasCASL.Morphism

Description

mapping entities of morphisms

Synopsis

Documentation

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

mapKindI :: IdMap -> Kind -> Kind Source #

map a kind along an identifier map

mapKinds :: Morphism -> Kind -> Kind Source #

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

mapKindsOfType :: IdMap -> TypeMap -> IdMap -> Type -> Type Source #

only rename the kinds in a type

mapTypeE :: IdMap -> TypeMap -> IdMap -> Type -> Type Source #

map type, expand it, and also adjust the kinds

mapVarKind :: IdMap -> TypeMap -> IdMap -> VarKind -> VarKind Source #

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

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

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

showEnvDiff :: Env -> Env -> String Source #