liquidhaskell-boot: Liquid Types for Haskell

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

This package provides a plugin to verify Haskell programs. But most likely you should be using the liquidhaskell package instead, which rexports this plugin together with necessary specifications for definitions in the boot libraries.

Modules

[Last Documentation]

  • Language
    • Haskell
      • Liquid
        • Language.Haskell.Liquid.Bare
          • Language.Haskell.Liquid.Bare.Axiom
          • Language.Haskell.Liquid.Bare.Check
          • Language.Haskell.Liquid.Bare.Class
          • Language.Haskell.Liquid.Bare.DataType
          • Language.Haskell.Liquid.Bare.Elaborate
          • Language.Haskell.Liquid.Bare.Expand
          • Language.Haskell.Liquid.Bare.Laws
          • Language.Haskell.Liquid.Bare.Measure
          • Language.Haskell.Liquid.Bare.Misc
          • Language.Haskell.Liquid.Bare.Plugged
          • Language.Haskell.Liquid.Bare.Resolve
          • Language.Haskell.Liquid.Bare.Slice
          • Language.Haskell.Liquid.Bare.ToBare
          • Language.Haskell.Liquid.Bare.Typeclass
          • Language.Haskell.Liquid.Bare.Types
        • Language.Haskell.Liquid.CSS
        • Language.Haskell.Liquid.Cabal
        • Constraint
          • Language.Haskell.Liquid.Constraint.Constraint
          • Language.Haskell.Liquid.Constraint.Env
          • Language.Haskell.Liquid.Constraint.Fresh
          • Language.Haskell.Liquid.Constraint.Generate
          • Language.Haskell.Liquid.Constraint.Init
          • Language.Haskell.Liquid.Constraint.Monad
          • Language.Haskell.Liquid.Constraint.Qualifier
          • Language.Haskell.Liquid.Constraint.Relational
          • Language.Haskell.Liquid.Constraint.Split
          • Language.Haskell.Liquid.Constraint.Template
          • Language.Haskell.Liquid.Constraint.Termination
          • Language.Haskell.Liquid.Constraint.ToFixpoint
          • Language.Haskell.Liquid.Constraint.Types
        • GHC
          • Language.Haskell.Liquid.GHC.CoreToLogic
          • Language.Haskell.Liquid.GHC.Interface
          • Language.Haskell.Liquid.GHC.Logging
          • Language.Haskell.Liquid.GHC.Misc
          • Language.Haskell.Liquid.GHC.Play
          • Language.Haskell.Liquid.GHC.Plugin
            • Language.Haskell.Liquid.GHC.Plugin.Tutorial
          • Language.Haskell.Liquid.GHC.Resugar
          • Language.Haskell.Liquid.GHC.SpanStack
          • Language.Haskell.Liquid.GHC.TypeRep
          • Language.Haskell.Liquid.GHC.Types
        • Language.Haskell.Liquid.LawInstances
        • Language.Haskell.Liquid.Liquid
        • Language.Haskell.Liquid.Measure
        • Language.Haskell.Liquid.Misc
        • Language.Haskell.Liquid.Parse
        • Termination
          • Language.Haskell.Liquid.Termination.Structural
        • Transforms
          • Language.Haskell.Liquid.Transforms.ANF
          • Language.Haskell.Liquid.Transforms.CoreToLogic
          • Language.Haskell.Liquid.Transforms.InlineAux
          • Language.Haskell.Liquid.Transforms.Rec
          • Language.Haskell.Liquid.Transforms.RefSplit
          • Language.Haskell.Liquid.Transforms.Rewrite
          • Language.Haskell.Liquid.Transforms.Simplify
        • Language.Haskell.Liquid.Types
          • Language.Haskell.Liquid.Types.Bounds
          • Language.Haskell.Liquid.Types.Dictionaries
          • Language.Haskell.Liquid.Types.Equality
          • Language.Haskell.Liquid.Types.Errors
          • Language.Haskell.Liquid.Types.Fresh
          • Language.Haskell.Liquid.Types.Generics
          • 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.Specs
          • Language.Haskell.Liquid.Types.Types
          • 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.QuasiQuoter
          • Language.Haskell.Liquid.UX.SimpleVersion
          • Language.Haskell.Liquid.UX.Tidy
        • Language.Haskell.Liquid.WiredIn
  • Liquid
    • GHC
      • Liquid.GHC.API
        • Liquid.GHC.API.Extra
        • Liquid.GHC.API.StableModule
  • LiquidHaskellBoot
  • Paths_liquidhaskell_boot

Flags

Manual Flags

NameDescriptionDefault
devel

Enable more warnings and fail compilation when warnings occur. Turn this flag on in CI.

Disabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.9.2.5.0, 0.9.2.8.0, 0.9.4.7.0, 0.9.6.3, 0.9.8.1, 0.9.8.2, 0.9.10.1
Dependencies aeson, base (>=4.11.1.0 && <5), binary, bytestring (>=0.10), Cabal, cereal, cmdargs (>=0.10), containers (>=0.5), data-default (>=0.5), data-fix, deepseq (>=1.3), Diff (>=0.3 && <0.6), directory (>=1.2), exceptions (<0.11), extra, filepath (>=1.3), fingertree (>=0.1), free, ghc (>=9.10 && <9.11), ghc-boot, ghc-prim, githash, gitrev, hashable (>=1.3 && <1.5), hscolour (>=1.22), liquid-fixpoint (==0.9.6.3.1), megaparsec (>=8), mtl (>=2.1), optparse-applicative (<0.19), pretty (>=1.1), recursion-schemes (<5.3), split, syb (>=0.4.4), template-haskell (>=2.9), temporary (>=1.2), text (>=1.2), th-compat (<0.2), time (>=1.4), transformers (>=0.3), unordered-containers (>=0.2.11), vector (>=0.10) [details]
Tested with ghc ==9.10.1
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 FacundoDominguez at 2024-08-21T15:57:43Z
Distributions
Reverse Dependencies 1 direct, 20 indirect [details]
Downloads 655 total (65 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2024-08-21 [all 2 reports]