stdata-0.0.3: Structure Data Library

Data.SExp.Data

Documentation

data Atom Source

Constructors

StringAtom String
BooleanAtom Bool
IntegerAtom Integer
FloatingAtom Double
SymbolAtom String

Instances

Eq Atom
Data Atom
Ord Atom
Show Atom
Typeable Atom

data AntiAtom Source

Constructors

ValueAntiAtom String	Created with QuasiQuotes of form `[sexp\| @:name \|]`. Will be converted to expression or pattern of type `SExp`.
AtomAntiAtom String	Created with QuasiQuotes of form `[sexp\| @atom:name \|]`. Will be converted to expression or pattern of type `Atom`.
StringAntiAtom String	Created with QuasiQuotes of form `[sexp\| @str:name \|]`. Will be converted to expression or pattern of type `Atom`.
BooleanAntiAtom String	Created with QuasiQuotes of form `[sexp\| @bool:name \|]`. Will be converted to expression or pattern of type `Atom`.
IntegerAntiAtom String	Created with QuasiQuotes of form `[sexp\| @int:name \|]`. Will be converted to expression or pattern of type `Atom`.
FloatingAntiAtom String	Created with QuasiQuotes of form `[sexp\| @float:name \|]`. Will be converted to expression or pattern of type `Atom`.
SymbolAntiAtom String	Created with QuasiQuotes of form `[sexp\| @sym:name \|]`. Will be converted to expression or pattern of type `Atom`.

Instances

Eq AntiAtom
Data AntiAtom
Ord AntiAtom
Show AntiAtom
Typeable AntiAtom

data OpenLink sd sl Source

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 Source

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 Source

Constructors

SExp
Fields unSExp :: OpenSExp SExpLink

Instances

Eq SExp
Data SExp
Ord SExp
Show SExp
Typeable SExp

newtype SExpLink Source

Constructors

SExpLink
Fields unSExpLink :: OpenLink SExp SExpLink

Instances

Eq SExpLink
Data SExpLink
Ord SExpLink
Show SExpLink
Typeable SExpLink

data DualSExp Source

Constructors

PositiveDualSExp (OpenSExp DualSExpLink)
AntiAtomDualSExp AntiAtom

Instances

Eq DualSExp
Data DualSExp
Ord DualSExp
Show DualSExp
Typeable DualSExp

data DualSExpLink Source

Constructors

PositiveDualSExpLink (OpenLink DualSExp DualSExpLink)
AntiConsDualSExpLink String

Instances

Eq DualSExpLink
Data DualSExpLink
Ord DualSExpLink
Show DualSExpLink
Typeable DualSExpLink