Idris2Doc : Data.Witherable.Indexed

Data.Witherable.Indexed

(source)
An indexed Witherable

Reexports

import public Data.Filterable.Indexed
import public Data.Traversable.Indexed
import public Data.Witherable

Definitions

interface IndWitherable : Type -> (Type -> Type) -> Type
Parameters: i, t
Constraints: Witherable t, IndTraversable i t, IndFilterable i t
Methods:
iwither : Applicative f => (i -> a -> f (Maybe b)) -> t a -> f (t b)

Implementation: 
IndWitherable () Maybe
iwither : IndWitherable i t => Applicative f => (i -> a -> f (Maybe b)) -> t a -> f (t b)
Visibility: public export
enumWither : Applicative f => (Nat -> a -> f (Maybe b)) -> List a -> f (List b)
Visibility: export