Version 0.8.10.7-0 of liquidhaskell is deprecated.
The latest version of liquidhaskell is 0.9.10.1-0.
lib:liquidhaskell
Modules
- KMeansHelper
- Language.Haskell.Liquid.Bag
- 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.Cabal
- 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.Split
- Language.Haskell.Liquid.Constraint.ToFixpoint
- Language.Haskell.Liquid.Constraint.Types
- Language.Haskell.Liquid.Equational
- Language.Haskell.Liquid.Foreign
- Language.Haskell.Liquid.GHC.API
- Language.Haskell.Liquid.GHC.API.StableModule
- Language.Haskell.Liquid.GHC.GhcMonadLike
- 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.Interactive.Handler
- Language.Haskell.Liquid.Interactive.Types
- Language.Haskell.Liquid.LawInstances
- Language.Haskell.Liquid.Liquid
- Language.Haskell.Liquid.List
- Language.Haskell.Liquid.Measure
- Language.Haskell.Liquid.Misc
- Language.Haskell.Liquid.Parse
- Language.Haskell.Liquid.Prelude
- Language.Haskell.Liquid.ProofCombinators
- Language.Haskell.Liquid.RTick
- Language.Haskell.Liquid.RTick.Combinators
- Language.Haskell.Liquid.String
- Language.Haskell.Liquid.Synthesize
- Language.Haskell.Liquid.Synthesize.Check
- Language.Haskell.Liquid.Synthesize.Env
- Language.Haskell.Liquid.Synthesize.GHC
- Language.Haskell.Liquid.Synthesize.Generate
- Language.Haskell.Liquid.Synthesize.Misc
- Language.Haskell.Liquid.Synthesize.Monad
- Language.Haskell.Liquid.Synthesize.Termination
- Language.Haskell.Liquid.Termination.Structural
- 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
- 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.Tidy
- Language.Haskell.Liquid.WiredIn
- LiquidHaskell
- Paths_liquidhaskell
Dependencies
- Cabal lib:Cabal <3.5
- Diff lib:Diff >=0.3 && <0.5
- aeson lib:aeson >=0
- base lib:base >=4.11.1.0 && <5
- binary lib:binary >=0
- bytestring lib:bytestring >=0.10
- cereal lib:cereal >=0
- cmdargs lib:cmdargs >=0.10
- containers lib:containers >=0.5
- data-default lib:data-default >=0.5
- data-fix lib:data-fix >=0
- deepseq lib:deepseq >=1.3
- directory lib:directory >=1.2
- exceptions lib:exceptions <0.11
- extra lib:extra >=0
- filepath lib:filepath >=1.3
- fingertree lib:fingertree >=0.1
- free lib:free >=0
- ghc lib:ghc >=0
- ghc-boot lib:ghc-boot >=0
- ghc-paths lib:ghc-paths >=0.1
- ghc-prim lib:ghc-prim >=0
- githash lib:githash >=0
- gitrev lib:gitrev >=0
- hashable lib:hashable >=1.3 && <1.3.4
- hscolour lib:hscolour >=1.22
- liquid-fixpoint lib:liquid-fixpoint >=0.8.10.2.1 && <0.9
- megaparsec lib:megaparsec >=8
- mtl lib:mtl >=2.1
- optics lib:optics >=0.2
- optparse-applicative lib:optparse-applicative <0.16.0.0 && <0.16.0.0
- optparse-simple lib:optparse-simple >=0
- pretty lib:pretty >=1.1
- recursion-schemes lib:recursion-schemes <=5.2.2
- split lib:split >=0
- syb lib:syb >=0.4.4
- template-haskell lib:template-haskell >=2.9
- temporary lib:temporary >=1.2
- text lib:text >=1.2
- th-compat lib:th-compat <0.2
- time lib:time >=0 && >=1.4
- transformers lib:transformers >=0.3
- unordered-containers lib:unordered-containers >=0.2.11
- vector lib:vector >=0.10
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- liquidhaskell exe:liquid
- liquidhaskell test:test
- target bench:bench
- target lib:target
- target test:test