Abstractunamb is a package containing the unambiguous choice operator
The agreement precondition ensures unamb's referential transparency.For more info about
Besides this wiki page, here are more ways to find out about unamb:
- Visit the Hackage page for library documentation and to download & install.
- Read related blog posts.
- Or install with cabal install unamb.
- Get the code repository: darcs get http://code.haskell.org/unamb.
See also the lub package, which extends unamb's usefulness with non-flat types.
As of version 0.1.1, unamb requires ghc 6.10 or better.
As of version 0.1.6, unamb correctly handles recursive termination of sub-efforts and automatic restarting, but only with the GHC RTS fixes that first appeared (stably, by my testing) in GHC HEAD version 6.11.20090115. The problems and solution can be found in a few places: