package travesty

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

Basic1_right is the basic signature of an arity-1 bi-traversable type with a floating right type and fixed left type.

Functions traversing over arity-1 types may change the right element type, but not the left.

include Generic_types.Bi_right
type 'r t

Partially fixed type of containers.

type left

Fixed type of left elements.

module On (M : Base.Applicative.S) : Basic1_right_on_applicative with type 'l t := 'l t and type left := left and module M := M

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