package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Plebeia.Result_lwtSource

1 Result monad

Sourcetype ('a, 'z) t = ('a, 'z) Result.t Lwt.t
Sourceval return : 'a -> ('a, 'z) t
Sourceval bind : ('a, 'z) t -> ('a -> ('b, 'z) t) -> ('b, 'z) t
Sourceval map : ('a -> 'b) -> ('a, 'z) t -> ('b, 'z) t
Sourceval mapM : ('a -> ('b, 'z) t) -> 'a list -> ('b list, 'z) t
Sourceval mapM_ : ('a -> (unit, 'z) t) -> 'a list -> (unit, 'z) t
Sourceval fold_leftM : ('a -> 'b -> ('a, 'z) t) -> 'a -> 'b list -> ('a, 'z) t
Sourceval map_error : ('err1 -> 'err2) -> ('a, 'err1) t -> ('a, 'err2) t
Sourceval from_Ok_lwt : ('a, _) t -> 'a Lwt.t

It raises Failure _ when the argument is Error _.

Sourceval from_Error_lwt : (_, 'e) t -> 'e Lwt.t

It raises Failure _ when the argument is Ok _.

Sourceval default : ('a, 'e) t -> ('e -> 'a) -> 'a Lwt.t

Error recovery

Sourceval errorf : ('a, unit, string, ('b, string) t) format4 -> 'a

Printf interface to produce a string error

Sourcemodule Infix : sig ... end
Sourcemodule Syntax : sig ... end