We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a96ffdf commit b21a344Copy full SHA for b21a344
src/Reflex/Patch.hs
@@ -76,7 +76,7 @@ instance Additive (f (g a)) => Additive ((f :.: g) a)
76
-- | Product of groups, Functor style.
77
instance (Group (f a), Group (g a)) => Group ((f :*: g) a) where
78
negateG (a :*: b) = negateG a :*: negateG b
79
- (a :*: b) ~~ (c :*: d) = (a ~~ c :*: b ~~ d)
+ (a :*: b) ~~ (c :*: d) = (a ~~ c) :*: (b ~~ d)
80
instance (Additive (f a), Additive (g a)) => Additive ((f :*: g) a)
81
82
-- | Trivial group, Functor style
0 commit comments