package encore

  1. Overview
  2. Docs

Module Bijection.ExnSource

Sourceexception Bijection of string * string
Sourceval fail : string -> string -> 'a
Sourceval of_option : ('a, 'b) topt -> ('a, 'b) texn
Sourceval compose : ('a, 'b) texn -> ('b, 'c) texn -> ('a, 'c) texn
Sourceval (%) : ('a, 'b) texn -> ('b, 'c) texn -> ('a, 'c) texn
Sourceval commute : ('a * 'b, 'b * 'a) texn
Sourceval identity : ('a, 'a) texn
Sourceval subset : ('a -> bool) -> ('a, 'a) texn
Sourceval element : tag:string -> compare:('a -> 'a -> bool) -> 'a -> ('a, unit) texn
Sourceval singleton : tag:string -> ('a, 'a list) texn
Sourceval cons : tag:string -> ('a * 'a list, 'a list) texn
Sourceval nil : (unit, unit list) texn
Sourceval some : tag:string -> ('a, 'a option) texn
Sourceval none : (unit, unit option) texn
Sourceval string : (char list, string) texn
Sourceval safe_exn : (string * string) -> ('a -> 'b) -> 'a -> 'b
Sourceval int : (string, int) texn
Sourceval bool : (string, bool) texn
Sourceval fst : tag:string -> ('b, unit) texn -> ('a * 'b, 'a) texn
Sourceval snd : tag:string -> ('b, unit) texn -> ('b * 'a, 'a) texn