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

Synopsis

Documentation

data ExtSign sign symbol Source #

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) Source #
Methods (==) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool (/=) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool
(Ord symbol, Data symbol, Data sign) => Data (ExtSign sign symbol) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExtSign sign symbol -> c (ExtSign sign symbol) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ExtSign sign symbol) toConstr :: ExtSign sign symbol -> Constr dataTypeOf :: ExtSign sign symbol -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ExtSign sign symbol)) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ExtSign sign symbol)) gmapT :: (forall b. Data b => b -> b) -> ExtSign sign symbol -> ExtSign sign symbol gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExtSign sign symbol -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExtSign sign symbol -> r gmapQ :: (forall d. Data d => d -> u) -> ExtSign sign symbol -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ExtSign sign symbol -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExtSign sign symbol -> m (ExtSign sign symbol) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtSign sign symbol -> m (ExtSign sign symbol) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtSign sign symbol -> m (ExtSign sign symbol)
Ord sign => Ord (ExtSign sign symbol) Source #
Methods compare :: ExtSign sign symbol -> ExtSign sign symbol -> Ordering (<) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool (<=) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool (>) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool (>=) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool max :: ExtSign sign symbol -> ExtSign sign symbol -> ExtSign sign symbol min :: ExtSign sign symbol -> ExtSign sign symbol -> ExtSign sign symbol
(Ord symbol, Read symbol, Read sign) => Read (ExtSign sign symbol) Source #
Methods readsPrec :: Int -> ReadS (ExtSign sign symbol) readList :: ReadS [ExtSign sign symbol] readPrec :: ReadPrec (ExtSign sign symbol) readListPrec :: ReadPrec [ExtSign sign symbol]
(Show symbol, Show sign) => Show (ExtSign sign symbol) Source #
Methods showsPrec :: Int -> ExtSign sign symbol -> ShowS show :: ExtSign sign symbol -> String showList :: [ExtSign sign symbol] -> ShowS
(Pretty sign, Pretty symbol) => Pretty (ExtSign sign symbol) Source #
Methods pretty :: ExtSign sign symbol -> Doc Source # pretties :: [ExtSign sign symbol] -> Doc Source #

mkExtSign :: sign -> ExtSign sign symbol Source #