unification-fd-0.11.1: unification-fd.cabal
----------------------------------------------------------------
-- wren gayle romano <wren@community.haskell.org> ~ 2021.02.24
----------------------------------------------------------------
-- 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.1
Stability: experimental
Homepage: https://wrengr.org/software/hackage.html
Author: wren gayle romano
Maintainer: winterkoninkje@gmail.com
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).
-- No longer compiles with GHC-6.12.1 since Data.Monoid does not
-- export (<>) in Control.Unification.Types. The backwards compatibility
-- is not considered worth adding CPP noise...
-- FIXME(2021.02.24): versions 7.x are no longer available on GitHub
-- for CI (at least not on ubuntu-latest); so we should probably
-- remove them from here
-- FIXME(2021.02.24): version 9.0.1 is not yet cached on GitHub for CI either.
Tested-With:
GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3,
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
Extra-source-files:
AUTHORS, README.md, CHANGELOG
Source-Repository head
Type: git
Location: https://github.com/wrengr/unification-fd
----------------------------------------------------------------
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.7.2
-- 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.5 && < 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.