stdata-0.0.4: Structure Data Library

Data.STData.Data

Documentation

data OpenSData sl tl Source

Constructors

AtomSData Atom 
SLinkSData sl 
TLinkSData tl 

Instances

Typeable2 OpenSData 
(Eq sl, Eq tl) => Eq (OpenSData sl tl) 
(Data sl, Data tl) => Data (OpenSData sl tl) 
(Ord sl, Ord tl) => Ord (OpenSData sl tl) 
(Show sl, Show tl) => Show (OpenSData sl tl) 

data OpenTData sl Source

Constructors

AtomTData String 
SLinkTData sl 

Instances

Typeable1 OpenTData 
Eq sl => Eq (OpenTData sl) 
Data sl => Data (OpenTData sl) 
Ord sl => Ord (OpenTData sl) 
Show sl => Show (OpenTData sl) 

newtype SData Source

Constructors

SData 

Fields

unSData :: OpenSData SLink TLink
 

Instances

newtype SLink Source

Constructors

SLink 

Fields

unSLink :: OpenLink SData SLink
 

newtype TData Source

Constructors

TData 

Fields

unTData :: OpenTData SLink
 

Instances

newtype TLink Source

Constructors

TLink 

Fields

unTLink :: OpenLink TData TLink
 

data DualSData Source

Constructors

PositiveDualSData (OpenSData DualSLink DualTLink) 
AntiAtomDualSData AntiAtom 

Instances

data DualSLink Source

Constructors

PositiveDualSLink (OpenLink DualSData DualSLink) 
AntiConsValueDualSLink String 
AntiConsListDualSLink String 

data DualTData Source

Constructors

DualTData 

Fields

unDualTData :: OpenTData DualSLink
 

Instances

data DualTLink Source

Constructors

DualTLink 

Fields

unDualTLink :: OpenLink DualTData DualTLink
 

sdataSymbolValue :: SData -> Maybe StringSource

sdataToList :: SData -> Maybe [SData]Source

slinkToList :: SLink -> [SData]Source

listToSData :: [SData] -> SDataSource

listToSLink :: [SData] -> SLinkSource