type (:->) p q = forall a b. p a b -> q a b
Using parametricity as an approximation of a natural transformation in two arguments.
Modules 14
Data.Bifunctor.Functor
class BifunctorFunctor t
bifmap :: (p :-> q) -> t p :-> t q
class BifunctorFunctor t => BifunctorMonad t
bireturn :: p :-> t p
bibind :: (p :-> t q) -> t p :-> t q
bijoin :: t (t p) :-> t p
biliftM :: BifunctorMonad t => (p :-> q) -> t p :-> t q
class BifunctorFunctor t => BifunctorComonad t
biextract :: t p :-> p
biextend :: (t p :-> q) -> t p :-> t q
biduplicate :: t p :-> t (t p)
biliftW :: BifunctorComonad t => (p :-> q) -> t p :-> t q
Build record and source files
Community contribution. The service has not verified this documentation. The generator reported 2 diagnostics.
Target: Linux on x86-64. Some inferred types and resolved links are not available.
Generator: aihc-haddock-aa6debbd-web-3
Metadata snapshot: 09b82df928e064b0f451e3d0573302709a7badfc69fe1ca8110c8d45f2c2865f
Open the dependency plan · Download the documentation model
- aihc-base-4.21.2.0 · Core library · Cabal file
- aihc-internal-9.1204.0 · Core library · Cabal file
- aihc-prim-0.13.0 · Core library · Cabal file
- aihc-rts-1.0.2 · Core library · Cabal file
- aihc-template-haskell-2.23.0.0 · Core library · Cabal file
- array-0.5.8.0 · Cabal revision 2 · Cabal file · Source archive
- assoc-1.1.1 · Cabal revision 2 · Cabal file · Source archive
- bifunctors-5.6.3 · Cabal revision 1 · Cabal file · Source archive
- comonad-5.0.10 · Cabal revision 0 · Cabal file · Source archive
- containers-0.8.1 · Cabal revision 0 · Cabal file · Source archive
- deepseq-1.5.2.0 · Cabal revision 0 · Cabal file · Source archive
- distributive-0.6.3 · Cabal revision 0 · Cabal file · Source archive
- indexed-traversable-0.1.5 · Cabal revision 0 · Cabal file · Source archive
- tagged-0.9 · Cabal revision 0 · Cabal file · Source archive
- th-abstraction-0.7.2.0 · Cabal revision 0 · Cabal file · Source archive
- transformers-0.6.3.0 · Cabal revision 2 · Cabal file · Source archive