Data.Indexed.Add

We can make any collection into an indexed collection by storing
pairs

Definitions

record Indexed : (Type -> Type) -> Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

AddIndex : t (i, a) -> Indexed t i a

Projection: 

.unIndex : Indexed t i a -> t (i, a)

Hints:

Filterable t => Filterable (Indexed t i)

Foldable t => Foldable (Indexed t i)

Functor t => Functor (Indexed t i)

Filterable t => IndFilterable i (Indexed t i)

(Functor t, Foldable t) => IndFoldable i (Indexed t i)

Functor t => IndFunctor i (Indexed t i)

Traversable t => IndTraversable i (Indexed t i)

Traversable t => Traversable (Indexed t i)

Witherable t => Witherable (Indexed t i)

.unIndex : Indexed t i a -> t (i, a)

Visibility: public export

unIndex : Indexed t i a -> t (i, a)

Visibility: public export