package travesty

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

Basic1 is the minimal signature that traversable containers of arity 1 must implement to be extensible into.

type 'a t

The container type.

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

On implements traversal for a given applicative functor.