project-m36-0.9.8: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.Serialise.Base

Synopsis

Documentation

type SlimTupleSet = Either () (Attributes, [Vector Atom]) Source #

fattenTupleSet :: SlimTupleSet -> RelationTupleSet Source #

restore slimmed tuple set to include single shared attributes list

Orphan instances

Serialise Atom Source # 
Instance details

Methods

schemaGen :: Proxy Atom -> SchemaGen Schema

toBuilder :: Atom -> Builder

extractor :: Extractor Atom

decodeCurrent :: Decoder Atom

bundleSerialise :: BundleSerialise Atom

Serialise AtomType Source # 
Instance details

Methods

schemaGen :: Proxy AtomType -> SchemaGen Schema

toBuilder :: AtomType -> Builder

extractor :: Extractor AtomType

decodeCurrent :: Decoder AtomType

bundleSerialise :: BundleSerialise AtomType

Serialise Attribute Source # 
Instance details

Methods

schemaGen :: Proxy Attribute -> SchemaGen Schema

toBuilder :: Attribute -> Builder

extractor :: Extractor Attribute

decodeCurrent :: Decoder Attribute

bundleSerialise :: BundleSerialise Attribute

Serialise Attributes Source # 
Instance details

Methods

schemaGen :: Proxy Attributes -> SchemaGen Schema

toBuilder :: Attributes -> Builder

extractor :: Extractor Attributes

decodeCurrent :: Decoder Attributes

bundleSerialise :: BundleSerialise Attributes

Serialise DataConstructorDef Source # 
Instance details

Serialise DataConstructorDefArg Source # 
Instance details

Serialise GraphRefTransactionMarker Source # 
Instance details

Serialise InclusionDependency Source # 
Instance details

Serialise MergeStrategy Source # 
Instance details

Methods

schemaGen :: Proxy MergeStrategy -> SchemaGen Schema

toBuilder :: MergeStrategy -> Builder

extractor :: Extractor MergeStrategy

decodeCurrent :: Decoder MergeStrategy

bundleSerialise :: BundleSerialise MergeStrategy

Serialise Notification Source # 
Instance details

Methods

schemaGen :: Proxy Notification -> SchemaGen Schema

toBuilder :: Notification -> Builder

extractor :: Extractor Notification

decodeCurrent :: Decoder Notification

bundleSerialise :: BundleSerialise Notification

Serialise Relation Source #

A special instance of Serialise which cuts down on duplicate attributes- we should only serialise the attributes at the top-level and not duplicate them per tuple.

Instance details

Methods

schemaGen :: Proxy Relation -> SchemaGen Schema

toBuilder :: Relation -> Builder

extractor :: Extractor Relation

decodeCurrent :: Decoder Relation

bundleSerialise :: BundleSerialise Relation

Serialise RelationCardinality Source # 
Instance details

Serialise RelationTuple Source # 
Instance details

Methods

schemaGen :: Proxy RelationTuple -> SchemaGen Schema

toBuilder :: RelationTuple -> Builder

extractor :: Extractor RelationTuple

decodeCurrent :: Decoder RelationTuple

bundleSerialise :: BundleSerialise RelationTuple

Serialise RelationTupleSet Source #

A special instance of Serialise which cuts down on duplicate attributes- we should only serialise the attributes at the top-level and not duplicate them per tuple. If we have an empty tupleset, we lack all attributes which is fine in this case.

Instance details

Serialise Schema Source # 
Instance details

Methods

schemaGen :: Proxy Schema -> SchemaGen Schema0

toBuilder :: Schema -> Builder

extractor :: Extractor Schema

decodeCurrent :: Decoder Schema

bundleSerialise :: BundleSerialise Schema

Serialise SchemaIsomorph Source # 
Instance details

Methods

schemaGen :: Proxy SchemaIsomorph -> SchemaGen Schema

toBuilder :: SchemaIsomorph -> Builder

extractor :: Extractor SchemaIsomorph

decodeCurrent :: Decoder SchemaIsomorph

bundleSerialise :: BundleSerialise SchemaIsomorph

Serialise TransactionId Source # 
Instance details

Methods

schemaGen :: Proxy TransactionId -> SchemaGen Schema

toBuilder :: TransactionId -> Builder

extractor :: Extractor TransactionId

decodeCurrent :: Decoder TransactionId

bundleSerialise :: BundleSerialise TransactionId

Serialise TransactionInfo Source # 
Instance details

Methods

schemaGen :: Proxy TransactionInfo -> SchemaGen Schema

toBuilder :: TransactionInfo -> Builder

extractor :: Extractor TransactionInfo

decodeCurrent :: Decoder TransactionInfo

bundleSerialise :: BundleSerialise TransactionInfo

Serialise TypeConstructorDef Source # 
Instance details

Serialise MerkleHash Source # 
Instance details

Methods

schemaGen :: Proxy MerkleHash -> SchemaGen Schema

toBuilder :: MerkleHash -> Builder

extractor :: Extractor MerkleHash

decodeCurrent :: Decoder MerkleHash

bundleSerialise :: BundleSerialise MerkleHash

Serialise Day Source # 
Instance details

Methods

schemaGen :: Proxy Day -> SchemaGen Schema

toBuilder :: Day -> Builder

extractor :: Extractor Day

decodeCurrent :: Decoder Day

bundleSerialise :: BundleSerialise Day

Serialise a => Serialise (AtomExprBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (AtomExprBase a) -> SchemaGen Schema

toBuilder :: AtomExprBase a -> Builder

extractor :: Extractor (AtomExprBase a)

decodeCurrent :: Decoder (AtomExprBase a)

bundleSerialise :: BundleSerialise (AtomExprBase a)

Serialise a => Serialise (AttributeExprBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (AttributeExprBase a) -> SchemaGen Schema

toBuilder :: AttributeExprBase a -> Builder

extractor :: Extractor (AttributeExprBase a)

decodeCurrent :: Decoder (AttributeExprBase a)

bundleSerialise :: BundleSerialise (AttributeExprBase a)

Serialise a => Serialise (AttributeNamesBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (AttributeNamesBase a) -> SchemaGen Schema

toBuilder :: AttributeNamesBase a -> Builder

extractor :: Extractor (AttributeNamesBase a)

decodeCurrent :: Decoder (AttributeNamesBase a)

bundleSerialise :: BundleSerialise (AttributeNamesBase a)

Serialise a => Serialise (DatabaseContextExprBase a) Source # 
Instance details

Serialise a => Serialise (DatabaseContextIOExprBase a) Source # 
Instance details

Serialise a => Serialise (ExtendTupleExprBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (ExtendTupleExprBase a) -> SchemaGen Schema

toBuilder :: ExtendTupleExprBase a -> Builder

extractor :: Extractor (ExtendTupleExprBase a)

decodeCurrent :: Decoder (ExtendTupleExprBase a)

bundleSerialise :: BundleSerialise (ExtendTupleExprBase a)

Serialise a => Serialise (RelationalExprBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (RelationalExprBase a) -> SchemaGen Schema

toBuilder :: RelationalExprBase a -> Builder

extractor :: Extractor (RelationalExprBase a)

decodeCurrent :: Decoder (RelationalExprBase a)

bundleSerialise :: BundleSerialise (RelationalExprBase a)

Serialise a => Serialise (RestrictionPredicateExprBase a) Source # 
Instance details

Serialise a => Serialise (TupleExprBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (TupleExprBase a) -> SchemaGen Schema

toBuilder :: TupleExprBase a -> Builder

extractor :: Extractor (TupleExprBase a)

decodeCurrent :: Decoder (TupleExprBase a)

bundleSerialise :: BundleSerialise (TupleExprBase a)

Serialise a => Serialise (TupleExprsBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (TupleExprsBase a) -> SchemaGen Schema

toBuilder :: TupleExprsBase a -> Builder

extractor :: Extractor (TupleExprsBase a)

decodeCurrent :: Decoder (TupleExprsBase a)

bundleSerialise :: BundleSerialise (TupleExprsBase a)

Serialise a => Serialise (TypeConstructorBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (TypeConstructorBase a) -> SchemaGen Schema

toBuilder :: TypeConstructorBase a -> Builder

extractor :: Extractor (TypeConstructorBase a)

decodeCurrent :: Decoder (TypeConstructorBase a)

bundleSerialise :: BundleSerialise (TypeConstructorBase a)

Serialise a => Serialise (WithNameExprBase a) Source # 
Instance details

Methods

schemaGen :: Proxy (WithNameExprBase a) -> SchemaGen Schema

toBuilder :: WithNameExprBase a -> Builder

extractor :: Extractor (WithNameExprBase a)

decodeCurrent :: Decoder (WithNameExprBase a)

bundleSerialise :: BundleSerialise (WithNameExprBase a)