liquidhaskell-boot

Liquid Types for Haskell

https://github.com/ucsd-progsys/liquidhaskell

LTS Haskell 24.28:	0.9.10.1.2@rev:1
Stackage Nightly 2026-01-18:	0.9.12.2.1
Latest on Hackage:	0.9.12.2.1

See all snapshots liquidhaskell-boot appears in

BSD-3-Clause licensed by Ranjit Jhala, Niki Vazou, Eric Seidel

Maintained by Ranjit Jhala

This version can be pinned in stack with:liquidhaskell-boot-0.9.12.2.1@sha256:4d5eba2bb7fead5255baa073219fd24215c11a198a7f41d88e36db2946b51d4c,10251

Module documentation for 0.9.12.2.1

Language
- Language.Haskell
  - 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.Measure
      - Language.Haskell.Liquid.Bare.Misc
      - Language.Haskell.Liquid.Bare.Plugged
      - Language.Haskell.Liquid.Bare.Resolve
      - Language.Haskell.Liquid.Bare.ToBare
      - Language.Haskell.Liquid.Bare.Typeclass
      - Language.Haskell.Liquid.Bare.Types
    - Language.Haskell.Liquid.CSS
    - Language.Haskell.Liquid.Cabal
    - Language.Haskell.Liquid.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.RewriteCase
      - 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
    - Language.Haskell.Liquid.GHC
      - 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.LHNameResolution
    - Language.Haskell.Liquid.Liquid
    - Language.Haskell.Liquid.Measure
    - Language.Haskell.Liquid.Misc
    - Language.Haskell.Liquid.Name
      - Language.Haskell.Liquid.Name.LogicNameEnv
    - Language.Haskell.Liquid.Parse
    - Language.Haskell.Liquid.Termination
      - Language.Haskell.Liquid.Termination.Structural
    - Language.Haskell.Liquid.Transforms
      - Language.Haskell.Liquid.Transforms.ANF
      - Language.Haskell.Liquid.Transforms.CoreToLogic
      - Language.Haskell.Liquid.Transforms.InlineAux
      - 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.DataDecl
      - 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.RType
      - Language.Haskell.Liquid.Types.RTypeOp
      - 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
    - Language.Haskell.Liquid.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
- Liquid.GHC
  - Liquid.GHC.API
    - Liquid.GHC.API.Compat
    - Liquid.GHC.API.Extra
    - Liquid.GHC.API.StableModule
LiquidHaskellBoot
Paths_liquidhaskell_boot

Depends on 39 packages(full list with versions):

Used by 1 package in nightly-2026-01-18(full list with versions):

liquidhaskell

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.