Database.Relational.Query.Constraint

Constraint Key proof object

data Key c r ct

indexes

unsafeDefineConstraintKey

tableConstraint

projectionKey

Derivation rules

uniqueKey

Inference rules

class HasConstraintKey c r ct

derivedUniqueKey

Constraint types

data Primary

data Unique

data NotNull