name:                 logict
version:              0.8.1.0
visibility:           public
id:                   logict-0.8.1.0-8l9CjKEzr2MIONMtsYfcQq
key:                  logict-0.8.1.0-8l9CjKEzr2MIONMtsYfcQq
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:                  3f4ff6543c84979040917cd57c05985b
exposed:              True
exposed-modules:      Control.Monad.Logic Control.Monad.Logic.Class
import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/logict-0.8.1.0-8l9CjKEzr2MIONMtsYfcQq

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/logict-0.8.1.0-8l9CjKEzr2MIONMtsYfcQq

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2/logict-0.8.1.0-8l9CjKEzr2MIONMtsYfcQq

dynamic-library-dirs: /usr/pkg/lib/aarch64-netbsd-ghc-9.8.2
data-dir:             /usr/pkg/share/aarch64-netbsd-ghc-9.8.2/logict-0.8.1.0
hs-libraries:         HSlogict-0.8.1.0-8l9CjKEzr2MIONMtsYfcQq
depends:
    base-4.19.1.0-inplace mtl-2.3.1-inplace
    transformers-0.6.1.0-inplace

haddock-interfaces:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.8.2/logict-0.8.1.0/html/logict.haddock

haddock-html:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.8.2/logict-0.8.1.0/html
