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

Basic0 is the minimal signature that traversable containers of arity 0 must implement to be extensible into S0.

type t

The container type.

module Elt : Base.Equal.S

Elt contains the element type, which must have equality.

module On_monad (M : Base.Monad.S) : Basic0_on_monad with type t := t and type elt := Elt.t and module M := M

On_monad implements monadic traversal for a given monad M.