package encore

  1. Overview
  2. Docs
exception Bijection
val fail : unit -> 'a
val of_option : ('a, 'b) topt -> ('a, 'b) texn
val compose : ('a, 'b) texn -> ('b, 'c) texn -> ('a, 'c) texn
val (%) : ('a, 'b) texn -> ('b, 'c) texn -> ('a, 'c) texn
val commute : ('a * 'b, 'b * 'a) texn
val identity : ('a, 'a) texn
val subset : ('a -> bool) -> ('a, 'a) texn
val element : compare:('a -> 'a -> bool) -> 'a -> ('a, unit) texn
val singleton : ('a, 'a list) texn
val cons : ('a * 'a list, 'a list) texn
val nil : (unit, unit list) texn
val some : ('a, 'a option) texn
val none : (unit, unit option) texn
val string : (char list, string) texn
val safe_exn : ('a -> 'b) -> 'a -> 'b
val int : (string, int) texn
val bool : (string, bool) texn
val fst : ('b, unit) texn -> ('a * 'b, 'a) texn
val snd : ('b, unit) texn -> ('b * 'a, 'a) texn