Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- type (:->) p q = forall a b. p a b -> q a b
- class BifunctorFunctor t where
- class BifunctorFunctor t => BifunctorMonad t where
- biliftM :: BifunctorMonad t => (p :-> q) -> t p :-> t q
- class BifunctorFunctor t => BifunctorComonad t where
- biliftW :: BifunctorComonad t => (p :-> q) -> t p :-> t q
Documentation
type (:->) p q = forall a b. p a b -> q a b infixr 0 Source #
Using parametricity as an approximation of a natural transformation in two arguments.
class BifunctorFunctor t where Source #
BifunctorFunctor k2 k1 k1 k2 (Flip k1 k2) Source # | |
BifunctorFunctor k1 k2 k1 k2 (Product k1 k2 p) Source # | |
BifunctorFunctor k1 k2 k1 k2 (Sum k1 k2 p) Source # | |
Functor f => BifunctorFunctor k1 k2 k1 k2 (Tannen * k1 k2 f) Source # | |
class BifunctorFunctor t => BifunctorMonad t where Source #
class BifunctorFunctor t => BifunctorComonad t where Source #
biextract, (biextend | biduplicate)
biextract :: t p :-> p Source #
biextend :: (t p :-> q) -> t p :-> t q Source #
biduplicate :: t p :-> t (t p) Source #
BifunctorComonad k1 k2 (Product k1 k2 p) Source # | |
Comonad f => BifunctorComonad k1 k2 (Tannen * k1 k2 f) Source # | |