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.TheseThis instance is available only with
deepseq >= 1.4.3.0(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.TheseGeneric (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.TheseAvailable always
type Rep (These1 f g a) = D1 ('MetaDataDefined in these-1.2.1 · Data.Functor.These"These1"
"Data.Functor.These"
"these-1.2.1-G6ENQNNUC7y1I0pgW1csHe"
'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)))))type Rep1 (These1 f g) = D1 ('MetaDataDefined in these-1.2.1 · Data.Functor.These"These1"
"Data.Functor.These"
"these-1.2.1-G6ENQNNUC7y1I0pgW1csHe"
'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))))