category-extras 0.53.4 → 0.53.5
raw patch · 2 files changed
+6/−1 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Control.Functor.Combinators.Lift: instance (Applicative f, Applicative g) => Applicative (f :*: g)
Files
category-extras.cabal view
@@ -1,6 +1,6 @@ name: category-extras category: Control, Monads, Comonads-version: 0.53.4+version: 0.53.5 license: BSD3 cabal-version: >= 1.2 license-file: LICENSE
src/Control/Functor/Combinators/Lift.hs view
@@ -20,6 +20,7 @@ , Ap, runAp, mkAp ) where +import Control.Applicative import Control.Category.Hask import Control.Functor import Control.Functor.Contra@@ -63,6 +64,10 @@ instance (Pointed f, Pointed g) => Pointed (f :*: g) where point = Lift . (point &&& point)++instance (Applicative f, Applicative g) => Applicative (f :*: g) where+ pure b = Lift (pure b, pure b)+ Lift (f,g) <*> Lift (a,b) = Lift (f <*> a, g <*> b) instance (Faithful f, Faithful g) => Faithful (f :*: g)