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

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

data OpenLink sd sl Source

Constructors

NullLink 
ConsLink 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

newtype SExpLink Source

Constructors

SExpLink 

Fields

unSExpLink :: OpenLink SExp SExpLink
 

data DualSExp Source

Constructors

PositiveDualSExp (OpenSExp DualSExpLink) 
AntiAtomDualSExp AntiAtom 

Instances

data DualSExpLink Source

Constructors

PositiveDualSExpLink (OpenLink DualSExp DualSExpLink) 
AntiConsValueDualSExpLink String 
AntiConsListDualSExpLink String 

sexpSymbolValue :: SExp -> Maybe StringSource

sexpToList :: SExp -> Maybe [SExp]Source

sexpLinkToList :: SExpLink -> [SExp]Source

listToSExp :: [SExp] -> SExpSource

listToSExpLink :: [SExp] -> SExpLinkSource