hets -- a heterogenous Specification (CASL) tool setContentsIndex
Common.ATerm.Conversion
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
Synopsis
class ATermConvertible t
toATerm :: ATermConvertible t => t -> ATerm
fromATerm :: ATermConvertible t => ATerm -> t
toATermList :: ATermConvertible t => [t] -> ATerm
fromATermList :: ATermConvertible t => ATerm -> [t]
toShATerm :: ATermConvertible t => ATermTable -> t -> (ATermTable, Int)
fromShATerm :: ATermConvertible t => ATermTable -> t
toShATermList :: ATermConvertible t => ATermTable -> [t] -> (ATermTable, Int)
fromShATermList :: ATermConvertible t => ATermTable -> [t]
toATermString :: ATermConvertible a => a -> String
fromATermString :: ATermConvertible a => String -> a
toSharedATermString :: ATermConvertible a => a -> String
fromATermError :: String -> ATerm -> a
fromShATermError :: String -> ShATerm -> a
Produced by Haddock version 0.6