package travesty

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

Basic0 is the basic signature of an arity-0 bi-traversable type.

Functions traversing over arity-0 types must preserve both element types.

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_monad (M : Base.Monad.S) : Basic0_on_monad with type t := t and type left := left and type right := right and module M := M

On_monad implements monadic bi-traversal for a given monad.