Module Encore.Bijection

type ('f, 't, 'is) kind =
| Exn : ('a, 'a, exn) kind
| Opt : ('a, 'a option, opt) kind
| Res : ('a, ('a, error) Stdlib.result, res) kind
and exn =
| E
and opt =
| O
and res =
| R
and error = [
| `Msg of string
]
type ('k, 'a, 'b) t = {
to_ : 'a -> 'rb;
of_ : 'b -> 'ra;
kd : 'kd;
} constraint 'k = < reta : ('a, 'ra, 'kd) kind; retb : ('b, 'rb, 'kd) kind; >
type ('a, 'b) texn = (< reta : ('a, 'a, exn) kind; retb : ('b, 'b, exn) kind; >, 'a, 'b) t
type ('a, 'b) topt = (< reta : ('a, 'a option, opt) kind; retb : ('b, 'b option, opt) kind; >, 'a, 'b) t
type ('a, 'b) tres = (< reta : ('a, ('a, error) Stdlib.result, res) kind; retb : ('b, ('b, error) Stdlib.result, res) kind; >, 'a, 'b) t
val make : ('a, 'ra, 'kd) kind -> ('b, 'rb, 'kd) kind -> fwd:('a -> 'rb) -> bwd:('b -> 'ra) -> (< reta : ('a, 'ra, 'kd) kind; retb : ('b, 'rb, 'kd) kind; >, 'a, 'b) t
val fwd : (< reta : ('a, 'ra, 'kd) kind; retb : ('b, 'rb, 'kd) kind; >, 'a, 'b) t -> 'a -> 'rb
val bwd : (< reta : ('a, 'ra, 'kd) kind; retb : ('b, 'rb, 'kd) kind; >, 'a, 'b) t -> 'b -> 'ra
val make_exn : fwd:('a -> 'b) -> bwd:('b -> 'a) -> ('a, 'b) texn
val make_opt : fwd:('a -> 'b option) -> bwd:('b -> 'a option) -> ('a, 'b) topt
val make_res : fwd:('a -> ('b, error) Stdlib.result) -> bwd:('b -> ('a, error) Stdlib.result) -> ('a, 'b) tres
val flip : (< reta : ('a, 'ra, 'kd) kind; retb : ('b, 'rb, 'kd) kind; >, 'a, 'b) t -> (< reta : ('b, 'rb, 'kd) kind; retb : ('a, 'ra, 'kd) kind; >, 'b, 'a) t
val product : (< reta : ('a, 'ra, 'kd) kind; retb : ('b, 'rb, 'kd) kind; >, 'a, 'b) t -> (< reta : ('c, 'rc, 'kd) kind; retb : ('d, 'rd, 'kd) kind; >, 'c, 'd) t -> (< reta : ('a * 'c, 'ra * 'rc, 'kd) kind; retb : ('b * 'd, 'rb * 'rd, 'kd) kind; >, 'a * 'c, 'b * 'd) t
val obj3 : (('a * 'b) * 'c, 'a * 'b * 'c) texn
val obj4 : ((('a * 'b) * 'c) * 'd, 'a * 'b * 'c * 'd) texn
val obj5 : (((('a * 'b) * 'c) * 'd) * 'e, 'a * 'b * 'c * 'd * 'e) texn
val obj6 : ((((('a * 'b) * 'c) * 'd) * 'e) * 'f, 'a * 'b * 'c * 'd * 'e * 'f) texn
module Exn : sig ... end