liquidhaskell: Liquid Types for Haskell

[ bsd3, language, library ] [ Propose Tags ]

Liquid Types for Haskell.

Modules

[Last Documentation]

  • Language
    • Haskell
      • Liquid
        • Language.Haskell.Liquid.ACSS
        • Language.Haskell.Liquid.ANFTransform
        • Language.Haskell.Liquid.Annotate
        • Language.Haskell.Liquid.Bare
        • Language.Haskell.Liquid.CTags
        • Language.Haskell.Liquid.CmdLine
        • Language.Haskell.Liquid.Constraint
        • Desugar
          • Language.Haskell.Liquid.Desugar.Check
          • Language.Haskell.Liquid.Desugar.Coverage
          • Language.Haskell.Liquid.Desugar.Desugar
          • Language.Haskell.Liquid.Desugar.DsArrows
          • Language.Haskell.Liquid.Desugar.DsBinds
          • Language.Haskell.Liquid.Desugar.DsExpr
          • Language.Haskell.Liquid.Desugar.DsForeign
          • Language.Haskell.Liquid.Desugar.DsGRHSs
          • Language.Haskell.Liquid.Desugar.DsListComp
          • Language.Haskell.Liquid.Desugar.DsMeta
          • Language.Haskell.Liquid.Desugar.DsUtils
          • Language.Haskell.Liquid.Desugar.HscMain
          • Language.Haskell.Liquid.Desugar.Match
          • Language.Haskell.Liquid.Desugar.MatchCon
          • Language.Haskell.Liquid.Desugar.MatchLit
        • Language.Haskell.Liquid.DiffCheck
        • Language.Haskell.Liquid.Errors
        • Language.Haskell.Liquid.Foreign
        • Language.Haskell.Liquid.Fresh
        • Language.Haskell.Liquid.GhcInterface
        • Language.Haskell.Liquid.GhcMisc
        • Language.Haskell.Liquid.List
        • Language.Haskell.Liquid.Measure
        • Language.Haskell.Liquid.Misc
        • Language.Haskell.Liquid.Parse
        • Language.Haskell.Liquid.PredType
        • Language.Haskell.Liquid.Prelude
        • Language.Haskell.Liquid.PrettyPrint
        • Language.Haskell.Liquid.Qualifier
        • Language.Haskell.Liquid.RefType
        • Language.Haskell.Liquid.Strata
        • Language.Haskell.Liquid.Tidy
        • Language.Haskell.Liquid.TransformRec
        • Language.Haskell.Liquid.Types
        • Language.Haskell.Liquid.World
  • Paths_liquidhaskell

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Versions [RSS] 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.2, 0.8.10.7, 0.9.0.2.1, 0.9.2.5.0, 0.9.2.8.0, 0.9.4.7.0, 0.9.6.3, 0.9.6.3.1, 0.9.8.1 (info)
Dependencies aeson, ansi-terminal, array, base (>=4 && <5), bifunctors, bytestring, cmdargs, containers, cpphs, data-default, deepseq, Diff, directory, filemanip, filepath, fingertree, ghc (>=7.8.3), ghc-paths, hashable, hpc, hscolour, intern, liquid-fixpoint (>=0.2 && <0.3), liquidhaskell, mtl, parsec, pretty, process, syb, template-haskell, text, time, unix, unordered-containers, vector [details]
License LicenseRef-GPL
Copyright 2010-13 Ranjit Jhala, University of California, San Diego.
Author Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer Ranjit Jhala <jhala@cs.ucsd.edu>
Revised Revision 1 made by EricSeidel at 2015-09-18T21:01:53Z
Category Language
Home page http://goto.ucsd.edu/liquidhaskell
Source repo head: git clone https://github.com/ucsd-progsys/liquidhaskell/
Uploaded by EricSeidel at 2014-09-03T04:31:38Z
Distributions
Reverse Dependencies 15 direct, 5 indirect [details]
Executables liquid
Downloads 23563 total (145 in the last 30 days)
Rating 2.5 (votes: 3) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-01 [all 5 reports]