AIHC Haddock

Community
Modules 14

Data.Bifunctor.Tannen

provisional

newtype Tannen f p a b

Compose a Functor on the outside of a Bifunctor.

Tannen :: f (p a b) -> Tannen f p a b

Instances

32
  • instance (Eq f, Eq p, Eq a, Eq b) => Eq (Tannen f p a b)
  • instance (Ord f, Ord p, Ord a, Ord b) => Ord (Tannen f p a b)
  • instance (Show f, Show p, Show a, Show b) => Show (Tannen f p a b)
  • instance (Read f, Read p, Read a, Read b) => Read (Tannen f p a b)
  • instance (Generic f, Generic p, Generic a, Generic b) => Generic (Tannen f p a b)
  • instance Functor f => Generic1 (Tannen f p a)
  • instance (Eq1 f, Eq2 p, Eq a) => Eq1 (Tannen f p a)
  • instance (Eq1 f, Eq2 p) => Eq2 (Tannen f p)
  • instance (Ord1 f, Ord2 p, Ord a) => Ord1 (Tannen f p a)
  • instance (Ord1 f, Ord2 p) => Ord2 (Tannen f p)
  • instance (Read1 f, Read2 p, Read a) => Read1 (Tannen f p a)
  • instance (Read1 f, Read2 p) => Read2 (Tannen f p)
  • instance (Show1 f, Show2 p, Show a) => Show1 (Tannen f p a)
  • instance (Show1 f, Show2 p) => Show2 (Tannen f p)
  • instance Functor f => BifunctorFunctor (Tannen f)
  • instance (Functor f, Monad f) => BifunctorMonad (Tannen f)
  • instance Comonad f => BifunctorComonad (Tannen f)
  • instance (Functor f, Bifunctor p) => Bifunctor (Tannen f p)
  • instance (Functor f, Bifunctor p) => Functor (Tannen f p a)
  • instance (Applicative f, Biapplicative p) => Biapplicative (Tannen f p)
  • instance (Foldable f, Bifoldable p) => Foldable (Tannen f p a)
  • instance (Foldable f, Bifoldable p) => Bifoldable (Tannen f p)
  • instance (Foldable1 f, Bifoldable1 p) => Bifoldable1 (Tannen f p)
  • instance (Traversable f, Bitraversable p) => Traversable (Tannen f p a)
  • instance (Traversable f, Bitraversable p) => Bitraversable (Tannen f p)
  • instance (Applicative f, Category p) => Category (Tannen f p)
  • instance (Applicative f, Arrow p) => Arrow (Tannen f p)
  • instance (Applicative f, ArrowChoice p) => ArrowChoice (Tannen f p)
  • instance (Applicative f, ArrowLoop p) => ArrowLoop (Tannen f p)
  • instance (Applicative f, ArrowZero p) => ArrowZero (Tannen f p)
  • instance (Applicative f, ArrowPlus p) => ArrowPlus (Tannen f p)
  • instance (Functor f, Swap p) => Swap (Tannen f p)
Maintainer
Edward Kmett <ekmett@gmail.com>
Portability
portable
Copyright
(C) 2008-2016 Edward Kmett
License
BSD-style (see the file LICENSE)
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

Import a package

Enter a package name and an exact version from Hackage. The site contains imported versions only.