package anycache

You can search for identifiers within the package.

in-package search v0.2.0

package anycache

anycache
- Anycache
  - Direct
  - Make
    
    K
    
    M
  - Monad
  - PendingLimit
    
    Make
    
    Key
    
    M
  - S

Legend:
Library
Module
Module type
Parameter
Class
Class type

a direct computation that can either succeed or fail

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

the type for deferred computation with result of type 'a

type ('a, 'b) result = ('a, 'b) Result.result =

| Ok of 'a
| Error of 'b
(*
result type for backward compatibility
*)

val return : 'a -> 'a t

a successfull result

val fail : exn -> 'a t

an error

val (>>?) : '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.