The liquidhaskell package

[Tags:bsd3, library, program]

Liquid Types for Haskell.

Properties

Versions 0.1, 0.2.0.0, 0.2.1.0, 0.3.0.0, 0.3.1.0, 0.4.0.0, 0.4.0.1, 0.4.1.0, 0.4.1.1, 0.5.0.0, 0.5.0.1, 0.6.0.0
Dependencies aeson (>=0.10), array (>=0.5), base (==4.*), bifunctors (>=5.1), bytestring (>=0.10), Cabal (>=1.18), cereal, cmdargs (>=0.10), containers (>=0.5), cpphs (>=1.19), daemons, data-default (>=0.5), deepseq (>=1.3), Diff (>=0.3), directory (>=1.2), filepath (>=1.3), fingertree (>=0.1), ghc (>=7.10.2 && <7.11), ghc-paths (>=0.1), hashable (>=1.2), hpc (>=0.6), hscolour (>=1.22), liquid-fixpoint (==0.5.*), liquidhaskell, located-base, mtl (>=2.1), network, parsec (>=3.1), pretty (>=1.1), process (>=1.2), syb (>=0.4.4), template-haskell (>=2.9), temporary (>=1.2), text (>=1.2), time (>=1.4), unix, unordered-containers (>=0.2), vector (>=0.10) [details]
License BSD3
Copyright 2010-15 Ranjit Jhala, University of California, San Diego.
Author Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer Ranjit Jhala <jhala@cs.ucsd.edu>
Stability Unknown
Category Language
Home page http://goto.ucsd.edu/liquidhaskell
Source repository head: git clone https://github.com/ucsd-progsys/liquidhaskell/
Uploaded Tue Apr 5 22:28:38 UTC 2016 by EricSeidel
Distributions NixOS:0.6.0.0
Downloads 1592 total (34 in the last 30 days)
Votes
2 []
Status Docs available [build log]
Last success reported on 2016-04-05 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
develturn on stricter error reporting for developmentDisabledManual
includeuse in-tree include directoryDisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees