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_monad (M : Base.Monad.S) : Basic1_on_monad with type 'a t := 'a t and module M := M

On_monad implements monadic traversal for a given monad.