Package cryptol version 3.1.0-0 component lib:cryptol :: Monadoc

The latest version of cryptol is 3.2.0-0.

lib:cryptol

Modules

Dependencies

GraphSCC lib:GraphSCC >=1.0.4
MemoTrie lib:MemoTrie >=0.6 && <0.7
Win32 lib:Win32 >=0
arithmoi lib:arithmoi >=0.12
array lib:array >=0.4
async lib:async >=2.2 && <2.3
base lib:base >=4.9 && <5
base-compat lib:base-compat >=0.6 && <0.13
bv-sized lib:bv-sized >=1.0 && <1.1
bytestring lib:bytestring >=0.10
containers lib:containers >=0.5
criterion-measurement lib:criterion-measurement >=0
cryptohash-sha1 lib:cryptohash-sha1 >=0.11 && <0.12
deepseq lib:deepseq >=1.3
directory lib:directory >=1.2.2.0
exceptions lib:exceptions >=0
filepath lib:filepath >=1.3
ghc-bignum lib:ghc-bignum >=1.0 && <1.4
ghc-prim lib:ghc-prim >=0
gitrev lib:gitrev >=1.0
heredoc lib:heredoc >=0.2
hgmp lib:hgmp >=0
integer-gmp lib:integer-gmp >=1.0 && <1.1
language-c99 lib:language-c99 >=0
language-c99-simple lib:language-c99-simple >=0
libBF lib:libBF >=0.6 && <0.7
libffi lib:libffi >=0.2
monad-control lib:monad-control >=1.0
monadLib lib:monadLib >=3.7.2
mtl lib:mtl >=2.2.1
panic lib:panic >=0.3
parameterized-utils lib:parameterized-utils >=2.0.2
pretty lib:pretty >=0
pretty-show lib:pretty-show >=0
prettyprinter lib:prettyprinter >=1.7.0
process lib:process >=1.2
sbv lib:sbv >=9.1 && <10.3
simple-smt lib:simple-smt >=0.9.7
stm lib:stm >=2.4
strict lib:strict >=0
text lib:text >=1.1
tf-random lib:tf-random >=0.5
time lib:time >=1.6.0.1
transformers-base lib:transformers-base >=0.4
unix lib:unix >=0
vector lib:vector >=0
what4 lib:what4 >=1.4 && <1.6

Reverse dependencies

Direct only. Not exhaustive.

acme-everything lib:acme-everything
cryptol bench:cryptol-bench
cryptol exe:cryptol
cryptol exe:cryptol-html
cryptol exe:cryptol-server