sop-extras-0.4.0.0: Type-level and data utilities that build upon SOP.
Safe HaskellNone
LanguageHaskell2010

Data.SOP.Functors

Documentation

newtype Flip (f ∷ x → y → Type) (x1 ∷ y) (y1 ∷ x) Source #

Constructors

Flip 

Fields

Instances

Instances details
Generic (Flip f x2 y2) Source # 
Instance details

Defined in Data.SOP.Functors

Associated Types

type Rep (Flip f x2 y2) 
Instance details

Defined in Data.SOP.Functors

type Rep (Flip f x2 y2) = D1 ('MetaData "Flip" "Data.SOP.Functors" "sop-extras-0.4.0.0-inplace" 'True) (C1 ('MetaCons "Flip" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFlip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f y2 x2))))

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.4.0.0-inplace" 'True) (C1 ('MetaCons "Flip" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFlip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f y2 x2))))

data Product2 (f ∷ Type → Type → Type) (g ∷ Type → Type → Type) x y Source #

Constructors

Pair2 (f x y) (g x y) 

Instances

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) 
Instance details

Defined in Data.SOP.Functors

type Rep (Product2 f g x y) = D1 ('MetaData "Product2" "Data.SOP.Functors" "sop-extras-0.4.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))))

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.4.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 ∷ ∀ (f ∷ Type → Type → Type) g x y. Product2 f g x y → g x y Source #