ProjectM36.Tupleable

Documentation

toInsertExpr :: forall a t. (Tupleable a, Traversable t) => t a -> RelVarName -> Either RelationalError DatabaseContextExpr

Convert a Traverseable of Tupleables to an Insert DatabaseContextExpr. This is useful for converting, for example, a list of data values to a set of Insert expressions which can be used to add the values to the database.

toDefineExpr :: forall a proxy. Tupleable a => proxy a -> RelVarName -> DatabaseContextExpr

Convert a Tupleable to a create a Define expression which can be used to create an empty relation variable. Use toInsertExpr to insert the actual tuple data. This function is typically used with Proxy.

class Tupleable a where

Methods

toTuple :: a -> RelationTuple

fromTuple :: RelationTuple -> Either RelationalError a

toAttributes :: proxy a -> Attributes

toTuple :: (Generic a, TupleableG (Rep a)) => a -> RelationTuple

fromTuple :: (Generic a, TupleableG (Rep a)) => RelationTuple -> Either RelationalError a

toAttributes :: (Generic a, TupleableG (Rep a)) => proxy a -> Attributes

class TupleableG g where

Minimal complete definition

toTupleG, toAttributesG, fromTupleG

Methods

toTupleG :: g a -> RelationTuple

toAttributesG :: g a -> Attributes

fromTupleG :: RelationTuple -> Either RelationalError (g a)

Instances

TupleableG U1

Methods

toTupleG :: U1 a -> RelationTuple

toAttributesG :: U1 a -> Attributes

fromTupleG :: RelationTuple -> Either RelationalError (U1 a)

(TupleableG a, TupleableG b) => TupleableG ((:*:) a b)

Methods

toTupleG :: (a :*: b) a -> RelationTuple

toAttributesG :: (a :*: b) a -> Attributes

fromTupleG :: RelationTuple -> Either RelationalError ((a :*: b) a)

(Datatype Meta c, TupleableG a) => TupleableG (M1 D c a)

Methods

toTupleG :: M1 D c a a -> RelationTuple

toAttributesG :: M1 D c a a -> Attributes

fromTupleG :: RelationTuple -> Either RelationalError (M1 D c a a)

(Constructor Meta c, TupleableG a, AtomableG * a) => TupleableG (M1 C c a)

Methods

toTupleG :: M1 C c a a -> RelationTuple

toAttributesG :: M1 C c a a -> Attributes

fromTupleG :: RelationTuple -> Either RelationalError (M1 C c a a)

(Selector Meta c, AtomableG * a) => TupleableG (M1 S c a)

Methods

toTupleG :: M1 S c a a -> RelationTuple

toAttributesG :: M1 S c a a -> Attributes

fromTupleG :: RelationTuple -> Either RelationalError (M1 S c a a)