----------------------------------------------------------------
-- wren gayle romano <wren@cpan.org>                ~ 2022.05.25
----------------------------------------------------------------

-- Hackage requires us to require Cabal-Version >=1.10; otherwise
-- things should be backwards compatible to >=1.2 (with the exception
-- of the tested-with and source-repository fields which were added
-- in >=1.6).
Cabal-Version:  >= 1.10
Build-Type:     Simple

Name:           unification-fd
Version:        0.11.2
x-revision: 1
Stability:      experimental
Homepage:       https://wrengr.org/software/hackage.html
Bug-Reports:    https://github.com/wrengr/unification-fd/issues
Author:         wren gayle romano
Maintainer:     wren@cpan.org
Copyright:      Copyright (c) 2007–2021 wren gayle romano
License:        BSD3
License-File:   LICENSE

Category:       Algebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification
Synopsis:       Simple generic unification algorithms.
Description:
    Generic functions for single-sorted first-order structural
    unification (think of programming in Prolog, or of the metavariables
    in type inference).

Extra-source-files:
    AUTHORS, README.md, CHANGELOG

-- This should work as far back as GHC 7.4.2, but we don't verify that by CI.
-- (No longer compiles with GHC-6.12.1 since "Data.Monoid" does not
-- export @(<>)@ in "Control.Unification.Types"; and adding the
-- backwards compatibility isn't worth adding CPP noise...)
-- <https://github.com/wrengr/unification-fd/actions?query=workflow%3Aci>
Tested-With:
    GHC ==8.0.2,
    GHC ==8.2.2,
    GHC ==8.4.4,
    GHC ==8.6.5,
    GHC ==8.8.4,
    GHC ==8.10.3,
    GHC ==9.0.1,
    GHC ==9.2.1

Source-Repository head
    Type:     git
    Location: https://github.com/wrengr/unification-fd.git

----------------------------------------------------------------
Library
    -- With Cabal-Version: >= 1.10, the Default-Language field is now required.
    Default-Language: Haskell98
    Hs-Source-Dirs:  src
    Exposed-Modules: Data.Functor.Fixedpoint
                   , Control.Monad.State.UnificationExtras
                   , Control.Monad.MaybeK
                   , Control.Monad.EitherK
                   , Control.Unification
                   , Control.Unification.Types
                   , Control.Unification.STVar
                   , Control.Unification.IntVar
                   , Control.Unification.Ranked
                   , Control.Unification.Ranked.STVar
                   , Control.Unification.Ranked.IntVar

                   -- N.B., logict 0.7.1 introduced breakage, but that
                   -- should be resolved now. Cf.,
                   -- <https://github.com/Bodigrim/logict/issues/20#issuecomment-774528439>
                   -- <https://github.com/wrengr/unification-fd/issues/14>
    Build-Depends:   logict       >= 0.4 && < 0.8.1
                   -- N.B., Tasty requires base>=4.5.0.0; which
                   -- means we aren't CI testing anything older than
                   -- that anymore, so we might as well just require
                   -- that version so we can remove the ancient base4
                   -- and splitBase build flags.
                   , base         >= 4.8 && < 5
                   , containers
                   -- Require mtl-2 instead of monads-fd; because
                   -- otherwise we get a clash mixing logict with
                   -- StateT. And we want stuff from monads-fd, so
                   -- we can't just fail over to the older mtl.
                   , mtl          >= 2.0

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