hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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