| 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
- disjointKeys :: (Ord a, Pretty a, MonadFail m) => Map a b -> Map a c -> m ()
- mapKindI :: IdMap -> Kind -> Kind
- mapKinds :: Morphism -> Kind -> Kind
- mapKindsOfType :: IdMap -> TypeMap -> IdMap -> Type -> Type
- mapTypeE :: IdMap -> TypeMap -> IdMap -> Type -> Type
- mapVarKind :: IdMap -> TypeMap -> IdMap -> VarKind -> VarKind
- 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
- 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
Documentation
disjointKeys :: (Ord a, Pretty a, MonadFail m) => Map a b -> Map a c -> m () Source #
mapKinds :: Morphism -> Kind -> Kind Source #
map a kind along a signature morphism (variance is preserved)
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)
mapTypeScheme :: IdMap -> TypeMap -> IdMap -> TypeScheme -> TypeScheme Source #
getDatatypeIds :: DataEntry -> Set Id Source #
mapAlt :: IdMap -> TypeMap -> IdMap -> FunMap -> IdMap -> [TypeArg] -> Type -> AltDefn -> AltDefn Source #
mapSel :: IdMap -> TypeMap -> IdMap -> FunMap -> IdMap -> [TypeArg] -> Type -> Selector -> Selector Source #
getPartiality :: [a] -> Type -> Partiality Source #
get the partiality from a constructor type with a given number of curried arguments.
showEnvDiff :: Env -> Env -> String Source #