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 #
Using parametricity as an approximation of a natural transformation in two arguments.
class BifunctorFunctor t where #
BifunctorFunctor k1 k k k1 (Flip k k1) # | |
BifunctorFunctor k k1 k k1 (Sum k k1 p) # | |
BifunctorFunctor k k1 k k1 (Product k k1 p) # | |
Functor f => BifunctorFunctor k k1 k k1 (Tannen k k1 * f) # | |
class BifunctorFunctor t => BifunctorMonad t where #
BifunctorMonad k k1 (Sum k k1 p) # | |
(Functor f, Monad f) => BifunctorMonad k k1 (Tannen k k1 * f) # | |
biliftM :: BifunctorMonad t => (p :-> q) -> t p :-> t q #
class BifunctorFunctor t => BifunctorComonad t where #
biextract, (biextend | biduplicate)
BifunctorComonad k k1 (Product k k1 p) # | |
Comonad f => BifunctorComonad k k1 (Tannen k k1 * f) # | |
biliftW :: BifunctorComonad t => (p :-> q) -> t p :-> t q #