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

Framework.ATC_Framework

Contents

Orphan instances

Description

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

Orphan instances

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