Generate Haskell code from a type
117.31 KB
built 2026-10-14 00:03:17 GMT
Description
Djinn uses a theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is a library extracted from Djinn
sources.
Dependencies
24 totalRequires21
- libHSarray-0.5.8.0-inplace-ghc9.10.3.so()(64bit)
- libHSbase-4.20.2.0-inplace-ghc9.10.3.so()(64bit)
- libHScontainers-0.7-inplace-ghc9.10.3.so()(64bit)
- libHSdeepseq-1.5.0.0-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)
- 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-djinn-lib = 0.0.1.4-18.fc45
- ghc-djinn-lib(riscv-64) = 0.0.1.4-18.fc45
- libHSdjinn-lib-0.0.1.4-D0xbeoebmb7FVtQFFQNWPd-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/libHSdjinn-lib-0.0.1.4-D0xbeoebmb7FVtQFFQNWPd-ghc9.10.3.so | 573.39 KB |
| /usr/share/licenses/ghc-djinn-lib | 0.00 B |
| /usr/share/licenses/ghc-djinn-lib/LICENSE | 1.58 KB |
Files 1–3 of 3
Component of
buildroots that installed this RPMNo Buildroots