lub 0.0.0 → 0.0.1

raw patch · 3 files changed

+9/−1 lines, 3 files

Files

lub.cabal +1/−1
src/Data/Lub.hs +6/−0
wikipage.tw +2/−0

lub.cabal view

@@ -1,5 +1,5 @@ Name:                lub-Version:             0.0.0+Version:             0.0.1 Cabal-Version:       >= 1.2 Synopsis:            least upper bounds -- information merging Category:            Concurrency, Data, Other

src/Data/Lub.hs view

@@ -21,6 +21,8 @@   , parCommute, por, pand, ptimes   ) where +import Control.Applicative (liftA2)+ import Data.Unamb  import Data.Repr@@ -84,6 +86,10 @@     where       ~(a ,b ) = p       ~(a',b') = p'++instance HasLub b => HasLub (a -> b) where+  lub = liftA2 lub+  instance (HasLub a, HasLub b) => HasLub (Either a b) where   u `lub` v = if isL u `unamb` isL v then

wikipage.tw view

@@ -13,3 +13,5 @@ <!-- * See the [[lub/Versions| version history]]. -->  Please leave comments at the [[Talk:lub|Talk page]].++I got inspired for this package after [http://tunes.org/~nef/logs/haskell/08.11.17 stimulating discussions] with Thomas Davie, Russell O'Connor others in the #haskell gang.