travesty

Traversable containers, monad extensions, and more
IN THIS PACKAGE
Parameter #1 Travesty . Traversable . Make0 . I
type t

The container type.

module Elt : Base.Equal.S

Elt contains the element type, which must have equality.

module On (M : Base.Applicative.S) : Traversable_types.Basic0_on_applicative with type t := t and type elt := Elt.t and module M := M

On implements applicative traversal for a given applicative M.