package macaque

You can search for identifiers within the package.

in-package search v0.2.0

macaque
- Library macaque
  - Check
  - Inner_sql
    
    SQLI
    
    type_info
    
    numeric_t
    
    unit_t
    
    bool_t
    
    int16_t
    
    int32_t
    
    int64_t
    
    float_t
    
    string_t
    
    bytea_t
    
    time_t
    
    date_t
    
    timestamp_t
    
    timestamptz_t
    
    interval_t
    
    int32_array_t
    
    row_t
    
    Value
    
    Sequence
    
    Op
    
    Table_type
    
    View
    
    ViewOp
  - Query
    
    THREAD
    
    QUERY
    
    Db
    
    Make
    
    Db
    
    Make_with_Db
    
    Db
    
    Db
  - Sql
    
    type_info
    
    numeric_t
    
    unit_t
    
    bool_t
    
    int16_t
    
    int32_t
    
    int64_t
    
    float_t
    
    string_t
    
    bytea_t
    
    time_t
    
    date_t
    
    timestamp_t
    
    timestamptz_t
    
    interval_t
    
    int32_array_t
    
    row_t
    
    Table_type
    
    Value
    
    Sequence
    
    Op
    
    View
    
    ViewOp
  - Sql_base
  - Sql_builders
  - Sql_keywords
  - Sql_parsers
  - Sql_printers
  - Sql_public
    
    Value
    
    Sequence
    
    Op
    
    Table_type
    
    View
    
    ViewOp
  - Sql_types
    
    SQLI
    
    type_info
    
    numeric_t
    
    unit_t
    
    bool_t
    
    int16_t
    
    int32_t
    
    int64_t
    
    float_t
    
    string_t
    
    bytea_t
    
    time_t
    
    date_t
    
    timestamp_t
    
    timestamptz_t
    
    interval_t
    
    int32_array_t
    
    row_t
- Sources
  - macaque
    
    check.ml
    
    inner_sql.ml
    
    sql_base.ml
    
    sql_builders.ml
    
    sql_keywords.ml
    
    sql_parsers.ml
    
    sql_printers.ml
    
    sql_public.ml
    
    sql_types.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Sql_builders`Source

val null_workaround : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

operations

Sourceval check_atom_type : Sql_internals.sql_type -> Sql_internals.atom_type -> unit

Source

val fixed_op : 
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.sql_type ->
  Sql_internals.value' * Sql_internals.sql_type

Source

val op : 
  (Sql_internals.sql_type -> Sql_internals.sql_type) ->
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

Source

val cast : 
  Sql_internals.value ->
  Sql_internals.sql_type ->
  Sql_internals.value' * Sql_internals.sql_type

values

Source

val field : 
  Sql_internals.value ->
  Sql_internals.field_name list ->
  'a ->
  Sql_internals.value' * Sql_internals.sql_type

Source

val default : 
  Sql_internals.concrete_view Sql_internals.generic_view ->
  string ->
  'a ->
  Sql_internals.value

Source

val row : 
  Sql_internals.row_name ->
  Sql_internals.view ->
  Sql_internals.value' * Sql_internals.sql_type

Source

val tuple : 
  Sql_internals.value Sql_base.tuple ->
  (tuple:'a -> Sql_internals.value Sql_base.tuple) ->
  (Sql_internals.descr -> (string array * int ref) -> 'b) ->
  Sql_internals.value' * Sql_internals.sql_type

Source

val if_then_else : 
  Sql_internals.value ->
  Sql_internals.value ->
  Sql_internals.value ->
  Sql_internals.value' * Sql_internals.sql_type

Source

val match_null : 
  Sql_internals.value ->
  Sql_internals.value ->
  (Sql_internals.value -> Sql_internals.value) ->
  Sql_internals.value

Source

val table : 
  Sql_internals.descr ->
  (row:'a -> Sql_internals.value Sql_base.tuple) ->
  (Sql_internals.descr -> (string array * int ref) -> 'b) ->
  Sql_internals.table_name ->
  ('c * Sql_internals.value Sql_base.tuple) ->
  Sql_internals.concrete_view Sql_internals.generic_view

tables

Source

val view : 
  (Sql_internals.select_result * Sql_internals.sql_type) ->
  ?order_by:(Sql_internals.value * Sql_internals.order) list ->
  ?limit:Sql_internals.value ->
  ?offset:Sql_internals.value ->
  Sql_internals.from ->
  Sql_internals.where ->
  Sql_internals.concrete_view Sql_internals.generic_view

views

Sourcetype order = Sql_internals.order =

| Asc
| Desc

results

Source

val simple_select : 
  Sql_internals.row ->
  Sql_internals.select_result * Sql_internals.sql_type

Source

val group : 
  Sql_internals.row ->
  Sql_internals.row ->
  Sql_internals.select_result * Sql_internals.sql_type

Source

val get_table : 
  Sql_internals.concrete_view Sql_internals.generic_view ->
  Sql_internals.table_data Sql_internals.generic_view

queries

Sourceval value : Sql_internals.value -> Sql_internals.query

Sourceval select : Sql_internals.view -> Sql_internals.query

Source

val insert : 
  Sql_internals.concrete_view Sql_internals.generic_view ->
  Sql_internals.view ->
  Sql_internals.query

Source

val delete : 
  Sql_internals.concrete_view Sql_internals.generic_view ->
  Sql_internals.row_name ->
  Sql_internals.from ->
  Sql_internals.where ->
  Sql_internals.query

Source

val update : 
  Sql_internals.concrete_view Sql_internals.generic_view ->
  Sql_internals.row_name ->
  Sql_internals.value ->
  'a ->
  Sql_internals.from ->
  Sql_internals.where ->
  Sql_internals.query

package macaque

Module Sql_buildersSource

Module `Sql_builders`Source