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

Fpl.ATC_Fpl

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): FplExt FplSortItem FplOpItem FunDef TermExt SignExt

Orphan instances

Generic TermExt Source #
Instance details Associated Types type Rep TermExt :: Type -> Type Methods from :: TermExt -> Rep TermExt x to :: Rep TermExt x -> TermExt
Generic FunDef Source #
Instance details Associated Types type Rep FunDef :: Type -> Type Methods from :: FunDef -> Rep FunDef x to :: Rep FunDef x -> FunDef
Generic FplOpItem Source #
Instance details Associated Types type Rep FplOpItem :: Type -> Type Methods from :: FplOpItem -> Rep FplOpItem x to :: Rep FplOpItem x -> FplOpItem
Generic FplSortItem Source #
Instance details Associated Types type Rep FplSortItem :: Type -> Type Methods from :: FplSortItem -> Rep FplSortItem x to :: Rep FplSortItem x -> FplSortItem
Generic FplExt Source #
Instance details Associated Types type Rep FplExt :: Type -> Type Methods from :: FplExt -> Rep FplExt x to :: Rep FplExt x -> FplExt
Generic SignExt Source #
Instance details Associated Types type Rep SignExt :: Type -> Type Methods from :: SignExt -> Rep SignExt x to :: Rep SignExt x -> SignExt
FromJSON TermExt Source #
Instance details Methods parseJSON :: Value -> Parser TermExt parseJSONList :: Value -> Parser [TermExt]
FromJSON FunDef Source #
Instance details Methods parseJSON :: Value -> Parser FunDef parseJSONList :: Value -> Parser [FunDef]
FromJSON FplOpItem Source #
Instance details Methods parseJSON :: Value -> Parser FplOpItem parseJSONList :: Value -> Parser [FplOpItem]
FromJSON FplSortItem Source #
Instance details Methods parseJSON :: Value -> Parser FplSortItem parseJSONList :: Value -> Parser [FplSortItem]
FromJSON FplExt Source #
Instance details Methods parseJSON :: Value -> Parser FplExt parseJSONList :: Value -> Parser [FplExt]
FromJSON SignExt Source #
Instance details Methods parseJSON :: Value -> Parser SignExt parseJSONList :: Value -> Parser [SignExt]
ToJSON TermExt Source #
Instance details Methods toJSON :: TermExt -> Value toEncoding :: TermExt -> Encoding toJSONList :: [TermExt] -> Value toEncodingList :: [TermExt] -> Encoding
ToJSON FunDef Source #
Instance details Methods toJSON :: FunDef -> Value toEncoding :: FunDef -> Encoding toJSONList :: [FunDef] -> Value toEncodingList :: [FunDef] -> Encoding
ToJSON FplOpItem Source #
Instance details Methods toJSON :: FplOpItem -> Value toEncoding :: FplOpItem -> Encoding toJSONList :: [FplOpItem] -> Value toEncodingList :: [FplOpItem] -> Encoding
ToJSON FplSortItem Source #
Instance details Methods toJSON :: FplSortItem -> Value toEncoding :: FplSortItem -> Encoding toJSONList :: [FplSortItem] -> Value toEncodingList :: [FplSortItem] -> Encoding
ToJSON FplExt Source #
Instance details Methods toJSON :: FplExt -> Value toEncoding :: FplExt -> Encoding toJSONList :: [FplExt] -> Value toEncodingList :: [FplExt] -> Encoding
ToJSON SignExt Source #
Instance details Methods toJSON :: SignExt -> Value toEncoding :: SignExt -> Encoding toJSONList :: [SignExt] -> Value toEncodingList :: [SignExt] -> Encoding
ShATermConvertible TermExt Source #
Instance details Methods toShATermAux :: ATermTable -> TermExt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TermExt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TermExt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TermExt])
ShATermConvertible FunDef Source #
Instance details Methods toShATermAux :: ATermTable -> FunDef -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FunDef] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FunDef) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FunDef])
ShATermConvertible FplOpItem Source #
Instance details Methods toShATermAux :: ATermTable -> FplOpItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FplOpItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FplOpItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FplOpItem])
ShATermConvertible FplSortItem Source #
Instance details Methods toShATermAux :: ATermTable -> FplSortItem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FplSortItem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FplSortItem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FplSortItem])
ShATermConvertible FplExt Source #
Instance details Methods toShATermAux :: ATermTable -> FplExt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FplExt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FplExt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FplExt])
ShATermConvertible SignExt Source #
Instance details Methods toShATermAux :: ATermTable -> SignExt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SignExt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SignExt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SignExt])