Data.SExp.Data

Documentation

data Atom

Constructors

StringAtom String

BooleanAtom Bool

IntegerAtom Integer

FloatingAtom Double

SymbolAtom String

Instances

Eq Atom

Data Atom

Ord Atom

Show Atom

Typeable Atom

data AntiAtom

Constructors

ValueAntiAtom String

AtomAntiAtom String

StringAntiAtom String

BooleanAntiAtom String

IntegerAntiAtom String

FloatingAntiAtom String

SymbolAntiAtom String

Instances

Eq AntiAtom

Data AntiAtom

Ord AntiAtom

Show AntiAtom

Typeable AntiAtom

data OpenLink sd sl

Constructors

NullLink

ConsLink sd sl

Instances

Typeable2 OpenLink

(Eq sd, Eq sl) => Eq (OpenLink sd sl)

(Data sd, Data sl) => Data (OpenLink sd sl)

(Ord sd, Ord sl) => Ord (OpenLink sd sl)

(Show sd, Show sl) => Show (OpenLink sd sl)

data OpenSExp sl

Constructors

AtomSExp Atom

LinkSExp sl

Instances

Typeable1 OpenSExp

Eq sl => Eq (OpenSExp sl)

Data sl => Data (OpenSExp sl)

Ord sl => Ord (OpenSExp sl)

Show sl => Show (OpenSExp sl)

newtype SExp

Constructors

SExp

Fields

unSExp :: OpenSExp SExpLink

Instances

Eq SExp

Data SExp

Ord SExp

Show SExp

Typeable SExp

newtype SExpLink

Constructors

SExpLink

Fields

unSExpLink :: OpenLink SExp SExpLink

Instances

Eq SExpLink

Data SExpLink

Ord SExpLink

Show SExpLink

Typeable SExpLink

data DualSExp

Constructors

PositiveDualSExp (OpenSExp DualSExpLink)

AntiAtomDualSExp AntiAtom

Instances

Eq DualSExp

Data DualSExp

Ord DualSExp

Show DualSExp

Typeable DualSExp

data DualSExpLink

Constructors

PositiveDualSExpLink (OpenLink DualSExp DualSExpLink)

AntiConsDualSExpLink String

Instances

Eq DualSExpLink

Data DualSExpLink

Ord DualSExpLink

Show DualSExpLink

Typeable DualSExpLink