Package liquidhaskell version 0.8.2.4-0 component lib:liquidhaskell :: Monadoc

The latest version of liquidhaskell is 0.9.10.1-0.

lib:liquidhaskell

Modules

Dependencies

Cabal lib:Cabal >=1.18
Diff lib:Diff >=0.3
QuickCheck lib:QuickCheck >=2.7
aeson lib:aeson >=1.2 && <1.3
array lib:array >=0.5
base lib:base >=4.8.1.0 && <5
bifunctors lib:bifunctors >=5.1
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
exceptions lib:exceptions >=0.6
filepath lib:filepath >=1.3
fingertree lib:fingertree >=0.1
ghc lib:ghc ==8.2.2
ghc-boot lib:ghc-boot ==8.2.2
ghc-paths lib:ghc-paths >=0.1
ghc-prim lib:ghc-prim >=0
gitrev lib:gitrev >=0
hashable lib:hashable >=1.2
hpc lib:hpc >=0.6 && >=0.6
hscolour lib:hscolour >=1.22
liquid-fixpoint lib:liquid-fixpoint >=0.7.0.7
located-base lib:located-base >=0
mtl lib:mtl >=2.1
optparse-simple lib:optparse-simple >=0
parsec lib:parsec >=3.1
pretty lib:pretty >=1.1
process lib:process >=1.2
syb lib:syb >=0.4.4
template-haskell lib:template-haskell >=2.9
temporary lib:temporary >=1.2
text lib:text >=1.2
text-format lib:text-format >=0
th-lift lib:th-lift >=0
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