liquidhaskell: Liquid Types for Haskell

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Liquid Types for Haskell.


[Skip to Readme]

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, 0.8.0.2, 0.8.0.3, 0.8.0.5, 0.8.2.0, 0.8.2.2, 0.8.2.3, 0.8.2.4, 0.8.6.0, 0.8.6.2, 0.8.10.1, 0.8.10.1, 0.8.10.2, 0.8.10.7
Change log CHANGES.md
Dependencies aeson, base (>=4.11.1.0 && <5), binary, bytestring (>=0.10), Cabal (<3.3), cereal, cmdargs (>=0.10), containers (>=0.5), data-default (>=0.5), deepseq (>=1.3), Diff (>=0.3 && <0.4), directory (>=1.2), extra, filepath (>=1.3), fingertree (>=0.1), ghc, ghc-boot, ghc-paths (>=0.1), ghc-prim, githash, gitrev, hashable (>=1.3), hscolour (>=1.22), liquid-fixpoint (>=0.8.0.0), liquidhaskell, mtl (>=2.1), optics (>=0.2), optparse-simple, parsec (>=3.1), pretty (>=1.1), split, syb (>=0.4.4), template-haskell (>=2.9), temporary (>=1.2), text (>=1.2), time (>=1.4), transformers (>=0.3), unordered-containers (>=0.2), vector (>=0.10) [details]
License BSD-3-Clause
Copyright 2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, 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 repo head: git clone https://github.com/ucsd-progsys/liquidhaskell/
Uploaded by AlfredoDiNapoli at 2020-07-28T15:22:50Z

Modules

[Index]

Flags

Manual Flags

NameDescriptionDefault
no-plugin

Use the legacy executable for testing.

Disabled
mirror-modules-helper

Build the "mirror-modules" helper executable.

Disabled
Automatic Flags
NameDescriptionDefault
include

use in-tree include directory

Disabled
deterministic-profiling

Support building against GHC with https://phabricator.haskell.org/D4388 backported

Disabled

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


Readme for liquidhaskell-0.8.10.1

[back to package description]

LiquidHaskell

Hackage Hackage-Deps Build Status Windows build status

Documentation

Questions

If you have any questions