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.

tupleAssocsEqualityPredicate :: [(AttributeName, Atom)] -> RestrictionPredicateExpr

partitionByAttributes :: Tupleable a => [AttributeName] -> a -> ([(AttributeName, Atom)], [(AttributeName, Atom)])

toUpdateExpr :: forall a. Tupleable a => RelVarName -> [AttributeName] -> a -> Either RelationalError DatabaseContextExpr

Convert a list of key attributes and a Tupleable value to an Update expression. This expression flushes the non-key attributes of the value to a tuple with the matching key attributes.

toDeleteExpr :: forall a. Tupleable a => RelVarName -> [AttributeName] -> a -> Either RelationalError DatabaseContextExpr

Convert a list of key attributes and a Tupleable value to a Delete expression. This expression deletes tuples matching the key attributes from the value.

validateAttributes :: Set AttributeName -> Set AttributeName -> a -> Either RelationalError a

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, isRecordTypeG

Methods

toTupleG :: g a -> RelationTuple

toAttributesG :: g a -> Attributes

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

isRecordTypeG :: g a -> Bool

Instances

TupleableG (U1 :: * -> *)

Defined in ProjectM36.Tupleable

Methods

toTupleG :: U1 a -> RelationTuple

toAttributesG :: U1 a -> Attributes

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

isRecordTypeG :: U1 a -> Bool

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

Defined in ProjectM36.Tupleable

Methods

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

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

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

isRecordTypeG :: (a :*: b) a0 -> Bool

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

Defined in ProjectM36.Tupleable

Methods

toTupleG :: M1 D c a a0 -> RelationTuple

toAttributesG :: M1 D c a a0 -> Attributes

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

isRecordTypeG :: M1 D c a a0 -> Bool

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

Defined in ProjectM36.Tupleable

Methods

toTupleG :: M1 C c a a0 -> RelationTuple

toAttributesG :: M1 C c a a0 -> Attributes

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

isRecordTypeG :: M1 C c a a0 -> Bool

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

Defined in ProjectM36.Tupleable

Methods

toTupleG :: M1 S c a a0 -> RelationTuple

toAttributesG :: M1 S c a a0 -> Attributes

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

isRecordTypeG :: M1 S c a a0 -> Bool