codept-lib 0.12.1 · OCaml Package

Schema for exported data

type format =

| Json
| Sexp

type (_, _) eq =

| Eq : ('a, 'a) eq

type void = (int, float) eq

module L : sig ... end

Reexport the standard list module

module Tuple : sig ... end

module type label = sig ... end

type 'a label = (module label with type t = 'a)

module Label (X : sig ... end) : sig ... end

val show : 'a label -> string

type required = private

| Required

type optional = private

| Optional

type (_, _, _) modal =

| Opt : (optional, 'a, 'a option) modal
| Req : (required, 'a, 'a) modal

module Record : sig ... end

type ('a, 'b) bijection = {

fwd : 'a -> 'b;
rev : 'b -> 'a;

}

type 'a r =

| Indexed

type ('hole, 'free) s =

| Float : (float, 'free) s
| Int : (int, 'free) s
| Bool : (bool, 'free) s
| String : (string, 'free) s
| Void : (void, 'free) s
| Array : ('hole, 'free) s -> ('hole list, 'free) s
| :: : ('a, 'free) s * ('b Tuple.t, 'free) s -> (('a * 'b) Tuple.t, 'free) s
| [] : (void Tuple.t, 'free) s
| Obj : ('a, 'free) record_declaration -> ('a Record.t, 'free) s
| Custom : ('a, 'b, 'free) custom -> ('a, 'free) s
| Sum : ('a, 'free) sum_decl -> ('a sum, 'free) s
| Description : string * ('hole, 'free) s -> ('hole, 'free) s
| Rec : {
1. id : string list;
2. defs : ('defs, 'defs r) rec_defs;
3. proj : ('defs, 'res) index;
} -> ('res, 'free) s
| Var : ('free, 'result) index -> ('result, 'free r) s

and (_, _) index =

| Zn : ('a * 'b, 'a) index
| Sn : ('list, 'res) index -> (_ * 'list, 'res) index

and (_, _) rec_defs =

| [] : (void, 'free r) rec_defs
| :: : (string * ('a, 'free r) s) * ('l, 'free r) rec_defs -> ('a * 'l, 'free r) rec_defs

and ('a, 'b, 'free) custom = {

fwd : 'a -> 'b;
rev : 'b -> 'a;
sch : ('b, 'free) s;

}

and ('a, 'free) record_declaration =

| [] : (void, 'free) record_declaration
| :: : (('m, 'x, 'fx) modal * 'a label * ('x, 'free) s) * ('c, 'free) record_declaration -> ('a * 'fx * 'c, 'free) record_declaration

and ('a, 'mu) sum_decl =

| [] : (< before : void >, 'mu) sum_decl
| :: : (string * ('a, 'mu) s) * ('b, 'mu) sum_decl -> (< at : 'a ; before : 'b >, 'mu) sum_decl

and (_, _) cons =

| Z : 'a -> (< at : 'a ; before : 'any >, 'a) cons
| E : (< at : void ; before : 'any >, 'a) cons
| S : ('a, 'n) cons -> (< at : 'any ; before : 'a >, 'n) cons

and 'a sum =

| C : ('a, 'elt) cons -> 'a sum

type 'a t = ('a, void) s

type 'a schematic = 'a t

val reopen : 'a t -> ('a, 'b) s

module Version : sig ... end

val pretty_json : 'a t -> Format.formatter -> 'a -> unit

val simple_json : 'a t -> Format.formatter -> 'a -> unit

val sexp : 'a t -> Format.formatter -> 'a -> unit

val ($=) : 'a label -> 'b -> 'a label * 'b

val skip : 'a label -> 'a label * 'b option

val ($=?) : 'a label -> 'b option -> 'a label * 'b option

val obj : 'a Record.t -> 'a Record.t

val custom : ('b, 'f) s -> ('a -> 'b) -> ('b -> 'a) -> ('a, 'f) s

module Untyped : sig ... end

val retype : 'a t -> Untyped.t -> 'a option

val minify : 
  Format.formatter ->
  ('a, Format.formatter, unit, unit) format4 ->
  'a

val default : 'a -> 'a -> 'a option

val option : ('a, 'f) s -> ('a option, 'f) s

val pair : ('a, 'f) s -> ('b, 'f) s -> ('a * 'b, 'f) s

val (<?>) : ('a, 'f) s -> string -> ('a, 'f) s

module Ext : sig ... end

package codept-lib