travesty

Traversable containers, monad extensions, and more
IN THIS PACKAGE
include Generic_types.Bi0
type t

Fixed type of containers.

type left

Fixed type of left elements.

type right

Fixed type of right elements.

module On (M : Base.Applicative.S) : Basic0_on_applicative with type t := t and type left := left and type right := right and module M := M

On implements monadic bi-traversal for a given applicative functor.