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.ProofTree

Contents

Description

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

Orphan instances

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