aterm-0.1.0.2: serialisation for Haskell values with sharing support

Copyright(c) Klaus Luettich Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports ATerm.AbstractSyntax)
Safe HaskellNone
LanguageHaskell98

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
Eq ATerm Source # 
Instance details

Defined in ATerm.Unshared

Methods

(==) :: ATerm -> ATerm -> Bool #

(/=) :: ATerm -> ATerm -> Bool #

Ord ATerm Source # 
Instance details

Defined in ATerm.Unshared

Methods

compare :: ATerm -> ATerm -> Ordering #

(<) :: ATerm -> ATerm -> Bool #

(<=) :: ATerm -> ATerm -> Bool #

(>) :: ATerm -> ATerm -> Bool #

(>=) :: ATerm -> ATerm -> Bool #

max :: ATerm -> ATerm -> ATerm #

min :: ATerm -> ATerm -> ATerm #

Show ATerm Source # 
Instance details

Defined in ATerm.Unshared

Methods

showsPrec :: Int -> ATerm -> ShowS #

show :: ATerm -> String #

showList :: [ATerm] -> ShowS #

fromATerm :: ShATermConvertible t => ATerm -> t Source #

fromShATerm :: ShATermConvertible t => ATermTable -> t Source #

getATermFull :: ATermTable -> ATerm Source #

toATermTable :: ATerm -> ATermTable Source #