Modulesop-extras-0.4.1.1Haskell2010

Data.SOP.Functors

newtypenewtype Flip (f :: x -> y -> Type) (x1 :: y) (y1 :: x)

Instances5Eq, Show, Generic, NoThunks, Rep

Eq (f y2 x2) => Eq (Flip f x2 y2)Defined in sop-extras-0.4.1.1 · Data.SOP.Functors
Show (f y2 x2) => Show (Flip f x2 y2)Defined in sop-extras-0.4.1.1 · Data.SOP.Functors
Generic (Flip f x2 y2)Defined in sop-extras-0.4.1.1 · Data.SOP.Functors
NoThunks (f y2 x2) => NoThunks (Flip f x2 y2)Defined in sop-extras-0.4.1.1 · Data.SOP.Functors
type Rep (Flip f x2 y2) = D1 ('MetaData "Flip" "Data.SOP.Functors" "sop-extras-0.4.1.1-KKiAd4oiUhp3eFpccbCrCo" 'True) (C1 ('MetaCons "Flip" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFlip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f y2 x2))))Defined in sop-extras-0.4.1.1 · Data.SOP.Functors

datadata Product2 (f :: Type -> Type -> Type) (g :: Type -> Type -> Type) x y

Instances4Eq, Show, Generic, Rep

(Eq (f x y), Eq (g x y)) => Eq (Product2 f g x y)Defined in sop-extras-0.4.1.1 · Data.SOP.Functors
(Show (f x y), Show (g x y)) => Show (Product2 f g x y)Defined in sop-extras-0.4.1.1 · Data.SOP.Functors
Generic (Product2 f g x y)Defined in sop-extras-0.4.1.1 · Data.SOP.Functors
type Rep (Product2 f g x y) = D1 ('MetaData "Product2" "Data.SOP.Functors" "sop-extras-0.4.1.1-KKiAd4oiUhp3eFpccbCrCo" 'False) (C1 ('MetaCons "Pair2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f x y)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g x y))))Defined in sop-extras-0.4.1.1 · Data.SOP.Functors

valuesnd2 :: Product2 f g x y -> g x y