liquidhaskell: Liquid Types for Haskell

[ bsd3, language, library, program ] [ Propose Tags ]

Liquid Types for Haskell.

Versions [faq] 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 (info)
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 BSD-3-Clause
Copyright 2010-15 Ranjit Jhala, University of California, San Diego.
Author Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer Ranjit Jhala <jhala@cs.ucsd.edu>
Category Language
Home page http://goto.ucsd.edu/liquidhaskell
Source repo head: git clone https://github.com/ucsd-progsys/liquidhaskell/
Uploaded by EricSeidel at Thu Jul 20 17:48:00 UTC 2017
Distributions
Executables lhi, liquid
Downloads 10148 total (375 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2017-07-20 [all 3 reports]

Modules

  • Language
    • Haskell
      • Liquid
        • Language.Haskell.Liquid.Bare
          • Language.Haskell.Liquid.Bare.Axiom
          • Language.Haskell.Liquid.Bare.Check
          • Language.Haskell.Liquid.Bare.DataType
          • Language.Haskell.Liquid.Bare.Env
          • Language.Haskell.Liquid.Bare.Existential
          • Language.Haskell.Liquid.Bare.Expand
          • Language.Haskell.Liquid.Bare.GhcSpec
          • Language.Haskell.Liquid.Bare.Lookup
          • Language.Haskell.Liquid.Bare.Measure
          • Language.Haskell.Liquid.Bare.Misc
          • Language.Haskell.Liquid.Bare.OfType
          • Language.Haskell.Liquid.Bare.Plugged
          • Language.Haskell.Liquid.Bare.RTEnv
          • Language.Haskell.Liquid.Bare.RefToLogic
          • Language.Haskell.Liquid.Bare.Resolve
          • Language.Haskell.Liquid.Bare.Spec
          • Language.Haskell.Liquid.Bare.SymSort
        • Constraint
          • Language.Haskell.Liquid.Constraint.Axioms
          • Language.Haskell.Liquid.Constraint.Constraint
          • Language.Haskell.Liquid.Constraint.Env
          • Language.Haskell.Liquid.Constraint.Fresh
          • Language.Haskell.Liquid.Constraint.Generate
          • Language.Haskell.Liquid.Constraint.Monad
          • Language.Haskell.Liquid.Constraint.ProofToCore
          • Language.Haskell.Liquid.Constraint.Qualifier
          • Language.Haskell.Liquid.Constraint.Split
          • Language.Haskell.Liquid.Constraint.ToFixpoint
          • Language.Haskell.Liquid.Constraint.Types
        • Desugar710
          • Language.Haskell.Liquid.Desugar710.Check
          • Language.Haskell.Liquid.Desugar710.Coverage
          • Language.Haskell.Liquid.Desugar710.Desugar
          • Language.Haskell.Liquid.Desugar710.DsArrows
          • Language.Haskell.Liquid.Desugar710.DsBinds
          • Language.Haskell.Liquid.Desugar710.DsCCall
          • Language.Haskell.Liquid.Desugar710.DsExpr
          • Language.Haskell.Liquid.Desugar710.DsForeign
          • Language.Haskell.Liquid.Desugar710.DsGRHSs
          • Language.Haskell.Liquid.Desugar710.DsListComp
          • Language.Haskell.Liquid.Desugar710.DsMeta
          • Language.Haskell.Liquid.Desugar710.DsUtils
          • Language.Haskell.Liquid.Desugar710.HscMain
          • Language.Haskell.Liquid.Desugar710.Match
          • Language.Haskell.Liquid.Desugar710.MatchCon
          • Language.Haskell.Liquid.Desugar710.MatchLit
        • Language.Haskell.Liquid.Foreign
        • GHC
          • Language.Haskell.Liquid.GHC.Interface
          • Language.Haskell.Liquid.GHC.Misc
          • Language.Haskell.Liquid.GHC.Play
          • Language.Haskell.Liquid.GHC.SpanStack
        • Interactive
          • Language.Haskell.Liquid.Interactive.Handler
          • Language.Haskell.Liquid.Interactive.Types
        • Language.Haskell.Liquid.Liquid
        • Language.Haskell.Liquid.List
        • Language.Haskell.Liquid.Measure
        • Language.Haskell.Liquid.Misc
        • Language.Haskell.Liquid.Parse
        • Language.Haskell.Liquid.Prelude
        • Prover
          • Language.Haskell.Liquid.Prover.Constants
          • Language.Haskell.Liquid.Prover.Misc
          • Language.Haskell.Liquid.Prover.Names
          • Language.Haskell.Liquid.Prover.Parser
          • Language.Haskell.Liquid.Prover.Pretty
          • Language.Haskell.Liquid.Prover.SMTInterface
          • Language.Haskell.Liquid.Prover.Solve
          • Language.Haskell.Liquid.Prover.Types
        • Transforms
          • Language.Haskell.Liquid.Transforms.ANF
          • Language.Haskell.Liquid.Transforms.CoreToLogic
          • Language.Haskell.Liquid.Transforms.Rec
          • Language.Haskell.Liquid.Transforms.RefSplit
          • Language.Haskell.Liquid.Transforms.Simplify
        • Language.Haskell.Liquid.Types
          • Language.Haskell.Liquid.Types.Bounds
          • Language.Haskell.Liquid.Types.Dictionaries
          • Language.Haskell.Liquid.Types.Errors
          • Language.Haskell.Liquid.Types.Literals
          • Language.Haskell.Liquid.Types.Meet
          • Language.Haskell.Liquid.Types.Names
          • Language.Haskell.Liquid.Types.PredType
          • Language.Haskell.Liquid.Types.PrettyPrint
          • Language.Haskell.Liquid.Types.RefType
          • Language.Haskell.Liquid.Types.Specifications
          • Language.Haskell.Liquid.Types.Strata
          • Language.Haskell.Liquid.Types.Variance
          • Language.Haskell.Liquid.Types.Visitors
        • UX
          • Language.Haskell.Liquid.UX.ACSS
          • Language.Haskell.Liquid.UX.Annotate
          • Language.Haskell.Liquid.UX.CTags
          • Language.Haskell.Liquid.UX.CmdLine
          • Language.Haskell.Liquid.UX.Config
          • Language.Haskell.Liquid.UX.DiffCheck
          • Language.Haskell.Liquid.UX.Errors
          • Language.Haskell.Liquid.UX.Tidy
        • Language.Haskell.Liquid.WiredIn
  • Paths_liquidhaskell

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