Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

ATC.ExtSign

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): ExtSign

Orphan instances

Generic (ExtSign sign symbol) Source #
Instance details 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) Source #
Instance details Methods parseJSON :: Value -> Parser (ExtSign sign symbol) parseJSONList :: Value -> Parser [ExtSign sign symbol]
(Ord symbol, ToJSON sign, ToJSON symbol) => ToJSON (ExtSign sign symbol) Source #
Instance details 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) Source #
Instance details 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])