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]
Instances20Generic1, Functor, Foldable, Traversable, Foldable1, Eq1, …
Generic1 (Sum f g)Defined in base-4.20.2.0 · Data.Functor.Sum(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(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.type 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)))