Package liquid-fixpoint version 0.9.6.3.1-0 component lib:liquid-fixpoint :: Monadoc

lib:liquid-fixpoint

Modules

Dependencies

aeson lib:aeson >=0
ansi-terminal lib:ansi-terminal >=0
array lib:array >=0
ascii-progress lib:ascii-progress >=0.3
async lib:async >=0
attoparsec lib:attoparsec >=0
base lib:base >=4.9.1.0 && <5
binary lib:binary >=0
boxes lib:boxes >=0
bytestring lib:bytestring >=0.10.2.1
cereal lib:cereal >=0
cmdargs lib:cmdargs >=0
containers lib:containers >=0
deepseq lib:deepseq >=0
directory lib:directory >=0
fgl lib:fgl >=0
filepath lib:filepath >=0
hashable lib:hashable >=0
intern lib:intern >=0
lens-family lib:lens-family >=0
megaparsec lib:megaparsec >=7.0.0 && <10
mtl lib:mtl >=0
parallel lib:parallel >=0
parser-combinators lib:parser-combinators >=0
pretty lib:pretty >=1.1.3.1
process lib:process >=0
rest-rewrite lib:rest-rewrite >=0.3.0
smtlib-backends lib:smtlib-backends >=0.3
smtlib-backends-process lib:smtlib-backends-process >=0.3
smtlib-backends-z3 lib:smtlib-backends-z3 >=0.3
stm lib:stm >=0
store lib:store >=0
syb lib:syb >=0
text lib:text >=0
transformers lib:transformers >=0
unordered-containers lib:unordered-containers >=0
vector lib:vector <0.14

Reverse dependencies

Direct only. Not exhaustive.

acme-everything lib:acme-everything
liquid-fixpoint exe:fixpoint
liquid-fixpoint exe:fixpoint.native
liquid-fixpoint test:test
liquidhaskell exe:liquid
liquidhaskell lib:liquidhaskell
target bench:bench
target lib:target
target test:test