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

data ExtSign sign symbol = ExtSign {
- plainSign :: sign
- nonImportedSymbols :: Set symbol
}
mkExtSign :: sign -> ExtSign sign symbol

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

Instances details

Ord sign => Eq (ExtSign sign symbol) Source #
Instance details Defined in Common.ExtSign Methods (==) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool (/=) :: ExtSign sign symbol -> ExtSign sign symbol -> Bool
(Data sign, Data symbol, Ord symbol) => Data (ExtSign sign symbol) Source #
Instance details Defined in Common.ExtSign 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 :: forall r r'. (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 #
Instance details Defined in Common.ExtSign 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
(Read sign, Read symbol, Ord symbol) => Read (ExtSign sign symbol) Source #
Instance details Defined in Common.ExtSign Methods readsPrec :: Int -> ReadS (ExtSign sign symbol) readList :: ReadS [ExtSign sign symbol] readPrec :: ReadPrec (ExtSign sign symbol) readListPrec :: ReadPrec [ExtSign sign symbol]
(Show sign, Show symbol) => Show (ExtSign sign symbol) Source #
Instance details Defined in Common.ExtSign Methods showsPrec :: Int -> ExtSign sign symbol -> ShowS show :: ExtSign sign symbol -> String showList :: [ExtSign sign symbol] -> ShowS
Generic (ExtSign sign symbol)
Instance details Defined in ATC.ExtSign Associated Types type Rep (ExtSign sign symbol) :: Type -> Type Methods from :: ExtSign sign symbol -> Rep (ExtSign sign symbol) x to :: Rep (ExtSign sign symbol) x -> ExtSign sign symbol
(Ord symbol, FromJSON sign, FromJSON symbol) => FromJSON (ExtSign sign symbol)
Instance details Defined in ATC.ExtSign Methods parseJSON :: Value -> Parser (ExtSign sign symbol) parseJSONList :: Value -> Parser [ExtSign sign symbol]
(Ord symbol, ToJSON sign, ToJSON symbol) => ToJSON (ExtSign sign symbol)
Instance details Defined in ATC.ExtSign Methods toJSON :: ExtSign sign symbol -> Value toEncoding :: ExtSign sign symbol -> Encoding toJSONList :: [ExtSign sign symbol] -> Value toEncodingList :: [ExtSign sign symbol] -> Encoding
(Ord symbol, ShATermConvertible sign, ShATermConvertible symbol) => ShATermConvertible (ExtSign sign symbol)
Instance details Defined in ATC.ExtSign Methods toShATermAux :: ATermTable -> ExtSign sign symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ExtSign sign symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ExtSign sign symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ExtSign sign symbol])
(Pretty sign, Pretty symbol) => Pretty (ExtSign sign symbol) Source #
Instance details Defined in Common.ExtSign Methods pretty :: ExtSign sign symbol -> Doc Source # pretties :: [ExtSign sign symbol] -> Doc Source #
type Rep (ExtSign sign symbol)
Instance details Defined in ATC.ExtSign type Rep (ExtSign sign symbol) = D1 ('MetaData "ExtSign" "Common.ExtSign" "main" 'False) (C1 ('MetaCons "ExtSign" 'PrefixI 'True) (S1 ('MetaSel ('Just "plainSign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 sign) :*: S1 ('MetaSel ('Just "nonImportedSymbols") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set symbol))))

mkExtSign :: sign -> ExtSign sign symbol Source #