package anycache

  1. Overview
  2. Docs

Module Anycache.DirectSource

a direct computation that can either succeed or fail

Sourcetype 'a t = ('a, exn) Result.result

the type for deferred computation with result of type 'a

Sourcetype ('a, 'b) result = ('a, 'b) Result.result =
  1. | Ok of 'a
  2. | Error of 'b
    (*

    result type for backward compatibility

    *)
Sourceval return : 'a -> 'a t

a successfull result

Sourceval fail : exn -> 'a t

an error

Sourceval (>>?) : 'a t -> (('a, exn) result -> 'b t) -> 'b t

v >>= g chains the computation of v and the function g. When the computation of v finishes g is invoked with its result, or error. This allows to post-process the result or perform error handling.