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 +0/−3
- README.md +0/−4
- cautious.cabal +3/−37
- src/Cautious/CautiousT.hs +4/−1
- src/Cautious/Gen.hs +0/−19
- test/Cautious/CautiousSpec.hs +0/−27
- test/Spec.hs +0/−1
- test/TestImport.hs +0/−11
− 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