Database.Record.KeyConstraint

This module provides proof object definitions of table constraint specifiey by keys.

Constraint specified by keys

data ColumnConstraint c r

Proof object to specify table constraint for table record type r and constraint c specified by a single column.

index :: ColumnConstraint c r -> Int

Index of key which specifies table constraint.

unsafeSpecifyColumnConstraint

Arguments

:: Int

Key index which specify this constraint

-> ColumnConstraint c r

Result constraint proof object

Unsafely generate ColumnConstraint proof object using specified key index.

data Unique

Constraint type. Unique key.

type UniqueColumnConstraint = ColumnConstraint Unique

Specialized unique constraint.

data NotNull

Constraint type. Not-null key.

Instances

HasColumnConstraint NotNull Bool

HasColumnConstraint NotNull Char

HasColumnConstraint NotNull Int8

HasColumnConstraint NotNull Int16

HasColumnConstraint NotNull Int32

HasColumnConstraint NotNull Int64

HasColumnConstraint NotNull String

HasColumnConstraint NotNull a => HasColumnConstraint NotNull (a, b)

Inference rule of ColumnConstraint NotNull for tuple (,) type.

type NotNullColumnConstraint = ColumnConstraint NotNull

Specialized not-null constraint.

data Primary

Constraint type. Primary key.

type PrimaryColumnConstraint = ColumnConstraint Primary

Specialized primary constraint.

data KeyConstraint c r

Proof object to specify table constraint for table record type r and constraint c. Constraint is specified by composite key.

indexes :: KeyConstraint c r -> [Int]

Index of key which specifies table constraint.

unsafeSpecifyKeyConstraint

Arguments

:: [Int]

Key index which specify this constraint

-> KeyConstraint c r

Result constraint proof object

Unsafely generate KeyConstraint proof object using specified key indexes.

type UniqueConstraint = KeyConstraint Unique

Specialized unique constraint.

type PrimaryConstraint = KeyConstraint Primary

Specialized primary constraint.

Deriviations

uniqueColumn :: PrimaryColumnConstraint r -> UniqueColumnConstraint r

Derivation rule for UniqueColumnConstraint. Derive Unique from Primary.

notNullColumn :: PrimaryColumnConstraint r -> NotNullColumnConstraint r

Derivation rule for NotNullColumnConstraint. Derive NotNull from Primary.

leftColumnConstraint :: ColumnConstraint NotNull a -> ColumnConstraint NotNull (a, b)

Derivation rule of ColumnConstraint NotNull for tuple (,) type.

unsafeSpecifyNotNullValue :: NotNullColumnConstraint a

Unsafely generate NotNullColumnConstraint proof object of single column value.

deriveComposite :: ColumnConstraint c r -> KeyConstraint c r

Derivation rule for KeyConstraint. Derive from ColumnConstraint.

unique :: PrimaryConstraint r -> UniqueConstraint r

Derivation rule for UniqueConstraint.

Inferences

class HasColumnConstraint c a where

Interface of inference rule for ColumnConstraint proof object.

Methods

columnConstraint :: ColumnConstraint c a

Infer ColumnConstraint proof object.

Instances

HasColumnConstraint NotNull Bool

HasColumnConstraint NotNull Char

HasColumnConstraint NotNull Int8

HasColumnConstraint NotNull Int16

HasColumnConstraint NotNull Int32

HasColumnConstraint NotNull Int64

HasColumnConstraint NotNull String

HasColumnConstraint NotNull a => HasColumnConstraint NotNull (a, b)

Inference rule of ColumnConstraint NotNull for tuple (,) type.

derivedUniqueColumnConstraint :: HasColumnConstraint Primary r => UniqueColumnConstraint r

Inferred UniqueColumnConstraint proof object. Record type r has unique key which is derived r has primary key.

derivedNotNullColumnConstraint :: HasColumnConstraint Primary r => NotNullColumnConstraint r

Inferred NotNullColumnConstraint proof object. Record type r has not-null key which is derived r has primary key.

class HasKeyConstraint c a where

Interface of inference rule for KeyConstraint proof object.

Methods

keyConstraint :: KeyConstraint c a

Infer ColumnConstraint proof object.

derivedCompositePrimary :: HasColumnConstraint Primary r => PrimaryConstraint r

Inferred PrimaryConstraint proof object. Record type r has composite primary key which is derived r has single column primary key.

derivedUniqueConstraint :: HasKeyConstraint Primary r => UniqueConstraint r

Inferred UniqueConstraint proof object. Record type r has unique key which is derived r has primary key.