Skip to contentModulebifunctors-5.6.3
Data.Bifunctor.Tannen
Synopsis
Nnewtypenewtype Tannen (f :: k -> Type) (p :: k1 -> k2 -> k) (a :: k1) (b :: k2) Instances34BifunctorFunctor, BifunctorComonad, BifunctorMonad, Category, Generic1, Arrow, …
Functor f => BifunctorFunctor (Tannen f)Defined in bifunctors-5.6.3 · Data.Bifunctor.TannenComonad f => BifunctorComonad (Tannen f)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Functor f, Monad f) => BifunctorMonad (Tannen f)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Applicative f, Category p) => Category (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.TannenFunctor f => Generic1 (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Applicative f, Arrow p) => Arrow (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Applicative f, ArrowChoice p) => ArrowChoice (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Applicative f, ArrowPlus p) => ArrowPlus (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Applicative f, ArrowZero p) => ArrowZero (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Applicative f, ArrowLoop p) => ArrowLoop (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Foldable f, Bifoldable p) => Bifoldable (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Foldable1 f, Bifoldable1 p) => Bifoldable1 (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Functor f, Bifunctor p) => Bifunctor (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Traversable f, Bitraversable p) => Bitraversable (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Eq1 f, Eq2 p) => Eq2 (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Ord1 f, Ord2 p) => Ord2 (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Read1 f, Read2 p) => Read2 (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Show1 f, Show2 p) => Show2 (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Functor f, Swap p) => Swap (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Applicative f, Biapplicative p) => Biapplicative (Tannen f p)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Functor f, Bifunctor p) => Functor (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Foldable f, Bifoldable p) => Foldable (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Traversable f, Bitraversable p) => Traversable (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Eq1 f, Eq2 p, Eq a) => Eq1 (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Ord1 f, Ord2 p, Ord a) => Ord1 (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Read1 f, Read2 p, Read a) => Read1 (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen(Show1 f, Show2 p, Show a) => Show1 (Tannen f p a)Defined in bifunctors-5.6.3 · Data.Bifunctor.TannenEq (f (p a b)) => Eq (Tannen f p a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.TannenOrd (f (p a b)) => Ord (Tannen f p a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.TannenRead (f (p a b)) => Read (Tannen f p a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.TannenShow (f (p a b)) => Show (Tannen f p a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.TannenGeneric (Tannen f p a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannentype Rep (Tannen f p a b) = D1 ('MetaData "Tannen"
"Data.Bifunctor.Tannen"
"bifunctors-5.6.3-9KDwohU9kxmAVuAouyccPd"
'True) (C1 ('MetaCons "Tannen"
'PrefixI 'True) (S1 ('MetaSel ('Just "runTannen"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (p a b)))))Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannentype Rep1 (Tannen f p a) = D1 ('MetaData "Tannen"
"Data.Bifunctor.Tannen"
"bifunctors-5.6.3-9KDwohU9kxmAVuAouyccPd"
'True) (C1 ('MetaCons "Tannen"
'PrefixI 'True) (S1 ('MetaSel ('Just "runTannen"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (f :.: Rec1 (p a))))Defined in bifunctors-5.6.3 · Data.Bifunctor.Tannen