Module Sqlgg_scopeSource

Sourcetype ('a, 'brand, 'row, 'params) col = {
  1. set : 'params -> unit;
  2. read : 'row -> int -> 'a * int;
  3. column : string;
  4. count : int;
  5. deps : 'brand list;
}
Sourcemodule type Syntax = sig ... end
Sourcemodule Syntax : sig ... end
include module type of struct include Syntax end
Sourceval pure : 'a -> ('a, 'b, 'c, 'd) col
Sourceval apply : ('a -> 'b, 'c, 'd, 'e) col -> ('a, 'c, 'd, 'e) col -> ('b, 'c, 'd, 'e) col
Sourceval map : ('a -> 'b) -> ('a, 'c, 'd, 'e) col -> ('b, 'c, 'd, 'e) col
Sourceval (let+) : ('a, 'b, 'c, 'd) col -> ('a -> 'e) -> ('e, 'b, 'c, 'd) col
Sourceval (and+) : ('a, 'b, 'c, 'd) col -> ('e, 'b, 'c, 'd) col -> ('a * 'e, 'b, 'c, 'd) col
Sourcemodule Make (M : sig ... end) : Syntax with type 'a t = ('a, M.brand, M.row, M.params) col