package clarity

  1. Overview
  2. Docs
module Caml : sig ... end
module Align : sig ... end

Zip datatypes with non-uniform shapes using These.t

module Applicative : sig ... end

Applicative functors

module Either : sig ... end
module Fn : sig ... end

Various function combinators

module Foldable : sig ... end

Foldable signatures

module Functor : sig ... end

Functors

module Id : sig ... end
module List : sig ... end

List data type

module Monad : sig ... end

Monads

module Monoid : sig ... end

Monoids

module Option : sig ... end
module Reader : sig ... end
module Semigroup : sig ... end

Semigroups

module State : sig ... end
module These : sig ... end
module Traversable : sig ... end

Traversable signatures

module Validation : sig ... end

A data-type like Either but with an error-accumulating Applicative

module Vector : sig ... end

Efficient persistent vectors based on RRB-Trees

module Void : sig ... end
module Writer : sig ... end

Writer monad

module Internal : sig ... end