The unification-fd package

[Tags: bsd3, library]

Simple generic unification algorithms.


[Skip to ReadMe]

Properties

Versions0.5.0, 0.6.0, 0.7.0, 0.8.0, 0.8.1, 0.9.0, 0.10.0, 0.10.0.1
Change logNone available
Dependenciesbase (>=2.0 && <5), containers, logict (>=0.4), mtl (>=2.0) [details]
LicenseBSD3
CopyrightCopyright (c) 2007--2012 wren ng thornton
Authorwren ng thornton
Maintainerwren@community.haskell.org
Stabilityexperimental
CategoryAlgebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification
Home pagehttp://code.haskell.org/~wren/
Source repositoryhead: darcs get http://community.haskell.org/~wren/unification-fd
UploadedMon Mar 19 07:00:47 UTC 2012 by WrenThornton
DistributionsNixOS:0.10.0.1
Downloads1495 total (72 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Flags

NameDescriptionDefault
base4base-4.0 emits "Prelude deprecated" messages in order to get people to be explicit about which version of base they use.Enabled
splitbasebase-3.0 (GHC 6.8) broke out the packages: array, bytestring, containers, directory, old-locale, old-time, packedstring, pretty, process, random.Enabled

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for unification-fd-0.7.0

unification-fd
==============

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 install

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

    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:

    http://hackage.haskell.org/trac/ghc/ticket/3955

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.


Portability
===========

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
are:

    Rank2Types
    MultiParamTypeClasses
    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.