liquidhaskell-0.8.10.1: Liquid Types for Haskell

Signatures

Modules

• Gradual
  Submodules

  •  Gradual.Concretize
  •  Gradual.GUI
    Submodules

    •  Gradual.GUI.Annotate
    •  Gradual.GUI.Misc
    •  Gradual.GUI.Types
  •  Gradual.Misc
  •  Gradual.PrettyPrinting
  •  Gradual.Refinements
  •  Gradual.Trivial
  •  Gradual.Types
  •  Gradual.Uniquify
• Language
  Submodules

  • Haskell
    Submodules

    • Liquid
      Submodules

      •  Language.Haskell.Liquid.Bare
        Submodules

        •  Language.Haskell.Liquid.Bare.Axiom
        •  Language.Haskell.Liquid.Bare.Check
        •  Language.Haskell.Liquid.Bare.Class
        •  Language.Haskell.Liquid.Bare.DataType
        •  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.ToBare
        •  Language.Haskell.Liquid.Bare.Types
      •  Language.Haskell.Liquid.Cabal
      • Constraint
        Submodules

        •  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
      • GHC
        Submodules

        •  Language.Haskell.Liquid.GHC.API
        •  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
          Submodules

          •  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
      • Interactive
        Submodules

        •  Language.Haskell.Liquid.Interactive.Handler
        •  Language.Haskell.Liquid.Interactive.Types
      •  Language.Haskell.Liquid.LawInstances
      •  Language.Haskell.Liquid.Liquid
      •  Language.Haskell.Liquid.Measure
      •  Language.Haskell.Liquid.Misc
      •  Language.Haskell.Liquid.Parse
      •  Language.Haskell.Liquid.Synthesize
        Submodules

        •  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
      • Termination
        Submodules

        •  Language.Haskell.Liquid.Termination.Structural
      • Transforms
        Submodules

        •  Language.Haskell.Liquid.Transforms.ANF
        •  Language.Haskell.Liquid.Transforms.CoreToLogic
        •  Language.Haskell.Liquid.Transforms.Rec
        •  Language.Haskell.Liquid.Transforms.RefSplit
        •  Language.Haskell.Liquid.Transforms.Rewrite
        •  Language.Haskell.Liquid.Transforms.Simplify
      •  Language.Haskell.Liquid.Types
        Submodules

        •  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
        Submodules

        •  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