Control.TraversableB

Definitions

interface TraversableB : (k : Type) -> ((k -> Type) -> Type) -> Type

Parameters: k, t
Constraints: FunctorB k t
Constructor: 

MkTraversableB

Methods:

btraverse_ : Applicative e => ((0 a : k) -> f a -> e (g a)) -> t f -> e (t g)

btraverse_ : TraversableB k t => Applicative e => ((0 a : k) -> f a -> e (g a)) -> t f -> e (t g)

Totality: total
Visibility: public export

btraverse : Applicative e => TraversableB k t => (f a -> e (g a)) -> t f -> e (t g)

Totality: total
Visibility: public export

bsequence : Applicative e => TraversableB k t => t (e . f) -> e (t f)

Totality: total
Visibility: public export

bsequence' : Applicative e => TraversableB Type t => t e -> e (t I)

Totality: total
Visibility: public export

bfoldMap : Monoid m => TraversableB k t => (f a -> m) -> t f -> m

Totality: total
Visibility: public export