Idris2Doc : Data.Witherable

Data.Witherable

(source)
A Witherable is a combination of a Traversable and a Filterable

Reexports

import public Data.Filterable

Definitions

interface Witherable : (Type -> Type) -> Type
Parameters: t
Constraints: Filterable t, Traversable t
Methods:
wither : Applicative f => (a -> f (Maybe b)) -> t a -> f (t b)

Implementations:
Witherable Maybe
Witherable List
wither : Witherable t => Applicative f => (a -> f (Maybe b)) -> t a -> f (t b)
Visibility: public export