Name: lub Version: 0.0.2 Cabal-Version: >= 1.2 Synopsis: least upper bounds -- information merging Category: Concurrency, Data, Other Description: Lub is an experiment in computing least upper information bounds on (partially defined) functional values. It provides a 'lub' function that is consistent with the 'unamb' operator but has a more liberal precondition. Where 'unamb' requires its arguments to equal when neither is bottom, 'lub' is able to synthesize a value from the partial information contained in both of its arguments. . Project wiki page: . © 2008 by Conal Elliott; BSD3 license. Author: Conal Elliott Maintainer: conal@conal.net Homepage: http://haskell.org/haskellwiki/lub Package-Url: http://code.haskell.org/lub Copyright: (c) 2008 by Conal Elliott License: BSD3 Stability: experimental build-type: Simple Library hs-Source-Dirs: src Extensions: Build-Depends: base, unamb >= 0.1.2 Exposed-Modules: Data.Repr Data.Lub ghc-options: -Wall -- ghc-prof-options: -prof -auto-all