name: liquidhaskell version: 0.8.6.2 x-revision: 1 synopsis: Liquid Types for Haskell description: Liquid Types for Haskell. license: BSD3 license-file: LICENSE copyright: 2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego. author: Ranjit Jhala, Niki Vazou, Eric Seidel maintainer: Ranjit Jhala category: Language homepage: https://github.com/ucsd-progsys/liquidhaskell build-type: Simple extra-source-files: CHANGES.md README.md devel/Paths_liquidhaskell.hs tests/pos/*.hs tests/neg/*.hs tests/import/lib/*.hs tests/import/client/*.hs tests/errors/*.hs tests/pos/*.hquals tests/ffi-include/foo.c tests/ffi-include/foo.h data-files: include/*.hquals include/*.hs include/*.spec include/CoreToLogic.lg include/Control/*.spec include/Control/Parallel/*.spec include/Data/*.hquals include/Data/*.spec include/Data/Text/*.spec include/Data/Text/Fusion/*.spec include/Data/Text/Lazy/*.spec include/Data/ByteString/*.spec include/Foreign/*.spec include/Foreign/C/*.spec include/Foreign/Marshal/*.spec include/GHC/*.hquals include/GHC/*.spec include/GHC/IO/*.spec include/Language/Haskell/Liquid/*.hs include/Language/Haskell/Liquid/*.pred include/System/*.spec include/710/Data/*.spec syntax/liquid.css cabal-version: >= 1.22 source-repository head type: git location: https://github.com/ucsd-progsys/liquidhaskell/ flag devel default: False manual: True description: turn on stricter error reporting for development flag include default: False description: use in-tree include directory flag deterministic-profiling default: False description: Support building against GHC with backported library exposed-modules: Gradual.Concretize Gradual.GUI Gradual.GUI.Annotate Gradual.GUI.Misc Gradual.GUI.Types Gradual.Misc Gradual.PrettyPrinting Gradual.Refinements Gradual.Trivial Gradual.Types Gradual.Uniquify 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.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.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.Interface Language.Haskell.Liquid.GHC.Misc Language.Haskell.Liquid.GHC.Play Language.Haskell.Liquid.GHC.Resugar Language.Haskell.Liquid.GHC.SpanStack Language.Haskell.Liquid.GHC.TypeRep 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.Termination.Structural 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 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.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.Strata 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 hs-source-dirs: src, include build-depends: base >= 4.11.1.0 && < 5 , Diff >= 0.3 && < 0.4 , aeson , binary , bytestring >= 0.10 , cereal , cmdargs >= 0.10 , containers >= 0.5 , data-default >= 0.5 , deepseq >= 1.3 , directory >= 1.2 , filepath >= 1.3 , fingertree >= 0.1 , ghc , ghc-boot , ghc-paths >= 0.1 , ghc-prim , gitrev , hashable >= 1.2 , hscolour >= 1.22 , liquid-fixpoint >= 0.8.0.0 , mtl >= 2.1 , optparse-simple , githash , parsec >= 3.1 , pretty >= 1.1 , syb >= 0.4.4 , template-haskell >= 2.9 , temporary >= 1.2 , text >= 1.2 , time >= 1.4 , time , transformers >= 0.3 , unordered-containers >= 0.2 , vector >= 0.10 default-language: Haskell98 default-extensions: PatternGuards ghc-options: -W -fwarn-missing-signatures if flag(include) hs-source-dirs: devel if flag(deterministic-profiling) cpp-options: -DDETERMINISTIC_PROFILING executable liquid main-is: src/Liquid.hs build-depends: base >= 4.9.1.0 && < 5, liquidhaskell default-language: Haskell98 default-extensions: PatternGuards ghc-options: -W -threaded -fdefer-typed-holes executable gradual main-is: src/Gradual.hs build-depends: base >= 4.8.1.0 && < 5 , cmdargs , hscolour , liquid-fixpoint >= 0.7.0.5 , liquidhaskell default-language: Haskell2010 buildable: False ghc-options: -W -threaded executable target main-is: src/Target.hs build-depends: base >= 4.8.1.0 && < 5, hint, liquidhaskell default-language: Haskell2010 buildable: False test-suite test type: exitcode-stdio-1.0 main-is: test.hs other-modules: Paths_liquidhaskell hs-source-dirs: tests build-depends: base >= 4.8.1.0 && < 5 , containers >= 0.5 , directory >= 1.2 , filepath >= 1.3 , mtl >= 2.1 , optparse-applicative >= 0.11 , process >= 1.2 , stm >= 2.4 , tagged >= 0.7.3 , tasty >= 0.10 , tasty-ant-xml , tasty-hunit >= 0.9 , tasty-rerun >= 1.1 , text , transformers >= 0.3 default-language: Haskell98 ghc-options: -W -threaded test-suite liquidhaskell-parser type: exitcode-stdio-1.0 main-is: Parser.hs other-modules: Paths_liquidhaskell hs-source-dirs: tests build-depends: base >= 4.8.1.0 && < 5 , liquid-fixpoint >= 0.8.0.0 , liquidhaskell , parsec , syb , tasty >= 0.10 , tasty-ant-xml , tasty-hunit >= 0.9 default-language: Haskell2010 ghc-options: -W