TypeCompose 0.9.0 → 0.9.1

raw patch · 2 files changed

+3/−3 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Compose: class FunAble h

+ Control.Compose: class FunAble h where f ***% g = firstFun f >>> secondFun g f &&&% g = arrFun (\ b -> (b, b)) >>> f ***% g

- Data.Lambda: class Unlambda src snk | snk -> src

+ Data.Lambda: class Unlambda src snk | snk -> src where unlambda = fsrc &&& fres fsrc = fst . unlambda fres = snd . unlambda

- Data.Pair: class Unpair f

+ Data.Pair: class Unpair f where unpair = fsts &&& snds fsts = fst . unpair snds = snd . unpair

- Data.Zip: class Unzip f

+ Data.Zip: class Unzip f where unzip = fsts &&& snds fsts = fst . unzip snds = snd . unzip

Files

TypeCompose.cabal +1/−1
src/Data/Partial.hs +2/−2

TypeCompose.cabal view

@@ -1,5 +1,5 @@ Name:                TypeCompose-Version:             0.9.0+Version:             0.9.1 Synopsis: 	     Type composition classes & instances Category:            Composition, Control Description:

src/Data/Partial.hs view

@@ -13,8 +13,8 @@ -- A monoid 'Partial' of partial values.  See the [Teaser] and [Solution] blog -- posts. -- ---   [Teaser]:   <http://conal-elliott.blogspot.com/2007/07/type-for-partial-values.html>---   [Solution]: <http://conal-elliott.blogspot.com/2007/07/implementing-type-for-partial-values.html>+--   [Teaser]:   <http://conal.net/blog/posts/a-type-for-partial-values>+--   [Solution]: <http://conal.net/blog/posts/implementing-a-type-for-partial-values> --  -- Also defines a 'FunAble' instance, so that @FunA Partial@ is an arrow. ----------------------------------------------------------------------