acme-schoenfinkel 0.1.0 → 0.1.1

raw patch · 3 files changed

+25/−2 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Control/Category/Schoenfinkel.hs +8/−1
• acme-schoenfinkel.cabal +1/−1
• test/Props.hs +16/−0

@@ -26,7 +26,8 @@       Schönfinkel,       WrappedSchönfinkel,       schön,-      unschön+      unschön,+      hässlich     )     where @@ -84,6 +85,12 @@ -- | Unicode version of 'WrappedSchoenfinkel' if you prefer.  type WrappedSchönfinkel = WrappedSchoenfinkel+++-- | Another appropriate name for 'uncurry'/'unschoen'.++hässlich :: (Schoenfinkel cat) => cat a (cat b c) -> cat (a, b) c+hässlich = unschoen   -- | Unicode version of 'schoen' if you prefer.

@@ -1,5 +1,5 @@ name:          acme-schoenfinkel-version:       0.1.0+version:       0.1.1 category:      Acme synopsis:      Proper names for curry and uncurry maintainer:    Ertugrul Söylemez <es@ertes.de>

@@ -12,14 +12,30 @@ import Test.QuickCheck.Function  +prop_hässlich :: Fun Int (Fun Int Int) -> Int -> Int -> Bool+prop_hässlich (Fun _ f') x y =+    let f = apply . f'+    in hässlich f (x, y) == uncurry f (x, y)++ prop_schoen :: Fun (Int, Int) Int -> Int -> Int -> Bool prop_schoen (Fun _ f) x y = schoen f x y == curry f x y  +prop_schön :: Fun (Int, Int) Int -> Int -> Int -> Bool+prop_schön (Fun _ f) x y = schön f x y == curry f x y++ prop_unschoen :: Fun Int (Fun Int Int) -> Int -> Int -> Bool prop_unschoen (Fun _ f') x y =     let f = apply . f'     in unschoen f (x, y) == uncurry f (x, y)+++prop_unschön :: Fun Int (Fun Int Int) -> Int -> Int -> Bool+prop_unschön (Fun _ f') x y =+    let f = apply . f'+    in unschön f (x, y) == uncurry f (x, y)   main :: IO ()