Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI GmbH 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Qualify

Description

Code out overloading and qualify all names

Documentation

qualifySig :: SIMPLE_ID -> LibName -> Morphism f e () -> Sign f e -> Result (Morphism f e (), [Named (FORMULA f)]) Source #

qualifySigExt :: InducedSign f e m e -> m -> SIMPLE_ID -> LibName -> Morphism f e m -> Sign f e -> Result (Morphism f e m, [Named (FORMULA f)]) Source #

inverseMorphism :: (Morphism f e m -> Result m) -> Morphism f e m -> Result (Morphism f e m) Source #