Copyright | (c) Ross Paterson 2014 |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | libraries@haskell.org |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Sums, lifted to functors.
Since: 4.9.0.0
Documentation
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) # | |