Documentation

type BFunctor b = FunctorOf ((->) ~> (->)) (->) b Source #

bmap :: BFunctor b => forall f g. (forall x. f x -> g x) -> b f -> b g Source #

type BFunctor2 b = FunctorOf ((->) ~> ((->) ~> (->))) (->) b Source #

bmap2 :: BFunctor2 b => forall f g. (forall x x'. f x x' -> g x x') -> b f -> b g Source #