Copyright | (C) 2008-2016 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Data.Bifunctor.Biff
Description
Documentation
newtype Biff p f g a b Source #
Instances
(Bifunctor p, Functor f, Functor g) => Bifunctor (Biff * * * * p f g) Source # | |
(Bifoldable p, Foldable f, Foldable g) => Bifoldable (Biff * * * * p f g) Source # | |
(Bitraversable p, Traversable f, Traversable g) => Bitraversable (Biff * * * * p f g) Source # | |
(Biapplicative p, Applicative f, Applicative g) => Biapplicative (Biff * * * * p f g) Source # | |
(Bifunctor p, Functor g) => Functor (Biff * k * * p f g a) Source # | |
(Bifoldable p, Foldable g) => Foldable (Biff * k * * p f g a) Source # | |
(Bitraversable p, Traversable g) => Traversable (Biff * k * * p f g a) Source # | |
Functor (p (f a)) => Generic1 (Biff * k * k1 p f g a) Source # | |
Eq (p (f a) (g b)) => Eq (Biff k3 k2 k1 k p f g a b) Source # | |
Ord (p (f a) (g b)) => Ord (Biff k3 k2 k1 k p f g a b) Source # | |
Read (p (f a) (g b)) => Read (Biff k3 k2 k1 k p f g a b) Source # | |
Show (p (f a) (g b)) => Show (Biff k3 k2 k1 k p f g a b) Source # | |
Generic (Biff k3 k2 k1 k p f g a b) Source # | |
type Rep1 (Biff * k1 * k p f g a) Source # | |
type Rep (Biff k3 k2 k1 k p f g a b) Source # | |