Lifted sum of functors.
Examples
fmap (+1) (InL (Just 1)) :: Sum Maybe [] IntInL (Just 2)
fmap (+1) (InR [1, 2, 3]) :: Sum Maybe [] IntInR [2,3,4]
Instances40Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, Functor, Foldable, …
Generic1 (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(FoldableWithIndex i f, FoldableWithIndex j g) => FoldableWithIndex (Either i j) (Sum f g)Defined in indexed-traversable-0.1.4 · WithIndex(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (Sum f g)Defined in indexed-traversable-0.1.4 · WithIndex(TraversableWithIndex i f, TraversableWithIndex j g) => TraversableWithIndex (Either i j) (Sum f g)Defined in indexed-traversable-0.1.4 · WithIndex(Functor f, Functor g) => Functor (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(Foldable f, Foldable g) => Foldable (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(Traversable f, Traversable g) => Traversable (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(Foldable1 f, Foldable1 g) => Foldable1 (Sum f g)Defined in base-4.20.2.0 · Data.Foldable1(Eq1 f, Eq1 g) => Eq1 (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(Ord1 f, Ord1 g) => Ord1 (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(Read1 f, Read1 g) => Read1 (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(Show1 f, Show1 g) => Show1 (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(Contravariant f, Contravariant g) => Contravariant (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Contravariant(NFData1 f, NFData1 g) => NFData1 (Sum f g)Defined in deepseq-1.5.0.0 · Control.DeepSeq(Hashable1 f, Hashable1 g) => Hashable1 (Sum f g)Defined in hashable-1.4.7.0 · Data.Hashable.Class(Comonad f, Comonad g) => Comonad (Sum f g)Defined in comonad-5.0.9 · Control.Comonad(Extend f, Extend g) => Extend (Sum f g)Defined in semigroupoids-6.0.1 · Data.Functor.Extend(Traversable1 f, Traversable1 g) => Traversable1 (Sum f g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class(Invariant f, Invariant g) => Invariant (Sum f g)Defined in invariant-0.6.4 · Data.Functor.Invariantfrom Data.Functor.Sum
(Adjustable f, Adjustable g) => Adjustable (Sum f g)Defined in keys-3.12.3 · Data.Key(FoldableWithKey f, FoldableWithKey g) => FoldableWithKey (Sum f g)Defined in keys-3.12.3 · Data.Key(FoldableWithKey1 f, FoldableWithKey1 g) => FoldableWithKey1 (Sum f g)Defined in keys-3.12.3 · Data.Key(Indexable f, Indexable g) => Indexable (Sum f g)Defined in keys-3.12.3 · Data.Key(Keyed f, Keyed g) => Keyed (Sum f g)Defined in keys-3.12.3 · Data.Key(Lookup f, Lookup g) => Lookup (Sum f g)Defined in keys-3.12.3 · Data.Key(TraversableWithKey f, TraversableWithKey g) => TraversableWithKey (Sum f g)Defined in keys-3.12.3 · Data.Key(TraversableWithKey1 f, TraversableWithKey1 g) => TraversableWithKey1 (Sum f g)Defined in keys-3.12.3 · Data.Key(Copointed f, Copointed g) => Copointed (Sum f g)Defined in pointed-5.0.4 · Data.Copointed(Adjunction f g, Adjunction f' g') => Adjunction (Sum f f') (Product g g')Defined in adjunctions-4.4.3 · Data.Functor.Adjunction(Eq (f a), Eq (g a)) => Eq (Sum f g a)Defined in base-4.20.2.0 · Data.Functor.Sum(Typeable a, Typeable f, Typeable g, Typeable k, Data (f a), Data (g a)) => Data (Sum f g a)Defined in base-4.20.2.0 · Data.Functor.Sum(Ord (f a), Ord (g a)) => Ord (Sum f g a)Defined in base-4.20.2.0 · Data.Functor.Sum(Read (f a), Read (g a)) => Read (Sum f g a)Defined in base-4.20.2.0 · Data.Functor.Sum(Show (f a), Show (g a)) => Show (Sum f g a)Defined in base-4.20.2.0 · Data.Functor.SumGeneric (Sum f g a)Defined in base-4.20.2.0 · Data.Functor.Sum(NFData (f a), NFData (g a)) => NFData (Sum f g a)Defined in deepseq-1.5.0.0 · Control.DeepSeqNote: in
deepseq-1.5.0.0this instance's superclasses were changed.(Hashable1 f, Hashable1 g, Hashable a) => Hashable (Sum f g a)Defined in hashable-1.4.7.0 · Data.Hashable.Classtype Rep (Sum f g a) = D1 ('MetaDataDefined in base-4.20.2.0 · Data.Functor.Sum"Sum"
"Data.Functor.Sum"
"base"
'False) (C1 ('MetaCons"InL"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))) :+: C1 ('MetaCons"InR"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g a))))type Rep1 (Sum f g) = D1 ('MetaDataDefined in base-4.20.2.0 · Data.Functor.Sum"Sum"
"Data.Functor.Sum"
"base"
'False) (C1 ('MetaCons"InL"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)) :+: C1 ('MetaCons"InR"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)))type Key (Sum f g) = Either (Key f) (Key g)Defined in keys-3.12.3 · Data.Key