package encore

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Encore.Bij`Source

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