package algaeff

  1. Overview
  2. Docs

Reusable effects-based components.

Reusable components

module State : module type of State

Effects for changing states.

module Reader : module type of Reader

Effects for reading immutable environments.

module Sequencer : module type of Sequencer

Effects for constructing a Seq.t.

module Mutex : module type of Mutex

Effects for making concurrent execution immediately fail.

module UniqueID : module type of UniqueID

Effects for generating unique IDs.

module Unmonad : module type of Unmonad

Effects for any monad (subject to OCaml continuations being one-shot).

Auxiliary tools

module Fun : module type of Fun

Useful helper functions around effects.

OCaml

Innovation. Community. Security.