Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH, Uni Bremen 2002-2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Common.ExtSign

Description

Some functions that operate over signatures need to be extended to work over signatures with symbol sets for every logic

Synopsis

Documentation

data ExtSign sign symbol

signatures with symbol sets. (The Ord instance is needed for the ATC generation)

Constructors

ExtSign 

Fields

plainSign :: sign
 
nonImportedSymbols :: Set symbol
 

Instances

Ord sign => Eq (ExtSign sign symbol) 
(Data sign, Data symbol, Ord symbol) => Data (ExtSign sign symbol) 
Ord sign => Ord (ExtSign sign symbol) 
(Ord symbol, Read sign, Read symbol) => Read (ExtSign sign symbol) 
(Show sign, Show symbol) => Show (ExtSign sign symbol) 
(Ord symbol, ShATermConvertible sign, ShATermConvertible symbol) => ShATermConvertible (ExtSign sign symbol) 
(Pretty sign, Pretty symbol) => Pretty (ExtSign sign symbol) 
Typeable (* -> * -> *) ExtSign 

mkExtSign :: sign -> ExtSign sign symbol