package encore

  1. Overview
  2. Docs

Module Encore.BijSource

Sourcetype ('a, 'b) t

Type of a bijective element.

Sourceexception Bijection
Sourceval v : fwd:('a -> 'b) -> bwd:('b -> 'a) -> ('a, 'b) t

v ~fwd ~bwd is a bijective element such as:

 assert (bwd (fwd v) = v)

Note: This assertion is not proved or checked by v but it is required then.

Sourceval bwd : ('a, 'b) t -> 'b -> 'a

bwd t is the backward function of t.

Sourceval fwd : ('a, 'b) t -> 'a -> 'b

fwd t is the forward function of t.

Sourceval flip : ('a, 'b) t -> ('b, 'a) t

flip t is t where the internal forward function is replaced by the backward function and vice-versa.

Sourceval product : ('u, 'v) t -> ('x, 'y) t -> ('u * 'x, 'v * 'y) t
Sourceval compose : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t
Sourceval commute : ('a * 'b, 'b * 'a) t
Sourceval identity : ('a, 'a) t
Sourceval element : ('a -> bool) -> ('a, 'a) t
Sourceval cons : ('a * 'a list, 'a list) t
Sourceval char : char -> (char, unit) t
Sourceval string : string -> (string, unit) t
Sourceval some : ('a, 'a option) t
Sourceval obj3 : (('a * 'b) * 'c, 'a * 'b * 'c) t
Sourceval obj4 : ((('a * 'b) * 'c) * 'd, 'a * 'b * 'c * 'd) t
Sourceval obj5 : (((('a * 'b) * 'c) * 'd) * 'e, 'a * 'b * 'c * 'd * 'e) t
Sourceval obj6 : ((((('a * 'b) * 'c) * 'd) * 'e) * 'f, 'a * 'b * 'c * 'd * 'e * 'f) t