stdata-0.0.1: 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

Eq SData
Data SData
Ord SData
Show SData
Typeable SData

newtype SLink Source

Constructors

SLink
Fields unSLink :: OpenLink SData SLink

Instances

Eq SLink
Data SLink
Ord SLink
Show SLink
Typeable SLink

newtype TData Source

Constructors

TData
Fields unTData :: OpenTData SLink

Instances

Eq TData
Data TData
Ord TData
Show TData
Typeable TData

newtype TLink Source

Constructors

TLink
Fields unTLink :: OpenLink TData TLink

Instances

Eq TLink
Data TLink
Ord TLink
Show TLink
Typeable TLink

data DualSData Source

Constructors

PositiveDualSData (OpenSData DualSLink DualTLink)
AntiAtomDualSData AntiAtom

Instances

Eq DualSData
Data DualSData
Ord DualSData
Show DualSData
Typeable DualSData

data DualSLink Source

Constructors

PositiveDualSLink (OpenLink DualSData DualSLink)
AntiConsDualSLink String

Instances

Eq DualSLink
Data DualSLink
Ord DualSLink
Show DualSLink
Typeable DualSLink

data DualTData Source

Constructors

DualTData
Fields unDualTData :: OpenTData DualSLink

Instances

Eq DualTData
Data DualTData
Ord DualTData
Show DualTData
Typeable DualTData

data DualTLink Source

Constructors

DualTLink
Fields unDualTLink :: OpenLink DualTData DualTLink

Instances

Eq DualTLink
Data DualTLink
Ord DualTLink
Show DualTLink
Typeable DualTLink

sdataToList :: SData -> [SData]Source