Database.Relational.Sequence

This module provides structures about sequence tables.

Documentation

data Sequence s i

Basic record to express sequence-table. actual sequence-table is a table which has only one column of integer type.

seqTable :: Sequence s i -> Table s

actual sequence-table

seqExtract :: Sequence s i -> s -> i

sequence number selector for sequence record

seqKey :: Sequence s i -> Pi s i

sequence number projection for sequence record

seqRelation :: TableDerivable s => Sequence s i -> Relation () s

Infer Relation of sequence table

unsafeSpecifySequence :: TableDerivable s => (s -> i) -> Pi s i -> Sequence s i

Unsafely specify sequence table.

data SeqBinding r s i

Record to express binding between normal-table and sequence-table.

boundTable :: SeqBinding r s i -> Table r

normal-table bound to sequence-table

boundKey :: SeqBinding r s i -> Pi r i

sequence key projection for bound record

boundSequence :: SeqBinding r s i -> Sequence s i

sequence table record

unsafeSpecifyBinding :: (TableDerivable r, SequenceDerivable s i) => Pi r i -> SeqBinding r s i

Unsafely specify binding between normal-table and sequence-table.

primaryBinding :: (TableDerivable r, SequenceDerivable s i, HasConstraintKey Primary r i) => SeqBinding r s i

Derive binding using primary key.

class TableDerivable s => SequenceDerivable s i | s -> i where

Sequence derivation rule

Methods

derivedSequence :: Sequence s i

class (TableDerivable r, SequenceDerivable s i) => Binding r s i | r -> s where

Derivation rule for binding between Table and Sequence

Minimal complete definition

Nothing

Methods

binding :: SeqBinding r s i

binding :: HasConstraintKey Primary r i => SeqBinding r s i

fromRelation :: Binding r s i => Relation () r -> Sequence s i

Derive Sequence from corresponding Relation

data Number r i

Sequence number type for record type r

Instances

Eq i => Eq (Number r i)

Defined in Database.Relational.Sequence

Methods

(==) :: Number r i -> Number r i -> Bool

(/=) :: Number r i -> Number r i -> Bool

Ord i => Ord (Number r i)

Defined in Database.Relational.Sequence

Methods

compare :: Number r i -> Number r i -> Ordering

(<) :: Number r i -> Number r i -> Bool

(<=) :: Number r i -> Number r i -> Bool

(>) :: Number r i -> Number r i -> Bool

(>=) :: Number r i -> Number r i -> Bool

max :: Number r i -> Number r i -> Number r i

min :: Number r i -> Number r i -> Number r i

Show i => Show (Number r i)

Defined in Database.Relational.Sequence

Methods

showsPrec :: Int -> Number r i -> ShowS

show :: Number r i -> String

showList :: [Number r i] -> ShowS

unsafeSpecifyNumber :: Binding r s i => i -> Number r i

Unsafely specify sequence number.

extractNumber :: Number r i -> i

Get untyped sequence number.

($$!)

Arguments

:: (i -> r)

sequence number should be passed to proper field of record

-> Number r i

-> r

Unsafely apply sequence number.

($$)

Arguments

:: Binding r s i

=> (i -> r)

sequence number should be passed to proper field of record

-> Number r i

-> r

Unsafely apply sequence number. Only safe to build corresponding record type.

updateNumber'

Arguments

:: (PersistableWidth s, Integral i, LiteralSQL i)

=> Config

-> i

sequence number to set. expect not SQL injectable.

-> Sequence s i

sequence table

-> Update ()

Update statement for sequence table

updateNumber

Arguments

:: (PersistableWidth s, Integral i, LiteralSQL i)

=> i

sequence number to set. expect not SQL injectable.

-> Sequence s i

sequence table

-> Update ()

Update statement for sequence table