cursor-fuzzy-time-gen (empty) → 0.0.0.0

raw patch · 11 files changed

+299/−0 lines, 11 filesdep +QuickCheckdep +basedep +containerssetup-changed

Dependencies added: QuickCheck, base, containers, criterion, cursor-fuzzy-time, cursor-fuzzy-time-gen, cursor-gen, deepseq, fuzzy-time, fuzzy-time-gen, genvalidity, genvalidity-criterion, genvalidity-hspec, genvalidity-hspec-optics, genvalidity-time, hspec, megaparsec, text, time

Files

• LICENSE +21/−0
• Setup.hs +3/−0
• bench/Bench.hs +22/−0
• cursor-fuzzy-time-gen.cabal +87/−0
• src/Cursor/FuzzyDay/Gen.hs +16/−0
• src/Cursor/FuzzyLocalTime/Gen.hs +17/−0
• src/Cursor/FuzzyTimeOfDay/Gen.hs +16/−0
• test/Cursor/FuzzyDaySpec.hs +36/−0
• test/Cursor/FuzzyLocalTimeSpec.hs +44/−0
• test/Cursor/FuzzyTimeOfDaySpec.hs +36/−0
• test/Spec.hs +1/−0

@@ -0,0 +1,21 @@+MIT License++Copyright (c) 2017-2020 Tom Sydney Kerckhove++Permission is hereby granted, free of charge, to any person obtaining a copy+of this software and associated documentation files (the "Software"), to deal+in the Software without restriction, including without limitation the rights+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the Software is+furnished to do so, subject to the following conditions:++The above copyright notice and this permission notice shall be included in all+copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE+SOFTWARE.

@@ -0,0 +1,3 @@+import Distribution.Simple++main = defaultMain

@@ -0,0 +1,22 @@+{-# LANGUAGE TypeApplications #-}++module Main where++import Criterion.Main as Criterion++import Data.GenValidity.Criterion++import Cursor.FuzzyDay+import Cursor.FuzzyDay.Gen ()+import Cursor.FuzzyLocalTime+import Cursor.FuzzyLocalTime.Gen ()+import Cursor.FuzzyTimeOfDay+import Cursor.FuzzyTimeOfDay.Gen ()++main :: IO ()+main =+  Criterion.defaultMain+    [ genValidBench @FuzzyDayCursor+    , genValidBench @FuzzyLocalTimeCursor+    , genValidBench @FuzzyTimeOfDayCursor+    ]

@@ -0,0 +1,87 @@+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.33.0.+--+-- see: https://github.com/sol/hpack+--+-- hash: 6e24e29e40687b3222d1ff320499f360a01a7a4956719fe9097bf01a83cb1b08++name:           cursor-fuzzy-time-gen+version:        0.0.0.0+description:    Generators for the fuzzy time cursors+category:       Time+homepage:       https://github.com/NorfairKing/fuzzy-time+author:         Tom Sydney Kerckhove+maintainer:     syd@cs-syd.eu+copyright:      Copyright: (c) 2017-2020 Tom Sydney Kerckhove+license:        MIT+license-file:   LICENSE+build-type:     Simple++library+  exposed-modules:+      Cursor.FuzzyDay.Gen+      Cursor.FuzzyLocalTime.Gen+      Cursor.FuzzyTimeOfDay.Gen+  other-modules:+      Paths_cursor_fuzzy_time_gen+  hs-source-dirs:+      src/+  ghc-options: -Wall+  build-depends:+      base >=4.9 && <=5+    , containers+    , cursor-fuzzy-time+    , cursor-gen+    , deepseq+    , fuzzy-time+    , fuzzy-time-gen+    , genvalidity+    , genvalidity-time+    , megaparsec+    , time+  default-language: Haskell2010++test-suite cursor-fuzzy-time-test+  type: exitcode-stdio-1.0+  main-is: Spec.hs+  other-modules:+      Cursor.FuzzyDaySpec+      Cursor.FuzzyLocalTimeSpec+      Cursor.FuzzyTimeOfDaySpec+      Paths_cursor_fuzzy_time_gen+  hs-source-dirs:+      test/+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall+  build-depends:+      QuickCheck+    , base >=4.9 && <=5+    , cursor-fuzzy-time+    , cursor-fuzzy-time-gen+    , fuzzy-time+    , genvalidity+    , genvalidity-hspec+    , genvalidity-hspec-optics+    , genvalidity-time+    , hspec+    , megaparsec+    , text+    , time+  default-language: Haskell2010++benchmark cursor-fuzzy-time-bench+  type: exitcode-stdio-1.0+  main-is: Bench.hs+  other-modules:+      Paths_cursor_fuzzy_time_gen+  hs-source-dirs:+      bench/+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall+  build-depends:+      QuickCheck+    , base >=4.9 && <=5+    , criterion+    , cursor-fuzzy-time+    , cursor-fuzzy-time-gen+    , genvalidity-criterion+  default-language: Haskell2010

@@ -0,0 +1,16 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}++module Cursor.FuzzyDay.Gen where++import Data.GenValidity+import Data.GenValidity.Time ()++import Cursor.Text.Gen ()++import Cursor.FuzzyDay++instance GenUnchecked FuzzyDayCursor++instance GenValid FuzzyDayCursor where+  genValid = genValidStructurallyWithoutExtraChecking+  shrinkValid = shrinkValidStructurallyWithoutExtraFiltering

@@ -0,0 +1,17 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}++module Cursor.FuzzyLocalTime.Gen where++import Data.FuzzyTime.Types.Gen ()+import Data.GenValidity+import Data.GenValidity.Time ()++import Cursor.Text.Gen ()++import Cursor.FuzzyLocalTime++instance GenUnchecked FuzzyLocalTimeCursor++instance GenValid FuzzyLocalTimeCursor where+  genValid = genValidStructurallyWithoutExtraChecking+  shrinkValid = shrinkValidStructurallyWithoutExtraFiltering

@@ -0,0 +1,16 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}++module Cursor.FuzzyTimeOfDay.Gen where++import Data.GenValidity+import Data.GenValidity.Time ()++import Cursor.Text.Gen ()++import Cursor.FuzzyTimeOfDay++instance GenUnchecked FuzzyTimeOfDayCursor++instance GenValid FuzzyTimeOfDayCursor where+  genValid = genValidStructurallyWithoutExtraChecking+  shrinkValid = shrinkValidStructurallyWithoutExtraFiltering

@@ -0,0 +1,36 @@+{-# LANGUAGE TypeApplications #-}++module Cursor.FuzzyDaySpec where++import Data.Int+import Data.Time++import Test.Hspec+import Test.QuickCheck+import Test.Validity+import Test.Validity.Optics++import Cursor.FuzzyDay+import Cursor.FuzzyDay.Gen ()++spec :: Spec+spec = do+  eqSpecOnValid @FuzzyDayCursor+  genValidSpec @FuzzyDayCursor+  describe "emptyFuzzyDayCursor" $ do+    it "produces valid cursors" $ producesValidsOnValids emptyFuzzyDayCursor+    it "makes cursors that makes the guessing produce nothing" $+      forAllValid $ \today ->+        fuzzyDayCursorGuess (emptyFuzzyDayCursor today) `shouldBe` Nothing+  describe "makeFuzzyDayCursor" $ do+    it "produces valid cursors" $ producesValidsOnValids makeFuzzyDayCursor+    it+      "makes cursors that makes the guessing produce the given time for recent days" $+      forAll (ModifiedJulianDay . fromIntegral <$> (genValid :: Gen Int16)) $ \d ->+        fuzzyDayCursorGuess (makeFuzzyDayCursor d) `shouldBe` Just d+  describe "rebuildFuzzyDayCursor" $ do+    it "produces valid days" $ producesValidsOnValids rebuildFuzzyDayCursor+  describe "fuzzyDayCursorTextCursorL" $+    lensSpecOnValid fuzzyDayCursorTextCursorL+  describe "fuzzyDayCursorGuess" $+    it "guesses a valid day" $ producesValidsOnValids fuzzyDayCursorGuess

@@ -0,0 +1,44 @@+{-# LANGUAGE TypeApplications #-}++module Cursor.FuzzyLocalTimeSpec where++import Data.Int+import Data.Time++import Test.Hspec+import Test.QuickCheck+import Test.Validity+import Test.Validity.Optics++import Cursor.FuzzyLocalTime+import Cursor.FuzzyLocalTime.Gen ()+import Data.FuzzyTime.Types++spec :: Spec+spec = do+  eqSpecOnValid @FuzzyLocalTimeCursor+  genValidSpec @FuzzyLocalTimeCursor+  describe "emptyFuzzyLocalTimeCursor" $ do+    it "produces valid cursors" $+      producesValidsOnValids emptyFuzzyLocalTimeCursor+    it "makes cursors that makes the guessing produce nothing" $+      forAllValid $ \today ->+        fuzzyLocalTimeCursorGuess (emptyFuzzyLocalTimeCursor today) `shouldBe`+        Nothing+  describe "makeFuzzyLocalTimeCursor" $ do+    it "produces valid cursors" $+      producesValidsOnValids makeFuzzyLocalTimeCursor+    it+      "makes cursors that makes the guessing produce the given time for recent days" $+      forAll (ModifiedJulianDay . fromIntegral <$> (genValid :: Gen Int16)) $ \d ->+        fuzzyLocalTimeCursorGuess+          (makeFuzzyLocalTimeCursor (OnlyDaySpecified d)) `shouldBe`+        Just (OnlyDaySpecified d)+  describe "rebuildFuzzyLocalTimeCursor" $ do+    it "produces valid time of day" $+      producesValidsOnValids rebuildFuzzyLocalTimeCursor+  describe "fuzzyLocalTimeCursorTextCursorL" $+    lensSpecOnValid fuzzyLocalTimeCursorTextCursorL+  describe "fuzzyLocalTimeCursorGuess" $+    it "guesses a valid time of day" $+    producesValidsOnValids fuzzyLocalTimeCursorGuess

@@ -0,0 +1,36 @@+{-# LANGUAGE TypeApplications #-}++module Cursor.FuzzyTimeOfDaySpec where++import Test.Hspec+import Test.Validity+import Test.Validity.Optics++import Cursor.FuzzyTimeOfDay+import Cursor.FuzzyTimeOfDay.Gen ()++spec :: Spec+spec = do+  eqSpecOnValid @FuzzyTimeOfDayCursor+  genValidSpec @FuzzyTimeOfDayCursor+  describe "emptyFuzzyTimeOfDayCursor" $ do+    it "produces valid cursors" $+      producesValidsOnValids emptyFuzzyTimeOfDayCursor+    it "makes cursors that makes the guessing produce nothing" $+      forAllValid $ \today ->+        fuzzyTimeOfDayCursorGuess (emptyFuzzyTimeOfDayCursor today) `shouldBe`+        Nothing+  describe "makeFuzzyTimeOfDayCursor" $ do+    it "produces valid cursors" $+      producesValidsOnValids makeFuzzyTimeOfDayCursor+    it "makes cursors that makes the guessing produce the given time" $+      forAllValid $ \d ->+        fuzzyTimeOfDayCursorGuess (makeFuzzyTimeOfDayCursor d) `shouldBe` Just d+  describe "rebuildFuzzyTimeOfDayCursor" $ do+    it "produces valid time of day" $+      producesValidsOnValids rebuildFuzzyTimeOfDayCursor+  describe "fuzzyTimeOfDayCursorTextCursorL" $+    lensSpecOnValid fuzzyTimeOfDayCursorTextCursorL+  describe "fuzzyTimeOfDayCursorGuess" $+    it "guesses a valid time of day" $+    producesValidsOnValids fuzzyTimeOfDayCursorGuess

@@ -0,0 +1,1 @@+{-# OPTIONS_GHC -F -pgmF hspec-discover #-}