Data.Traversable.Indexed

An IndTraversable is a Traversable able to read some extra data,
the index.

Reexports

Definitions

interface IndTraversable : Type -> (Type -> Type) -> Type

Parameters: i, t
Constraints: Traversable t, IndFoldable i t
Methods:

itraverse : Applicative f => (i -> a -> f b) -> t a -> f (t b)

Implementations:

IndTraversable () Maybe

IndTraversable a (Pair a)

IndTraversable Nat List

IndTraversable (Fin k) (Vect k)

itraverse : IndTraversable i t => Applicative f => (i -> a -> f b) -> t a -> f (t b)

Visibility: public export