package monads

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

A fail monad interface.

Fail monads are used to represent partial computation. There are several Fail monads with different flavors and kinds. This module provides a base abstraction for them, namely the fail and catch functions.

Implemented by:

module type S = sig ... end

The unary fail monad interface.

module type S2 = sig ... end

The binary fail monad interface.

OCaml

Innovation. Community. Security.