The latest version of liquidhaskell is 0.9.10.1-0.
lib:liquidhaskell
Modules
- Language.Haskell.Liquid.ACSS
- Language.Haskell.Liquid.ANFTransform
- Language.Haskell.Liquid.Annotate
- Language.Haskell.Liquid.Bare
- 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
- Language.Haskell.Liquid.Bounds
- Language.Haskell.Liquid.CTags
- Language.Haskell.Liquid.CmdLine
- Language.Haskell.Liquid.Constraint.Constraint
- Language.Haskell.Liquid.Constraint.Generate
- Language.Haskell.Liquid.Constraint.ToFixpoint
- Language.Haskell.Liquid.Constraint.Types
- Language.Haskell.Liquid.CoreToLogic
- 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.Dictionaries
- 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.GhcPlay
- Language.Haskell.Liquid.List
- Language.Haskell.Liquid.Literals
- 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.RefSplit
- Language.Haskell.Liquid.RefType
- Language.Haskell.Liquid.Simplify
- Language.Haskell.Liquid.Strata
- Language.Haskell.Liquid.Tidy
- Language.Haskell.Liquid.TransformRec
- Language.Haskell.Liquid.Types
- Language.Haskell.Liquid.Variance
- Language.Haskell.Liquid.Visitors
- Language.Haskell.Liquid.WiredIn
- Language.Haskell.Liquid.World
- Paths_liquidhaskell
Dependencies
- Diff lib:Diff >=0
- aeson lib:aeson >=0
- ansi-terminal lib:ansi-terminal >=0
- array lib:array >=0
- base lib:base >=0
- bifunctors lib:bifunctors >=0
- bytestring lib:bytestring >=0
- cmdargs lib:cmdargs >=0
- containers lib:containers >=0
- cpphs lib:cpphs >=0
- data-default lib:data-default >=0
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- filemanip lib:filemanip >=0
- filepath lib:filepath >=0
- fingertree lib:fingertree >=0
- ghc lib:ghc >=7.8.3
- ghc-paths lib:ghc-paths >=0
- hashable lib:hashable >=0
- hpc lib:hpc >=0
- hscolour lib:hscolour >=0
- intern lib:intern >=0
- liquid-fixpoint lib:liquid-fixpoint >=0.3 && <0.4
- mtl lib:mtl >=0
- parsec lib:parsec >=0
- pretty lib:pretty >=0
- process lib:process >=0
- syb lib:syb >=0
- template-haskell lib:template-haskell >=0
- text lib:text >=0
- time lib:time >=0
- unordered-containers lib:unordered-containers >=0
- vector lib:vector >=0
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