Copyright | (c) Ross Paterson 2014 |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | [email protected] |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Sums, lifted to functors.
Since: 4.9.0.0
Lifted sum of functors.
Generic1 k (Sum k f g) | |
(Functor f, Functor g) => Functor (Sum * f g) | Since: 4.9.0.0 |
(Foldable f, Foldable g) => Foldable (Sum * f g) | Since: 4.9.0.0 |
(Traversable f, Traversable g) => Traversable (Sum * f g) | Since: 4.9.0.0 |
(Show1 f, Show1 g) => Show1 (Sum * f g) | Since: 4.9.0.0 |
(Read1 f, Read1 g) => Read1 (Sum * f g) | Since: 4.9.0.0 |
(Ord1 f, Ord1 g) => Ord1 (Sum * f g) | Since: 4.9.0.0 |
(Eq1 f, Eq1 g) => Eq1 (Sum * f g) | Since: 4.9.0.0 |
(Eq1 f, Eq1 g, Eq a) => Eq (Sum * f g a) | Since: 4.9.0.0 |
(Data (g a), Data (f a), Typeable * k, Typeable (k -> *) g, Typeable (k -> *) f, Typeable k a) => Data (Sum k f g a) | |
(Ord1 f, Ord1 g, Ord a) => Ord (Sum * f g a) | Since: 4.9.0.0 |
(Read1 f, Read1 g, Read a) => Read (Sum * f g a) | Since: 4.9.0.0 |
(Show1 f, Show1 g, Show a) => Show (Sum * f g a) | Since: 4.9.0.0 |
Generic (Sum k f g a) | |
type Rep1 k (Sum k f g) | |
type Rep (Sum k f g a) | |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.2.1/docs/html/libraries/base-4.10.0.0/Data-Functor-Sum.html