package higher_kinded

  1. Overview
  2. Docs

Parameters

module X : sig ... end

Signature

type witness6
type 'z witness5 = ('z, witness6) t
type ('y, 'z) witness4 = ('y, 'z witness5) t
type ('x, 'y, 'z) witness3 = ('x, ('y, 'z) witness4) t
type ('a, 'x, 'y, 'z) witness2 = ('a, ('x, 'y, 'z) witness3) t
type ('a, 'w, 'x, 'y, 'z) witness1 = ('a, ('w, 'x, 'y, 'z) witness2) t
type ('a, 'v, 'w, 'x, 'y, 'z) witness = ('a, ('v, 'w, 'x, 'y, 'z) witness1) t
val inject : ('a, 'v, 'w, 'x, 'y, 'z) X.t -> ('a, 'v, 'w, 'x, 'y, 'z) witness
val project : ('a, 'v, 'w, 'x, 'y, 'z) witness -> ('a, 'v, 'w, 'x, 'y, 'z) X.t
OCaml

Innovation. Community. Security.