Update from Hackage at 2019-11-01T17:24:36Z

commercialhaskell · Nov 1, 2019 · ea23439 · ea23439
1 parent f554a53
commit ea23439
Show file tree

Hide file tree

Showing 2 changed files with 87 additions and 0 deletions.
diff --git a/StrictCheck/0.2.1/StrictCheck.cabal b/StrictCheck/0.2.1/StrictCheck.cabal
@@ -0,0 +1,86 @@
+name:                StrictCheck
+version:             0.2.1
+synopsis:            StrictCheck: Keep Your Laziness In Check
+description: StrictCheck is a property-based random testing framework for
+             observing, specifying, and testing the strictness behaviors of Haskell
+             functions. Strictness behavior is traditionally considered a non-functional
+             property; StrictCheck allows it to be tested as if it were one, by reifying
+             demands on data structures so they can be manipulated and examined within
+             Haskell.
+homepage:            https://github.com/kwf/StrictCheck#readme
+license:             MIT
+license-file:        LICENSE
+author:              Kenneth Foner, Hengchu Zhang, and Leo Lampropoulos
+maintainer:          kwf@very.science
+copyright:           (c) 2018 Kenneth Foner, Hengchu Zhang, and Leo Lampropoulos
+category:            Testing
+build-type:          Simple
+cabal-version:       >=1.10
+extra-source-files:  README.md
+
+source-repository this
+  type: git
+  branch: master
+  tag: master
+  location: https://github.com/kwf/StrictCheck
+
+library
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+  build-depends:       base             >= 4.7   && < 5,
+                       QuickCheck       >= 2.10  && < 2.12,
+                       containers       >= 0.5   && < 0.7,
+                       generics-sop     >= 0.3.2 && < 0.4,
+                       bifunctors       >= 5.5   && < 5.6,
+                       template-haskell >= 2.12  && < 2.15
+  exposed-modules:     Test.StrictCheck
+                       Test.StrictCheck.Curry,
+                       Test.StrictCheck.Consume,
+                       Test.StrictCheck.Produce,
+                       Test.StrictCheck.Demand,
+                       Test.StrictCheck.Observe,
+                       Test.StrictCheck.Observe.Unsafe,
+                       Test.StrictCheck.Shaped,
+                       Test.StrictCheck.Shaped.Flattened,
+                       Test.StrictCheck.Internal.Inputs,
+                       Test.StrictCheck.Internal.Unevaluated,
+                       Test.StrictCheck.Internal.Shrink,
+                       Test.StrictCheck.Internal.Omega,
+                       Test.StrictCheck.TH,
+                       Test.StrictCheck.Examples.Lists,
+                       Test.StrictCheck.Examples.Map
+  default-extensions:  DataKinds, GADTs, BangPatterns, TypeFamilies, RankNTypes,
+                       AllowAmbiguousTypes, DefaultSignatures, TypeApplications,
+                       ScopedTypeVariables, FlexibleContexts,
+                       UndecidableInstances, ConstraintKinds, DeriveFunctor,
+                       FlexibleInstances, StandaloneDeriving, DeriveGeneric,
+                       DeriveAnyClass, TypeOperators, PolyKinds,
+                       GeneralizedNewtypeDeriving,
+                       ViewPatterns, LambdaCase, TupleSections, ImplicitParams,
+                       NamedFieldPuns, PatternSynonyms
+  ghc-options:         -Wall -Wno-unticked-promoted-constructors
+                       -Wredundant-constraints
+
+test-suite test-strictcheck
+  type:                 exitcode-stdio-1.0
+  hs-source-dirs:       tests
+  main-is:              Tests.hs
+  other-modules:        Specs, RefTrans
+  default-language:     Haskell2010
+  default-extensions:   DataKinds, GADTs, BangPatterns, TypeFamilies, RankNTypes,
+                        AllowAmbiguousTypes, UndecidableInstances,
+                        DefaultSignatures, TypeApplications, ScopedTypeVariables,
+                        FlexibleContexts, ConstraintKinds, DeriveFunctor,
+                        FlexibleInstances, StandaloneDeriving, DeriveGeneric,
+                        DeriveAnyClass, TypeOperators, PolyKinds, LambdaCase,
+                        TupleSections, TypeFamilyDependencies,
+                        MultiParamTypeClasses,
+                        GeneralizedNewtypeDeriving, ViewPatterns,
+                        PatternSynonyms
+  ghc-options:         -Wall -fno-warn-unused-imports -O2
+  build-depends:        base,
+                        HUnit,
+                        generics-sop,
+                        deepseq,
+                        StrictCheck,
+                        QuickCheck
diff --git a/StrictCheck/0.2.1/StrictCheck.json b/StrictCheck/0.2.1/StrictCheck.json
@@ -0,0 +1 @@
+{"package-hashes":{"MD5":"bf8c7a33d425c496919d6dc8531f8994","Skein512_512":"5b1153cf96469f701660ed7b775c9f7ffd5509bf55419960f5f3e7dceae9e24e942f33819abb6745fb34dac8522614eab7a95bcfdacd751cea8c20fb7becb3d7","SHA1":"0f0cb1ad5a2794a4bf25935d58b237d8e4bb9eae","SHA512":"d731cf4c75aab27de73d970af62036e5b7fc13696c12c090137480d93ae3f8c8a6eb5a203b058a58e10b3712cbaf99c2302970e7b449f297759904c2aa7a4cdb","SHA256":"587c1f8c704df3145aaf711641684ba9f5d4d3a419d573b58ae84c5509fccdf3"},"package-locations":["https://hackage.haskell.org/package/StrictCheck-0.2.1/StrictCheck-0.2.1.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/StrictCheck-0.2.1.tar.gz"],"package-size":37952}