Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.HasCASL2HasCASL

Description

translate HasCASL formulas to HasCASL program equations

Synopsis

Documentation

data HasCASL2HasCASL Source #

The identity of the comorphism

Constructors

HasCASL2HasCASL 

Instances

Show HasCASL2HasCASL Source # 

Methods

showsPrec :: Int -> HasCASL2HasCASL -> ShowS

show :: HasCASL2HasCASL -> String

showList :: [HasCASL2HasCASL] -> ShowS

Language HasCASL2HasCASL Source # 
Comorphism HasCASL2HasCASL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Source #