Copyright | (c) DFKI GmbH Uni Bremen 2002-2007 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Common.ExtSign
Description
Some functions that operate over signatures need to be extended to work over signatures with symbol sets for every logic
Documentation
data ExtSign sign symbol Source #
signatures with symbol sets. (The Ord instance is needed for the ATC generation)
Constructors
ExtSign | |
Fields
|
Instances
Ord sign => Eq (ExtSign sign symbol) Source # | |
(Ord symbol, Data symbol, Data sign) => Data (ExtSign sign symbol) Source # | |
Ord sign => Ord (ExtSign sign symbol) Source # | |
(Ord symbol, Read symbol, Read sign) => Read (ExtSign sign symbol) Source # | |
(Show symbol, Show sign) => Show (ExtSign sign symbol) Source # | |
(Pretty sign, Pretty symbol) => Pretty (ExtSign sign symbol) Source # | |