Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.SOP.Functors
Documentation
newtype Flip (f ∷ x → y → Type) (x1 ∷ y) (y1 ∷ x) Source #
Instances
Generic (Flip f x2 y2) Source # | |||||
Defined in Data.SOP.Functors Associated Types
| |||||
Show (f y2 x2) ⇒ Show (Flip f x2 y2) Source # | |||||
Eq (f y2 x2) ⇒ Eq (Flip f x2 y2) Source # | |||||
NoThunks (f y2 x2) ⇒ NoThunks (Flip f x2 y2) Source # | |||||
type Rep (Flip f x2 y2) Source # | |||||
Defined in Data.SOP.Functors |
data Product2 (f ∷ Type → Type → Type) (g ∷ Type → Type → Type) x y Source #
Constructors
Pair2 (f x y) (g x y) |