freer-simple-time (empty) → 0.1.0.0

raw patch · 8 files changed

+154/−0 lines, 8 filesdep +basedep +freer-simpledep +freer-simple-timesetup-changed

Dependencies added: base, freer-simple, freer-simple-time, hspec, time

Files

• ChangeLog.md +3/−0
• LICENSE +21/−0
• README.md +1/−0
• Setup.hs +2/−0
• freer-simple-time.cabal +57/−0
• src/Control/Monad/Freer/Time.hs +46/−0
• test/Control/Monad/Freer/TimeSpec.hs +23/−0
• test/Spec.hs +1/−0

@@ -0,0 +1,3 @@+# Changelog for freer-simple-time++## Unreleased changes

@@ -0,0 +1,21 @@+MIT License++Copyright (c) 2018 Co—Star Astrology, Ben Weitzman++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,1 @@+# freer-simple-time

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

@@ -0,0 +1,57 @@+-- This file has been generated from package.yaml by hpack version 0.28.2.+--+-- see: https://github.com/sol/hpack+--+-- hash: 5ab33c3a11c5c741efb773c2fa89cf511f5ed2861ed19cd1f7c7c3a363fa16d4++name:           freer-simple-time+version:        0.1.0.0+synopsis:       freer-simple interface to IO based time functions+description:    Please see the README on Gitlab at <https://gitlab.com/costar-astrology/freer-simple-contrib/tree/master/freer-simple-time>+category:       Control, Time+author:         Ben Weitzman+maintainer:     ben@costarastrology.com+copyright:      2018 Ben Weitzman+license:        MIT+license-file:   LICENSE+build-type:     Simple+cabal-version:  >= 1.10+extra-source-files:+    ChangeLog.md+    README.md++source-repository head+  type: git+  location: https://gitlab.com/costar-astrology/freer-simple-contrib/tree/master/freer-simple-time++library+  exposed-modules:+      Control.Monad.Freer.Time+  other-modules:+      Paths_freer_simple_time+  hs-source-dirs:+      src+  default-extensions: GADTs FlexibleContexts TypeOperators DataKinds StandaloneDeriving DeriveDataTypeable MultiParamTypeClasses FlexibleInstances UndecidableInstances TypeApplications ScopedTypeVariables TypeFamilies RankNTypes DeriveAnyClass OverloadedStrings FunctionalDependencies ConstraintKinds EmptyCase BangPatterns+  build-depends:+      base >=4.7 && <5+    , freer-simple >=1.1 && <1.2+    , time >=1.8 && <1.9+  default-language: Haskell2010++test-suite freer-simple-time-test+  type: exitcode-stdio-1.0+  main-is: Spec.hs+  other-modules:+      Control.Monad.Freer.TimeSpec+      Paths_freer_simple_time+  hs-source-dirs:+      test+  default-extensions: GADTs FlexibleContexts TypeOperators DataKinds StandaloneDeriving DeriveDataTypeable MultiParamTypeClasses FlexibleInstances UndecidableInstances TypeApplications ScopedTypeVariables TypeFamilies RankNTypes DeriveAnyClass OverloadedStrings FunctionalDependencies ConstraintKinds EmptyCase BangPatterns+  ghc-options: -threaded -rtsopts -with-rtsopts=-N+  build-depends:+      base >=4.7 && <5+    , freer-simple >=1.1 && <1.2+    , freer-simple-time+    , hspec+    , time >=1.8 && <1.9+  default-language: Haskell2010

@@ -0,0 +1,46 @@+{-|+Module      : Control.Monad.Freer.Time+Description : Effect for working with the current time+Copyright   : (c) Ben Weitzman 2018+License     : MIT+Maintainer  : ben@costarastrolgoy.com+Stability   : experimental+Portability : POSIX+-}++module Control.Monad.Freer.Time+  (currentTime+  ,Time+  ,runTime+  ,runTimeAt+  ,runInstantaneously+  )+where++import Control.Monad.Freer+import Data.Time++-- | The 'Time' effect gives an interface to accessing the current time+data Time a where+  CurrentTime :: Time UTCTime++-- | Get the current time+currentTime :: (Member Time r) => Eff r UTCTime+currentTime = send CurrentTime++-- | Use 'IO' to handle getting the current time+runTime :: Member IO r => Eff (Time ': r) a -> Eff r a+runTime = interpret $ \CurrentTime -> send getCurrentTime++-- | Use a given time that the program will consider "current"+runTimeAt :: UTCTime -> Eff (Time ': r) a -> Eff r a+runTimeAt instant = interpret $ \CurrentTime -> return instant  ++-- | Use 'IO' get the current time, but make the program think that+-- everything is happening at the same instant. All calls to 'currentTime'+-- will return the same, present-ish 'UTCTime'+runInstantaneously :: (Member IO r) => Eff (Time ': r) a -> Eff r a+runInstantaneously eff = do+  now <- runTime currentTime+  runTimeAt now eff+  

@@ -0,0 +1,23 @@+module Control.Monad.Freer.TimeSpec where++import Control.Monad.Freer.Time++import Control.Monad.Freer+import Test.Hspec++spec :: Spec+spec = do+  describe "runTimeAt" $ do+    it "should give the expected time" $ do+      let time = read "2018-11-10 18:39:54.228369 UTC"+          gotTime = run $ runTimeAt time currentTime+      gotTime `shouldBe` time+      +  describe "runInstantaneously" $ do+    it "should make all times seem the same" $ do+      let getTwoTimes = (,) <$> currentTime <*> currentTime+      (timeA, timeB) <- runM $ runTime getTwoTimes+      timeA `shouldNotBe` timeB+      (timeC,  timeD) <- runM $ runInstantaneously getTwoTimes+      timeC `shouldBe` timeD+

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