package core

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

Module Core.ValidatedSource

Sourcetype ('raw, 'witness) t = private 'raw
Sourceval raw : ('raw, _) t -> 'raw
Sourceval raw_local : ('raw, _) t -> 'raw
Sourcemodule type Raw = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule type S_allowing_substitution = sig ... end
Sourcemodule type S_bin_io = sig ... end
Sourcemodule type S_bin_io_compare_hash_sexp = sig ... end
Sourcemodule Make (Raw : Raw) : S with type raw := Raw.t
Sourcemodule Make_binable (Raw : sig ... end) : S_bin_io with type raw := Raw.t

Make_bin_io_compare_hash_sexp is useful for stable types.

Sourcemodule Add_bin_io (Raw : sig ... end) (Validated : S with type raw := Raw.t) : sig ... end
Sourcemodule Add_compare (Raw : sig ... end) (Validated : S with type raw := Raw.t) : sig ... end
Sourcemodule Add_hash (Raw : sig ... end) (Validated : S with type raw := Raw.t) : sig ... end
Sourcemodule Add_typerep (Raw : sig ... end) (Validated : S with type raw := Raw.t) : sig ... end
OCaml

Innovation. Community. Security.