package caqti

  1. Overview
  2. Docs
Unified interface to relational database libraries

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (24)

Authors

  1. P
    Petter A. Urkedal <paurkedal@gmail.com>
  2. N
    Nathan Rebours <nathan@cryptosense.com>
  3. B
    Basile Clément

Maintainers

  1. P
    Petter A. Urkedal <paurkedal@gmail.com>

Sources

caqti-v3.0.0.tbz
sha256=3ceea06ba0e8e8bcab0386b5817b68cb30fce457eaa25ada0182891d66f6a0b9
sha512=e01f546a45b04cafd5fa262e9228e5a1aabd5e0942059c073a4181c928450baf3d990cc59ffb1a33dff445b46a0e218224a23dca96e8d24cdd0ab793d08e4538

doc/caqti/Caqti/Template/Row_mult/index.html

Module Template.Row_mult

Row multiplicity.

type +'m t constraint 'm = [< `Zero | `One | `Many ]
type zero = [
  1. | `Zero
]
type one = [
  1. | `One
]
type zero_or_one = [
  1. | `Zero
  2. | `One
]
type zero_or_more = [
  1. | `Zero
  2. | `One
  3. | `Many
]
val zero : [> `Zero ] t
val one : [> `One ] t
val zero_or_one : [> `Zero | `One ] t
val zero_or_more : [> `Zero | `One | `Many ] t
val only_zero : [< `Zero ] t -> unit
val only_one : [< `One ] t -> unit
val only_zero_or_one : [< `Zero | `One ] t -> unit
val expose : 'm t -> [ `Zero | `One | `Zero_or_one | `Zero_or_more ]
val is_zero : 'm t -> bool
val can_be_zero : 'm t -> bool
val can_be_many : 'm t -> bool