liquidtypes-0.1: Liquid Types for Haskell

Modules

• Language
  • Haskell
    • Liquid
      • Language.Haskell.Liquid.ACSS
      • Language.Haskell.Liquid.ANFTransform
      • Language.Haskell.Liquid.Annotate
      • Language.Haskell.Liquid.Bare
      • Language.Haskell.Liquid.CTags
      • Language.Haskell.Liquid.CmdLine
      • Language.Haskell.Liquid.Constraint
      • Desugar
        • Language.Haskell.Liquid.Desugar.Desugar
        • Language.Haskell.Liquid.Desugar.DsArrows
        • Language.Haskell.Liquid.Desugar.DsBinds
        • Language.Haskell.Liquid.Desugar.DsExpr
        • Language.Haskell.Liquid.Desugar.DsGRHSs
        • Language.Haskell.Liquid.Desugar.DsListComp
        • 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.FileNames
      • Language.Haskell.Liquid.Fixpoint
      • Language.Haskell.Liquid.GhcInterface
      • Language.Haskell.Liquid.GhcMisc
      • Language.Haskell.Liquid.Measure
      • Language.Haskell.Liquid.Misc
      • Language.Haskell.Liquid.Parse
      • Language.Haskell.Liquid.PredType
      • Language.Haskell.Liquid.Predicates
      • Language.Haskell.Liquid.Qualifier
      • Language.Haskell.Liquid.RefType
      • Language.Haskell.Liquid.Tidy
      • Language.Haskell.Liquid.TransformRec