data-fin: Finite totally ordered sets

data-fin
========

While this package uses complex type machinery, it 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 data-fin
    
    -- With cabal-install and with the source already:
    $> cd data-fin
    $> cabal install
    
    -- Without cabal-install, but with the source already:
    $> cd data-fin
    $> 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.


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

While I usually try to keep things as portable as possible, this
package relies on many GHC language extensions. Thus, no claim of
portability ot non-GHC copilers is made. All the required language
extensions are:

CPP
DeriveDataTypeable
EmptyDataDecls
FlexibleContexts
FlexibleInstances
FunctionalDependencies
MultiParamTypeClasses
Rank2Types
ScopedTypeVariables
TypeOperators
Trustworthy  -- GHC >= 7.1 only
UndecidableInstances

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