Data.Foldable.Indexed

A Foldable that is able to read extra data, the index

Definitions

interface IndFoldable : Type -> (Type -> Type) -> Type

Parameters: i, f
Constraints: Foldable f
Methods:

ifoldl : (a -> i -> x -> a) -> a -> f x -> a

ifoldr : (i -> x -> a -> a) -> a -> f x -> a

iconcatMap : Monoid m => (i -> x -> m) -> f x -> m

Implementations:

IndFoldable () Maybe

IndFoldable a (Pair a)

IndFoldable Nat List

IndFoldable (Fin k) (Vect k)

ifoldl : IndFoldable i f => (a -> i -> x -> a) -> a -> f x -> a

Visibility: public export

ifoldr : IndFoldable i f => (i -> x -> a -> a) -> a -> f x -> a

Visibility: public export

iconcatMap : IndFoldable i f => Monoid m => (i -> x -> m) -> f x -> m

Visibility: public export

iconcatMapRight : (IndFoldable i f, Monoid m) => (i -> x -> m) -> f x -> m

Visibility: export