Portability | non-portable(imports ATerm.AbstractSyntax) |
---|---|
Stability | provisional |
Maintainer | Christian.Maeder@dfki.de |
the class ShATermConvertible
depending on the class Typeable
for
converting datatypes to and from ShATerm
s in ATermTable
s, plus a
couple of basic instances and utilities
Documentation
class Typeable t => ShATermConvertible t whereSource
toShATermAux :: ATermTable -> t -> IO (ATermTable, Int)Source
toShATermList' :: ATermTable -> [t] -> IO (ATermTable, Int)Source
fromShATermAux :: Int -> ATermTable -> (ATermTable, t)Source
fromShATermList' :: Int -> ATermTable -> (ATermTable, [t])Source
ShATermConvertible Bool | |
ShATermConvertible Char | |
ShATermConvertible Float | |
ShATermConvertible Int | |
ShATermConvertible Integer | |
ShATermConvertible Word8 | |
ShATermConvertible () | |
ShATermConvertible a => ShATermConvertible [a] | |
(ShATermConvertible a, Integral a) => ShATermConvertible (Ratio a) | |
ShATermConvertible a => ShATermConvertible (Maybe a) | |
ShATermConvertible a => ShATermConvertible (IntMap a) | |
ShATermConvertible a => ShATermConvertible (Set a) | |
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Either a b) | |
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (a, b) | |
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Map a b) | |
(ShATermConvertible a, ShATermConvertible b, ShATermConvertible c) => ShATermConvertible (a, b, c) | |
(ShATermConvertible a, ShATermConvertible b, ShATermConvertible c, ShATermConvertible d) => ShATermConvertible (a, b, c, d) |
toShATerm' :: ShATermConvertible t => ATermTable -> t -> IO (ATermTable, Int)Source
fromShATerm' :: ShATermConvertible t => Int -> ATermTable -> (ATermTable, t)Source
fromShATermError :: String -> ShATerm -> aSource