Database.Relational.Sequence

This module provides structures about sequence tables.

Documentation

data Sequence s i

Basic record to express sequence table

Constructors

Sequence

Fields

• seqTable :: Table s
• seqExtract :: s -> i
• seqKey :: Pi s i

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.

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

Sequence derivation rule

Minimal complete definition

derivedSequence

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

Methods

fromTable :: Table r -> Sequence 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)

Methods

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

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

Ord i => Ord (Number r i)

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)

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, ShowConstantTermsSQL i)

=> i

sequence number to set. expect not SQL injectable.

-> Sequence s i

sequence table

-> Update ()

Update statement for sequence table