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

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 #