package apero-core

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type (+'a, +'e) t = ('a, 'e) result

val bind : ('a, 'e) t -> ('a -> ('c, 'e) t) -> ('c, 'e) t

val bind2 : ('a * 'b, 'e) t -> ('a -> 'b -> ('c, 'e) t) -> ('c, 'e) t

val map : ('a, 'e) t -> ('a -> 'c) -> ('c, 'e) t

val bind_error : ('a, 'e) t -> ('e -> ('a, 'i) t) -> ('a, 'i) t

val fold_m : ('a -> 'b -> ('b, 'e) t) -> 'a list -> 'b -> ('b, 'e) t

val return : 'a -> ('a, 'e) t

val ok : 'a -> ('a, 'e) t

val fail : 'e -> ('a, 'e) t

val is_ok : ('a, 'e) t -> bool

val is_error : ('a, 'e) t -> bool

val get : ('a, 'e) t -> 'a

val try_get : run:('a -> 'c) -> fail_with:('e -> 'c) -> on:('a, 'e) t -> 'c

val get_or_else : ('a, 'e) t -> ('e -> 'a) -> 'a

val or_else : ('a, 'e) t -> ('e -> ('a, 'e) t) -> ('a, 'e) t

val flatten : ('a, 'e) t list -> ('a list, 'e) t

val iter : ('a, 'e) t -> ('a -> unit) -> unit

val to_option : ('a, 'e) t -> 'a option

val lift : ('a -> 'b) -> ('a, 'e) t -> ('b, 'e) t

val cons : ('a, 'e) t -> ('a list, 'e) t -> ('a list, 'e) t

module Infix : sig ... end