lub 0.1.3 → 0.1.5

raw patch · 3 files changed

+7/−6 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• lub.cabal +1/−1
• src/Data/Glb.hs +5/−4
• src/Data/Laxer.hs +1/−1

@@ -1,5 +1,5 @@ Name:                lub-Version:             0.1.3+Version:             0.1.5 Cabal-Version:       >= 1.2 Synopsis:            information operators: least upper bound (lub) and greatest lower bound (glb) Category:            Concurrency, Data, Other

@@ -23,9 +23,10 @@   -- | Greatest lower information bound.  Intersects information available   -- from each argument.   glb  :: a -> a -> a-  -- | n-ary 'lub'.  Defaults to @foldr lub undefined@-  glbs :: [a] -> a-  glbs = foldr glb undefined+  -- | n-ary 'glb' for n > 0.  Defaults to @foldr1 glb@.  Unlike @lub@, we+  -- have no unit for 'glb'.+  glbs1 :: [a] -> a+  glbs1 = foldr1 glb  -- | Bottom for a 'glb'.  In the form of @error \"glb: bottom (\<reason\>)\"@, -- though not really an error.@@ -57,7 +58,7 @@ instance (HasGlb a, HasGlb b) => HasGlb (Either a b) where   Left  a `glb` Left  a' = Left  (a `glb` a')   Right b `glb` Right b' = Right (b `glb` b')-  _ `glb` _ = glbBottom "glb: bottom (Left/Right mismatch)"+  _ `glb` _ = glbBottom "bottom (Left/Right mismatch)"   -- 'glb' on representations

@@ -9,7 +9,7 @@ -- Maintainer  :  conal@conal.net -- Stability   :  experimental -- --- Some lazier operations.+-- Some laxer operations. -- See <http://conal.net/blog/posts/lazier-functional-programming-part-2/> ----------------------------------------------------------------------