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

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

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 #