packages feed

cautious 0.1.0.0 → 0.3.0.0

raw patch · 8 files changed

+7/−103 lines, 8 filesdep −QuickCheckdep −cautiousdep −genvalidityPVP ok

version bump matches the API change (PVP)

Dependencies removed: QuickCheck, cautious, genvalidity, genvalidity-hspec, genvalidity-hspec-aeson, hspec, hspec-discover

API changes (from Hackage documentation)

- Cautious.Gen: instance (Data.GenValidity.GenUnchecked a, Data.GenValidity.GenUnchecked w, Data.GenValidity.GenUnchecked e) => Data.GenValidity.GenUnchecked (Cautious.Cautious.Cautious w e a)
- Cautious.Gen: instance (Data.GenValidity.GenValid a, Data.GenValidity.GenValid w, Data.GenValidity.GenValid e) => Data.GenValidity.GenValid (Cautious.Cautious.Cautious w e a)
- Cautious.Gen: instance Data.GenValidity.GenUnchecked (m (Cautious.Cautious.Cautious e w a)) => Data.GenValidity.GenUnchecked (Cautious.CautiousT.CautiousT e w m a)
- Cautious.Gen: instance Data.GenValidity.GenValid (m (Cautious.Cautious.Cautious e w a)) => Data.GenValidity.GenValid (Cautious.CautiousT.CautiousT e w m a)

Files

− ChangeLog.md
@@ -1,3 +0,0 @@-# Changelog for cautious--## Unreleased changes
− README.md
@@ -1,4 +0,0 @@-# Cautious--Cautious provides a monad Cautious w e, which keeps track of warnings `w` and errors `e` during calculations.-CautiousT w e m is a MonadTransform based on Cautious.
cautious.cabal view
@@ -2,10 +2,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 8b9da1a1772aa6520617ce70f5e13cc9e31103bb2406f4d33118650185b97a5b+-- hash: 7aafe21e08fef384e52cf4d726dd4728a5487503f548422324219d920e211d36  name:           cautious-version:        0.1.0.0+version:        0.3.0.0 synopsis:       Keep track of warnings and errors during calculations. description:    A Cautious monad "Monoid w => Cautious w e a" which keeps track of the success of a task. The options are "CautiousWarning w a" (where "CautiousWarning mempty a" represents "success") and "CautiousError e". In addition, there is a monadtransformer "Monad m, Monoid w => CautiousT w e m a" category:       Testing@@ -19,10 +19,6 @@ build-type:     Simple cabal-version:  >= 1.10 -extra-source-files:-    ChangeLog.md-    README.md- source-repository head   type: git   location: https://github.com/Nickske666/cautious@@ -33,44 +29,14 @@   default-extensions: NoImplicitPrelude   ghc-options: -Wall   build-depends:-      QuickCheck >=2.9 && <2.11-    , aeson+      aeson     , base >=4.10 && <5-    , genvalidity-    , genvalidity-hspec-aeson-    , hspec-    , hspec-discover     , transformers     , validity   exposed-modules:       Cautious.Cautious       Cautious.CautiousT-      Cautious.Gen   other-modules:       Import-      Paths_cautious-  default-language: Haskell2010--test-suite cautious-test-  type: exitcode-stdio-1.0-  main-is: Spec.hs-  hs-source-dirs:-      test/-  ghc-options: -threaded -rtsopts -with-rtsopts=-N-  build-depends:-      QuickCheck-    , aeson-    , base >=4.10 && <5-    , cautious-    , genvalidity-    , genvalidity-hspec-    , genvalidity-hspec-aeson-    , hspec-    , hspec-discover-    , transformers-    , validity-  other-modules:-      Cautious.CautiousSpec-      TestImport       Paths_cautious   default-language: Haskell2010
src/Cautious/CautiousT.hs view
@@ -3,7 +3,10 @@ {-# LANGUAGE KindSignatures #-} {-# LANGUAGE UndecidableInstances #-} -module Cautious.CautiousT where+module Cautious.CautiousT+    ( module Cautious.Cautious+    , module Cautious.CautiousT+    ) where  import Import 
− src/Cautious/Gen.hs
@@ -1,19 +0,0 @@-{-# LANGUAGE UndecidableInstances #-}-{-# OPTIONS_GHC -fno-warn-orphans #-}--module Cautious.Gen where--import Cautious.Cautious-import Cautious.CautiousT--import Data.GenValidity--instance (GenUnchecked a, GenUnchecked w, GenUnchecked e) =>-         GenUnchecked (Cautious w e a)--instance (GenValid a, GenValid w, GenValid e) => GenValid (Cautious w e a)--instance GenUnchecked (m (Cautious e w a)) =>-         GenUnchecked (CautiousT e w m a)--instance GenValid (m (Cautious e w a)) => GenValid (CautiousT e w m a)
− test/Cautious/CautiousSpec.hs
@@ -1,27 +0,0 @@-{-# LANGUAGE TypeApplications #-}--module Cautious.CautiousSpec-    ( spec-    ) where--import TestImport--import Cautious.Cautious-import Cautious.CautiousT-import Cautious.Gen ()--type CautiousExample = Cautious String String--type CautiousExampleT = CautiousT String String Maybe--spec :: Spec-spec = do-    genValidSpec @(CautiousExample Int)-    eqSpec @(CautiousExample Int)-    jsonSpecOnValid @(CautiousExample Int)-    functorSpecOnValid @CautiousExample-    applicativeSpecOnValid @CautiousExample-    monadSpecOnValid @CautiousExample-    functorSpecOnValid @CautiousExampleT-    applicativeSpecOnValid @CautiousExampleT-    monadSpecOnValid @CautiousExampleT
− test/Spec.hs
@@ -1,1 +0,0 @@-{-# OPTIONS_GHC -F -pgmF hspec-discover #-}
− test/TestImport.hs
@@ -1,11 +0,0 @@-module TestImport-    ( module X-    ) where--import Prelude as X--import Test.Hspec as X-import Test.QuickCheck as X--import Test.Validity as X-import Test.Validity.Aeson as X