To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package travesty
-
travesty
-
-
travesty_containers
-
-
travesty_core_kernel_exts
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Basic0 is the minimal signature that traversable containers of arity 0 must implement to be extensible into S0.
module Elt : Base.Equal.SElt contains the element type, which must have equality.
module On_monad
(M : Base.Monad.S) :
Basic0_on_monad with type t := t and type elt := Elt.t and module M := MOn_monad implements monadic traversal for a given monad M.