Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SOP.Functors

Documentation

newtype Flip f x y Source #

Constructors

Flip
Fields unFlip ∷ f y x

Instances details

Generic (Flip f x2 y2) Source #
Instance details Defined in Data.SOP.Functors Associated Types type Rep (Flip f x2 y2) ∷ Type → Type # Methods from ∷ Flip f x2 y2 → Rep (Flip f x2 y2) x # to ∷ Rep (Flip f x2 y2) x → Flip f x2 y2 #
Show (f y2 x2) ⇒ Show (Flip f x2 y2) Source #
Instance details Defined in Data.SOP.Functors Methods showsPrec ∷ Int → Flip f x2 y2 → ShowS # show ∷ Flip f x2 y2 → String # showList ∷ [Flip f x2 y2] → ShowS #
Eq (f y2 x2) ⇒ Eq (Flip f x2 y2) Source #
Instance details Defined in Data.SOP.Functors Methods (==) ∷ Flip f x2 y2 → Flip f x2 y2 → Bool # (/=) ∷ Flip f x2 y2 → Flip f x2 y2 → Bool #
NoThunks (f y2 x2) ⇒ NoThunks (Flip f x2 y2) Source #
Instance details Defined in Data.SOP.Functors Methods noThunks ∷ Context → Flip f x2 y2 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Flip f x2 y2 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Flip f x2 y2) → String Source #
type Rep (Flip f x2 y2) Source #
Instance details Defined in Data.SOP.Functors type Rep (Flip f x2 y2) = D1 ('MetaData "Flip" "Data.SOP.Functors" "sop-extras-0.2.0.0-inplace" 'True) (C1 ('MetaCons "Flip" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFlip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f y2 x2))))

newtype K2 a b c Source #

Constructors

Constructors

Pair2 (f x y) (g x y)

Instances details

Generic (Product2 f g x y) Source #
Instance details Defined in Data.SOP.Functors Associated Types type Rep (Product2 f g x y) ∷ Type → Type # Methods from ∷ Product2 f g x y → Rep (Product2 f g x y) x0 # to ∷ Rep (Product2 f g x y) x0 → Product2 f g x y #
(Show (f x y), Show (g x y)) ⇒ Show (Product2 f g x y) Source #
Instance details Defined in Data.SOP.Functors Methods showsPrec ∷ Int → Product2 f g x y → ShowS # show ∷ Product2 f g x y → String # showList ∷ [Product2 f g x y] → ShowS #
(Eq (f x y), Eq (g x y)) ⇒ Eq (Product2 f g x y) Source #
Instance details Defined in Data.SOP.Functors Methods (==) ∷ Product2 f g x y → Product2 f g x y → Bool # (/=) ∷ Product2 f g x y → Product2 f g x y → Bool #
type Rep (Product2 f g x y) Source #
Instance details Defined in Data.SOP.Functors type Rep (Product2 f g x y) = D1 ('MetaData "Product2" "Data.SOP.Functors" "sop-extras-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Pair2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f x y)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g x y))))

snd2 ∷ Product2 f g x y → g x y Source #