Data.Bifunctor.Tannen · rerebase-1.21.2

newtypenewtype Tannen (f :: k -> Type) (p :: k1 -> k2 -> k) (a :: k1) (b :: k2)

Compose a Functor on the outside of a Bifunctor.

Constructors

Tannen
- runTannen :: f (p a b)

Instances49BifunctorFunctor, BifunctorComonad, BifunctorMonad, ProfunctorFunctor, Category, Generic1, …

Functor f => BifunctorFunctor (Tannen f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Comonad f => BifunctorComonad (Tannen f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Functor f, Monad f) => BifunctorMonad (Tannen f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Functor f => ProfunctorFunctor (Tannen f)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
(Applicative f, Category p) => Category (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Functor f => Generic1 (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Comonad f => ProfunctorComonad (Tannen f)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
Monad f => ProfunctorMonad (Tannen f)Defined in profunctors-5.6.3 · Data.Profunctor.Monad
(Applicative f, Arrow p) => Arrow (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Applicative f, ArrowChoice p) => ArrowChoice (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Applicative f, ArrowLoop p) => ArrowLoop (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Applicative f, ArrowPlus p) => ArrowPlus (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Applicative f, ArrowZero p) => ArrowZero (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Foldable f, Bifoldable p) => Bifoldable (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Foldable1 f, Bifoldable1 p) => Bifoldable1 (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Functor f, Bifunctor p) => Bifunctor (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Traversable f, Bitraversable p) => Bitraversable (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Eq1 f, Eq2 p) => Eq2 (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Ord1 f, Ord2 p) => Ord2 (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Read1 f, Read2 p) => Read2 (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Show1 f, Show2 p) => Show2 (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Functor f, Swap p) => Swap (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Applicative f, Biapplicative p) => Biapplicative (Tannen f p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Apply f, Biapply p) => Biapply (Tannen f p)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
(Traversable1 f, Bitraversable1 p) => Bitraversable1 (Tannen f p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Functor f, Choice p) => Choice (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Choice
(Functor f, Cochoice p) => Cochoice (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Choice
(Functor f, Closed p) => Closed (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Closed
(Functor f, Mapping p) => Mapping (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Mapping
(Functor f, Costrong p) => Costrong (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Strong
(Functor f, Strong p) => Strong (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Strong
(Functor f, Profunctor p) => Profunctor (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Unsafe
(Functor f, Traversing p) => Traversing (Tannen f p)Defined in profunctors-5.6.3 · Data.Profunctor.Traversing
(Invariant f, Invariant2 p) => Invariant2 (Tannen f p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
(Functor f, Bifunctor p) => Functor (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Foldable f, Bifoldable p) => Foldable (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Traversable f, Bitraversable p) => Traversable (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Eq1 f, Eq2 p, Eq a) => Eq1 (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Ord1 f, Ord2 p, Ord a) => Ord1 (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Read1 f, Read2 p, Read a) => Read1 (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Show1 f, Show2 p, Show a) => Show1 (Tannen f p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
(Invariant f, Invariant2 p) => Invariant (Tannen f p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Eq (f (p a b)) => Eq (Tannen f p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Ord (f (p a b)) => Ord (Tannen f p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Read (f (p a b)) => Read (Tannen f p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Show (f (p a b)) => Show (Tannen f p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
Generic (Tannen f p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
type Rep (Tannen f p a b) = D1 ('MetaData "Tannen" "Data.Bifunctor.Tannen" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "Tannen" 'PrefixI 'True) (S1 ('MetaSel ('Just "runTannen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (p a b)))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen
type Rep1 (Tannen f p a) = D1 ('MetaData "Tannen" "Data.Bifunctor.Tannen" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "Tannen" 'PrefixI 'True) (S1 ('MetaSel ('Just "runTannen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (f :.: Rec1 (p a))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Tannen