travesty

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

The container type.

module On (M : Base.Applicative.S) : Traversable_types.Basic1_on_applicative with type 'a t := 'a t and module M := M

On implements traversal for a given applicative functor.