Structures · Data types

Traversable

A traversable functor is a functor along with a way to commute with all applicative functors (see sequence). For example, if t is the traversable functor List and m is the applicative functor IO, then given a function f : α → IO β, the function Functor.map f is List α → List (IO β), but traverse f is List α → IO (List β).

Defined in

Mathlib.Control.Traversable.Basic

Shape

One type argument · adds traverse