unification-fd: Simple generic unification algorithms.

[ algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification ] [ Propose Tags ]

Simple generic unification algorithms.

[Skip to Readme]


Automatic Flags

base-4.0 emits "Prelude deprecated" messages in order to get people to be explicit about which version of base they use.


base-3.0 (GHC 6.8) broke out the packages: array, bytestring, containers, directory, old-locale, old-time, packedstring, pretty, process, random.


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 0.5.0, 0.6.0, 0.7.0, 0.8.0, 0.8.1, 0.9.0, 0.10.0,, 0.11.0, 0.11.1, 0.11.2
Dependencies base (>=4.5 && <4.7), containers, logict (>=0.4 && <0.8), mtl (>=2.0) [details]
License BSD-3-Clause
Copyright Copyright (c) 2007--2014 wren gayle romano
Author wren gayle romano
Maintainer wren@community.haskell.org
Revised Revision 1 made by phadej at 2023-08-11T18:12:02Z
Category Algebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification
Home page http://code.haskell.org/~wren/
Source repo head: darcs get http://community.haskell.org/~wren/unification-fd
Uploaded by WrenThornton at 2014-05-27T22:11:50Z
Distributions LTSHaskell:0.11.2, NixOS:0.11.2
Reverse Dependencies 4 direct, 1 indirect [details]
Downloads 10105 total (25 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]

Readme for unification-fd-0.8.1

[back to package description]

This is a simple package and should be easy to install. You should
be able to use one of the following standard methods to install it.

    -- With cabal-install and without the source:
    $> cabal install unification-fd
    -- With cabal-install and with the source already:
    $> cd unification-fd
    $> cabal install
    -- Without cabal-install, but with the source already:
    $> cd unification-fd
    $> runhaskell Setup.hs configure --user
    $> runhaskell Setup.hs build
    $> runhaskell Setup.hs test
    $> runhaskell Setup.hs haddock --hyperlink-source
    $> runhaskell Setup.hs copy
    $> runhaskell Setup.hs register

The test step is optional and currently does nothing. The Haddock
step is also optional. If you see some stray lines that look like

    mkUsageInfo: internal name? t{tv a7XM}

Feel free to ignore them. They shouldn't cause any problems, even
though they're unsightly. This should be fixed in newer versions
of GHC. For more details, see:


If you get a bunch of type errors about there being no MonadLogic
instance for StateT, this means that your copy of the logict library
is not compiled against the same mtl that we're using. To fix this,
update logict to use the same mtl.


An attempt has been made to keep this library as portable as possible,
but it does rely on some common language extensions (i.e., ones
implemented by Hugs as well as GHC) as well as a couple which are
only known to be supported by GHC. All required language extensions

    FunctionalDependencies -- Alas, necessary for type inference
    FlexibleContexts       -- Necessary for practical use of MPTCs
    FlexibleInstances      -- Necessary for practical use of MPTCs
    UndecidableInstances   -- Needed for Show instances due to two-level types

----------------------------------------------------------- fin.