Package liquidhaskell version 0.8.6.2-1 component lib:liquidhaskell :: Monadoc

The latest version of liquidhaskell is 0.9.10.1-0.

lib:liquidhaskell

Modules

Dependencies

Diff lib:Diff >=0.3 && <0.4
aeson lib:aeson >=0
base lib:base >=4.11.1.0 && <5
binary lib:binary >=0
bytestring lib:bytestring >=0.10
cereal lib:cereal >=0
cmdargs lib:cmdargs >=0.10
containers lib:containers >=0.5
data-default lib:data-default >=0.5
deepseq lib:deepseq >=1.3
directory lib:directory >=1.2
filepath lib:filepath >=1.3
fingertree lib:fingertree >=0.1
ghc lib:ghc >=0
ghc-boot lib:ghc-boot >=0
ghc-paths lib:ghc-paths >=0.1
ghc-prim lib:ghc-prim >=0
githash lib:githash >=0
gitrev lib:gitrev >=0
hashable lib:hashable >=1.2
hscolour lib:hscolour >=1.22
liquid-fixpoint lib:liquid-fixpoint >=0.8.0.0
mtl lib:mtl >=2.1
optparse-simple lib:optparse-simple >=0
parsec lib:parsec >=3.1
pretty lib:pretty >=1.1
syb lib:syb >=0.4.4
template-haskell lib:template-haskell >=2.9
temporary lib:temporary >=1.2
text lib:text >=1.2
time lib:time >=0 && >=1.4
transformers lib:transformers >=0.3
unordered-containers lib:unordered-containers >=0.2
vector lib:vector >=0.10

Reverse dependencies

Direct only. Not exhaustive.

acme-everything lib:acme-everything
liquidhaskell exe:liquid
liquidhaskell test:test
target bench:bench
target lib:target
target test:test