packages feed

pointfree-fancy 1.1.1.12 → 1.1.1.13

raw patch · 3 files changed

+11/−4 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

pointfree-fancy.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.0 name: pointfree-fancy-version: 1.1.1.12+version: 1.1.1.13 license: BSD3 license-file: LICENSE maintainer: Vanessa McHale <vamchale@gmail.com>
src/Plugin/Pl/Rules.hs view
@@ -165,7 +165,7 @@   fixE, foldl1E, notE, equalsE, nequalsE, plusE, multE, zeroE, oneE, lengthE,   sumE, productE, concatE, concatMapE, joinE, mapE, fmapE, fmapIE, subtractE,   minusE, liftME, apE, liftM2E, seqME, zipE, zipWithE, onE, oedipusE, oedipus2E, comp2E,-  crossE, firstE, secondE, andE, orE, allE, anyE, returnE, fishE, mfishE,+  crossE, arrowE, firstE, secondE, andE, orE, allE, anyE, returnE, fishE, mfishE,   needleE, mneedleE :: MExpr idE        = Quote $ Var Pref "id" flipE      = Quote $ Var Pref "flip"@@ -224,6 +224,7 @@ zipE       = Quote $ Var Pref "zip" zipWithE   = Quote $ Var Pref "zipWith" crossE     = Quote $ Var Inf  "***"+arrowE     = Quote $ Var Inf  "&&&" firstE     = Quote $ Var Pref "first" secondE    = Quote $ Var Pref "second" andE       = Quote $ Var Pref "and"@@ -714,10 +715,15 @@   rr (\p q -> seqME `a` p `a` q)      (\p q -> extE `a` (constE `a` q) `a` p), -  -- ap (f .@ ((,) . f . fst)) snd --> f (***) f+  -- ap (f .@ ((,) . f . fst)) snd --> f *** f   Hard $   rr (\f -> apE `a` (f `o` (commaE `c` f `c` fstE)) `a` sndE)      (\f -> joinE `a` crossE `a` f),++  -- liftM2 ap ((,) .* fst) snd --> uncurry (&&&)+  Hard $+  rr (liftM2E `a` apE `a` (commaE `c2` fstE) `a` sndE)+     (uncurryE `a` arrowE),    -- flip (=<<) --> >>=   rr (flipE `a` extE)
test/Test.hs view
@@ -210,7 +210,8 @@   unitTest "\\b -> (\\c -> ((Control.Monad.>>=) c) (\\g -> Control.Applicative.pure (b g)))"     ["flip (Control.Monad.>>=) . (Control.Applicative.pure .)"],   unitTest "\\(x, y) -> z" ["const z"],-  unitTest "\\(x, y) -> a" ["const a"]+  unitTest "\\(x, y) -> a" ["const a"],+  unitTest "\\(f, g) x -> (f x, g x)" ["uncurry (&&&)"]   ]  main :: IO ()