aterm-0.1.0.0: serialisation for Haskell values with sharing support

Portabilitynon-portable (imports ATerm.AbstractSyntax)
Stabilityprovisional
MaintainerChristian.Maeder@dfki.de

ATerm.Unshared

Description

conversion between shared and (basically unused) unshared ATerms

Documentation

data ATerm Source

Constructors

AAppl String [ATerm] [ATerm] 
AList [ATerm] [ATerm] 
AInt Integer [ATerm] 

Instances

fromATerm :: ShATermConvertible t => ATerm -> tSource

fromShATerm :: ShATermConvertible t => ATermTable -> tSource

getATermFull :: ATermTable -> ATermSource

toATermTable :: ATerm -> ATermTableSource