lub-0.0.1: lub.cabal
Name: lub
Version: 0.0.1
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: <http://haskell.org/haskellwiki/lub>
.
© 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.0
Exposed-Modules:
Data.Repr
Data.Lub
ghc-options: -Wall
-- ghc-prof-options: -prof -auto-all