stdata-0.0.4: 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`. `name` will be bound with type `SExp`.
AtomAntiAtom String	Created with QuasiQuotes of form `[sexp\| @atom:name \|]`. Will be converted to expression or pattern of type `SExp`. `name` will be bound with type `Atom`.
ListAntiAtom String	Created with QuasiQuotes of form `[sexp\| @list:name \|]`. Will be converted to expression or pattern of type `SExp`. `name` will be bound with type '[SExp]'.
StringAntiAtom String	Created with QuasiQuotes of form `[sexp\| @str:name \|]`. Will be converted to expression or pattern of type `SExp`. `name` will be bound with type `String`.
BooleanAntiAtom String	Created with QuasiQuotes of form `[sexp\| @bool:name \|]`. Will be converted to expression or pattern of type `SExp`. `name` will be bound with type `Bool`.
IntegerAntiAtom String	Created with QuasiQuotes of form `[sexp\| @int:name \|]`. Will be converted to expression or pattern of type `SExp`. `name` will be bound with type `Integer`.
FloatingAntiAtom String	Created with QuasiQuotes of form `[sexp\| @float:name \|]`. Will be converted to expression or pattern of type `SExp`. `name` will be bound with type `Double`.
SymbolAntiAtom String	Created with QuasiQuotes of form `[sexp\| @sym:name \|]`. Will be converted to expression or pattern of type `SExp`. `name` will be bound with type `String`.

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

sexpSymbolValue :: SExp -> Maybe String Source

sexpToList :: SExp -> Maybe [SExp]Source

sexpLinkToList :: SExpLink -> [SExp]Source

listToSExp :: [SExp] -> SExp Source

listToSExpLink :: [SExp] -> SExpLink Source