The liquidhaskell package

[Tags:bsd3, library, program, test]

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, 0.6.0.1, 0.7.0.0, 0.8.0.0, 0.8.0.1 (info)
Dependencies aeson (>=0.10 && <1.0), array (>=0.5), base (>=4.9 && <5), bifunctors (>=5.1), binary, bytestring (>=0.10), Cabal (>=1.18), cereal, cmdargs (>=0.10), containers (>=0.5), data-default (>=0.5), deepseq (>=1.3), Diff (>=0.3), directory (>=1.2), exceptions (>=0.6), filepath (>=1.3), fingertree (>=0.1), ghc (==8.0.2), ghc-boot (==8.0.2), ghc-paths (>=0.1), ghc-prim, hashable (>=1.2), hint, hpc (>=0.6), hscolour (>=1.22), liquid-fixpoint (>=0.6), liquidhaskell, located-base, mtl (>=2.1), parsec (>=3.1), pretty (>=1.1), process (>=1.2), QuickCheck (>=2.7), syb (>=0.4.4), template-haskell (>=2.9), temporary (>=1.2), text (>=1.2), text-format, th-lift, time (>=1.4), transformers (>=0.3), unordered-containers (>=0.2), vector (>=0.10) [details]
License BSD3
Copyright 2010-17 Ranjit Jhala & Niki Vazou, University of California, San Diego.
Author Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer Ranjit Jhala <jhala@cs.ucsd.edu>
Category Language
Home page https://github.com/ucsd-progsys/liquidhaskell
Source repository head: git clone https://github.com/ucsd-progsys/liquidhaskell/
Uploaded Thu Jul 20 18:04:02 UTC 2017 by EricSeidel
Distributions NixOS:0.8.0.1
Downloads 2365 total (51 in the last 30 days)
Votes
2 []
Status Docs available [build log]
Last success reported on 2017-07-20 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
devel

turn on stricter error reporting for development

DisabledManual

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