Control.FunctorB

Definitions

0 I : Type -> Type

Totality: total
Visibility: public export

0 K : Type -> Type -> Type

Totality: total
Visibility: public export

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

Parameters: k, t
Constructor: 

MkFunctorB

Methods:

bmap_ : ((0 a : k) -> f a -> g a) -> t f -> t g

Implementations:

ApplicativeB k t -> FunctorB k t

DistributiveB k t -> FunctorB k t

TraversableB k t -> FunctorB k t

bmap_ : FunctorB k t => ((0 a : k) -> f a -> g a) -> t f -> t g

Totality: total
Visibility: public export

bmap : FunctorB k t => (f a -> g a) -> t f -> t g

Totality: total
Visibility: public export