| Portability | non-portable(imports ATerm.AbstractSyntax) |
|---|---|
| Stability | provisional |
| Maintainer | Christian.Maeder@dfki.de |
ATerm.Conversion
Description
the class ShATermConvertible depending on the class Typeable for
converting datatypes to and from ShATerms in ATermTables, plus a
couple of basic instances and utilities
Documentation
class Typeable t => ShATermConvertible t whereSource
Methods
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
Instances
| 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) | |
| (Ord a, ShATermConvertible a) => ShATermConvertible (Set a) | |
| (ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Either a b) | |
| (ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (a, b) | |
| (Ord a, 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