A backtracking logic-programming monad
65.31 KB
built 2026-10-14 01:00:06 GMT
Description
A continuation-based, backtracking, logic programming monad.
An adaptation of the two-continuation implementation found
in the paper "Backtracking, Interleaving, and Terminating
Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>.
Dependencies
25 totalRequires22
- libHSarray-0.5.8.0-inplace-ghc9.10.3.so()(64bit)
- libHSbase-4.20.2.0-inplace-ghc9.10.3.so()(64bit)
- libHSdeepseq-1.5.0.0-inplace-ghc9.10.3.so()(64bit)
- libHSexceptions-0.10.9-inplace-ghc9.10.3.so()(64bit)
- libHSghc-bignum-1.3-inplace-ghc9.10.3.so()(64bit)
- libHSghc-boot-th-9.10.3-inplace-ghc9.10.3.so()(64bit)
- libHSghc-internal-9.1003.0-inplace-ghc9.10.3.so()(64bit)
- libHSghc-prim-0.12.0-inplace-ghc9.10.3.so()(64bit)
- libHSmtl-2.3.1-inplace-ghc9.10.3.so()(64bit)
- libHSpretty-1.1.3.6-inplace-ghc9.10.3.so()(64bit)
- libHSstm-2.5.3.1-inplace-ghc9.10.3.so()(64bit)
- libHStemplate-haskell-2.22.0.0-inplace-ghc9.10.3.so()(64bit)
- libHStransformers-0.6.1.1-inplace-ghc9.10.3.so()(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.27)(64bit)
- libgmp.so.10()(64bit)
- libm.so.6()(64bit)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1
- rtld(GNU_HASH)
Provides3
- ghc-logict = 0.8.2.0-6.fc45
- ghc-logict(riscv-64) = 0.8.2.0-6.fc45
- libHSlogict-0.8.2.0-8xWD91dbTbBpRHVgTg2mk-ghc9.10.3.so()(64bit)
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
3Name  |
Size |
|---|---|
| /usr/lib64/ghc-9.10.3/lib/libHSlogict-0.8.2.0-8xWD91dbTbBpRHVgTg2mk-ghc9.10.3.so | 314.51 KB |
| /usr/share/licenses/ghc-logict | 0.00 B |
| /usr/share/licenses/ghc-logict/LICENSE | 1.59 KB |
Files 1–3 of 3
Component of
buildroots that installed this RPMBuildroot  |
Created | State |
|---|---|---|
| f45-build-10801-424 | 2026-10-14 03:04:02 | expired |
Buildroots 1–1 of 1