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

Contents

Orphan instances

Description

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

Orphan instances

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