package codept-lib

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SchematicSource

Schema for exported data

Sourcetype format =
  1. | Json
  2. | Sexp
Sourcetype (_, _) eq =
  1. | Eq : ('a, 'a) eq
Sourcetype void = (int, float) eq
Sourcemodule L : sig ... end

Reexport the standard list module

Sourcemodule Tuple : sig ... end
Sourcemodule type label = sig ... end
Sourcetype 'a label = (module label with type t = 'a)
Sourcemodule Label (X : sig ... end) : sig ... end
Sourceval show : 'a label -> string
Sourcetype required = private
  1. | Required
Sourcetype optional = private
  1. | Optional
Sourcetype (_, _, _) modal =
  1. | Opt : (optional, 'a, 'a option) modal
  2. | Req : (required, 'a, 'a) modal
Sourcemodule Record : sig ... end
Sourcetype ('a, 'b) bijection = {
  1. fwd : 'a -> 'b;
  2. rev : 'b -> 'a;
}
Sourcetype 'a r =
  1. | Indexed
Sourcetype ('hole, 'free) s =
  1. | Float : (float, 'free) s
  2. | Int : (int, 'free) s
  3. | Bool : (bool, 'free) s
  4. | String : (string, 'free) s
  5. | Void : (void, 'free) s
  6. | Array : ('hole, 'free) s -> ('hole list, 'free) s
  7. | :: : ('a, 'free) s * ('b Tuple.t, 'free) s -> (('a * 'b) Tuple.t, 'free) s
  8. | [] : (void Tuple.t, 'free) s
  9. | Obj : ('a, 'free) record_declaration -> ('a Record.t, 'free) s
  10. | Custom : ('a, 'b, 'free) custom -> ('a, 'free) s
  11. | Sum : ('a, 'free) sum_decl -> ('a sum, 'free) s
  12. | Description : string * ('hole, 'free) s -> ('hole, 'free) s
  13. | Rec : {
    1. id : string list;
    2. defs : ('defs, 'defs r) rec_defs;
    3. proj : ('defs, 'res) index;
    } -> ('res, 'free) s
  14. | Var : ('free, 'result) index -> ('result, 'free r) s
Sourceand (_, _) index =
  1. | Zn : ('a * 'b, 'a) index
  2. | Sn : ('list, 'res) index -> (_ * 'list, 'res) index
Sourceand (_, _) rec_defs =
  1. | [] : (void, 'free r) rec_defs
  2. | :: : (string * ('a, 'free r) s) * ('l, 'free r) rec_defs -> ('a * 'l, 'free r) rec_defs
Sourceand ('a, 'b, 'free) custom = {
  1. fwd : 'a -> 'b;
  2. rev : 'b -> 'a;
  3. sch : ('b, 'free) s;
}
Sourceand ('a, 'free) record_declaration =
  1. | [] : (void, 'free) record_declaration
  2. | :: : (('m, 'x, 'fx) modal * 'a label * ('x, 'free) s) * ('c, 'free) record_declaration -> ('a * 'fx * 'c, 'free) record_declaration
Sourceand ('a, 'mu) sum_decl =
  1. | [] : (< before : void >, 'mu) sum_decl
  2. | :: : (string * ('a, 'mu) s) * ('b, 'mu) sum_decl -> (< at : 'a ; before : 'b >, 'mu) sum_decl
Sourceand (_, _) cons =
  1. | Z : 'a -> (< at : 'a ; before : 'any >, 'a) cons
  2. | E : (< at : void ; before : 'any >, 'a) cons
  3. | S : ('a, 'n) cons -> (< at : 'any ; before : 'a >, 'n) cons
Sourceand 'a sum =
  1. | C : ('a, 'elt) cons -> 'a sum
Sourcetype 'a t = ('a, void) s
Sourcetype 'a schematic = 'a t
Sourceval reopen : 'a t -> ('a, 'b) s
Sourcemodule Version : sig ... end
Sourceval pretty_json : 'a t -> Format.formatter -> 'a -> unit
Sourceval simple_json : 'a t -> Format.formatter -> 'a -> unit
Sourceval sexp : 'a t -> Format.formatter -> 'a -> unit
Sourceval ($=) : 'a label -> 'b -> 'a label * 'b
Sourceval skip : 'a label -> 'a label * 'b option
Sourceval ($=?) : 'a label -> 'b option -> 'a label * 'b option
Sourceval obj : 'a Record.t -> 'a Record.t
Sourceval custom : ('b, 'f) s -> ('a -> 'b) -> ('b -> 'a) -> ('a, 'f) s
Sourcemodule Untyped : sig ... end
Sourceval retype : 'a t -> Untyped.t -> 'a option
Sourceval minify : Format.formatter -> ('a, Format.formatter, unit, unit) format4 -> 'a
Sourceval default : 'a -> 'a -> 'a option
Sourceval option : ('a, 'f) s -> ('a option, 'f) s
Sourceval pair : ('a, 'f) s -> ('b, 'f) s -> ('a * 'b, 'f) s
Sourceval (<?>) : ('a, 'f) s -> string -> ('a, 'f) s
Sourcemodule Ext : sig ... end
OCaml

Innovation. Community. Security.