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
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json
for the type(s):
LibName
VersionNumber
Orphan instances
Generic VersionNumber Source # | |
Associated Types type Rep VersionNumber :: Type -> Type | |
Generic LibName Source # | |
FromJSON VersionNumber Source # | |
FromJSON LibName Source # | |
ToJSON VersionNumber Source # | |
Methods toJSON :: VersionNumber -> Value toEncoding :: VersionNumber -> Encoding toJSONList :: [VersionNumber] -> Value toEncodingList :: [VersionNumber] -> Encoding | |
ToJSON LibName Source # | |
Methods toEncoding :: LibName -> Encoding toJSONList :: [LibName] -> Value toEncodingList :: [LibName] -> Encoding | |
ShATermConvertible VersionNumber Source # | |
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 # | |
Methods toShATermAux :: ATermTable -> LibName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [LibName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, LibName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [LibName]) |