Control.DistributiveB

Definitions

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

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

MkDistributiveB

Methods:

bdistribute : Functor f => f (t g) -> t (f . g)

bdistribute : DistributiveB k t => Functor f => f (t g) -> t (f . g)

Totality: total
Visibility: public export