package codept-lib

  1. Overview
  2. Docs
package codept-lib
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct