Data.Functor.These · these-1.2.1

datadata These1 (f :: Type -> Type) (g :: Type -> Type) a

Constructors

This1 (f a)
That1 (g a)
These1 (f a) (g a)

Instances19Generic1, Functor, Foldable, Traversable, Foldable1, Eq1, …

Generic1 (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Functor f, Functor g) => Functor (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Foldable f, Foldable g) => Foldable (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Traversable f, Traversable g) => Traversable (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Foldable1 f, Foldable1 g) => Foldable1 (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Eq1 f, Eq1 g) => Eq1 (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Ord1 f, Ord1 g) => Ord1 (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Read1 f, Read1 g) => Read1 (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Show1 f, Show1 g) => Show1 (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(NFData1 f, NFData1 g) => NFData1 (These1 f g)Defined in these-1.2.1 · Data.Functor.These
(Eq (f a), Eq (g a), Eq a) => Eq (These1 f g a)Defined in these-1.2.1 · Data.Functor.These
(Typeable f, Typeable g, Typeable a, Data (f a), Data (g a)) => Data (These1 f g a)Defined in these-1.2.1 · Data.Functor.These
(Ord (f a), Ord (g a), Ord a) => Ord (These1 f g a)Defined in these-1.2.1 · Data.Functor.These
(Read (f a), Read (g a), Read a) => Read (These1 f g a)Defined in these-1.2.1 · Data.Functor.These
(Show (f a), Show (g a), Show a) => Show (These1 f g a)Defined in these-1.2.1 · Data.Functor.These
Generic (These1 f g a)Defined in these-1.2.1 · Data.Functor.These
(NFData (f a), NFData (g a), NFData a) => NFData (These1 f g a)Defined in these-1.2.1 · Data.Functor.These
type Rep (These1 f g a) = D1 ('MetaData "These1" "Data.Functor.These" "these-1.2.1-1nJjj0XK7aJ1AvDO4ljyLz" 'False) (C1 ('MetaCons "This1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))) :+: (C1 ('MetaCons "That1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g a))) :+: C1 ('MetaCons "These1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g a)))))Defined in these-1.2.1 · Data.Functor.These
type Rep1 (These1 f g) = D1 ('MetaData "These1" "Data.Functor.These" "these-1.2.1-1nJjj0XK7aJ1AvDO4ljyLz" 'False) (C1 ('MetaCons "This1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)) :+: (C1 ('MetaCons "That1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)) :+: C1 ('MetaCons "These1" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g))))Defined in these-1.2.1 · Data.Functor.These