name:                 logict
version:              0.8.2.0
visibility:           public
id:                   logict-0.8.2.0-J73ewkx4GMsBaTGQKnyalc
key:                  logict-0.8.2.0-J73ewkx4GMsBaTGQKnyalc
license:              BSD-3-Clause
copyright:
    (c) 2007-2014 Dan Doel,
    (c) 2011-2013 Edward Kmett,
    (c) 2014      Roman Cheplyaka,
    (c) 2020-2021 Andrew Lelechenko,
    (c) 2020-2021 Kevin Quick

maintainer:           Andrew Lelechenko <andrew.lelechenko@gmail.com>
author:               Dan Doel
homepage:             https://github.com/Bodigrim/logict#readme
synopsis:             A backtracking logic-programming monad.
description:
    Adapted from the paper
    <http://okmij.org/ftp/papers/LogicT.pdf Backtracking, Interleaving, and Terminating Monad Transformers>
    by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.

category:             Control
abi:                  5f727ee3bed140027f24b7dd91d235c2
exposed:              True
exposed-modules:      Control.Monad.Logic Control.Monad.Logic.Class
import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/logict-0.8.2.0-J73ewkx4GMsBaTGQKnyalc

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/logict-0.8.2.0-J73ewkx4GMsBaTGQKnyalc

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/logict-0.8.2.0-J73ewkx4GMsBaTGQKnyalc

dynamic-library-dirs: /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1
data-dir:             /usr/pkg/share/aarch64-netbsd-ghc-9.10.1/logict-0.8.2.0
hs-libraries:         HSlogict-0.8.2.0-J73ewkx4GMsBaTGQKnyalc
depends:
    base-4.20.0.0-inplace exceptions-0.10.7-inplace mtl-2.3.1-inplace
    transformers-0.6.1.1-inplace

haddock-interfaces:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/logict-0.8.2.0/html/logict.haddock

haddock-html:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/logict-0.8.2.0/html
