packages feed

polysemy-time 0.1.3.0 → 0.1.3.1

raw patch · 2 files changed

+37/−34 lines, 2 filesdep ~aesondep ~compositiondep ~data-defaultPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: aeson, composition, data-default, polysemy, relude, string-interpolate, torsor

API changes (from Hackage documentation)

+ Polysemy.Time: measure :: forall dt t d u r a. TimeUnit u => Torsor dt u => Instant t dt => Member (Time t d) r => Sem r a -> Sem r (u, a)
- Polysemy.Time: adjust :: forall t_axdi d_axdl r_axii u1_Xxdk u2_Xxdm. (MemberWithError (Time t_axdi d_axdl) r_axii, AddTimeUnit t_axdi u1_Xxdk u2_Xxdm) => u1_Xxdk -> Sem r_axii ()
+ Polysemy.Time: adjust :: forall t_axdA d_axdD r_axiA u1_XxdC u2_XxdE. (MemberWithError (Time t_axdA d_axdD) r_axiA, AddTimeUnit t_axdA u1_XxdC u2_XxdE) => u1_XxdC -> Sem r_axiA ()
- Polysemy.Time: now :: forall t_axd5 d_axd6 r_axic. MemberWithError (Time t_axd5 d_axd6) r_axic => Sem r_axic t_axd5
+ Polysemy.Time: now :: forall t_axdn d_axdo r_axiu. MemberWithError (Time t_axdn d_axdo) r_axiu => Sem r_axiu t_axdn
- Polysemy.Time: setDate :: forall t_axdo d_axdn r_axik. MemberWithError (Time t_axdo d_axdn) r_axik => d_axdn -> Sem r_axik ()
+ Polysemy.Time: setDate :: forall t_axdG d_axdF r_axiC. MemberWithError (Time t_axdG d_axdF) r_axiC => d_axdF -> Sem r_axiC ()
- Polysemy.Time: setTime :: forall t_axdf d_axdg r_axig. MemberWithError (Time t_axdf d_axdg) r_axig => t_axdf -> Sem r_axig ()
+ Polysemy.Time: setTime :: forall t_axdx d_axdy r_axiy. MemberWithError (Time t_axdx d_axdy) r_axiy => t_axdx -> Sem r_axiy ()
- Polysemy.Time: sleep :: forall t_axdc d_axdd r_axie u_Xxdc. (MemberWithError (Time t_axdc d_axdd) r_axie, TimeUnit u_Xxdc) => u_Xxdc -> Sem r_axie ()
+ Polysemy.Time: sleep :: forall t_axdu d_axdv r_axiw u_Xxdu. (MemberWithError (Time t_axdu d_axdv) r_axiw, TimeUnit u_Xxdu) => u_Xxdu -> Sem r_axiw ()
- Polysemy.Time: today :: forall t_axd8 d_axd9 r_axid. MemberWithError (Time t_axd8 d_axd9) r_axid => Sem r_axid d_axd9
+ Polysemy.Time: today :: forall t_axdq d_axdr r_axiv. MemberWithError (Time t_axdq d_axdr) r_axiv => Sem r_axiv d_axdr
- Polysemy.Time.Data.Time: adjust :: forall t_axdi d_axdl r_axii u1_Xxdk u2_Xxdm. (MemberWithError (Time t_axdi d_axdl) r_axii, AddTimeUnit t_axdi u1_Xxdk u2_Xxdm) => u1_Xxdk -> Sem r_axii ()
+ Polysemy.Time.Data.Time: adjust :: forall t_axdA d_axdD r_axiA u1_XxdC u2_XxdE. (MemberWithError (Time t_axdA d_axdD) r_axiA, AddTimeUnit t_axdA u1_XxdC u2_XxdE) => u1_XxdC -> Sem r_axiA ()
- Polysemy.Time.Data.Time: now :: forall t_axd5 d_axd6 r_axic. MemberWithError (Time t_axd5 d_axd6) r_axic => Sem r_axic t_axd5
+ Polysemy.Time.Data.Time: now :: forall t_axdn d_axdo r_axiu. MemberWithError (Time t_axdn d_axdo) r_axiu => Sem r_axiu t_axdn
- Polysemy.Time.Data.Time: setDate :: forall t_axdo d_axdn r_axik. MemberWithError (Time t_axdo d_axdn) r_axik => d_axdn -> Sem r_axik ()
+ Polysemy.Time.Data.Time: setDate :: forall t_axdG d_axdF r_axiC. MemberWithError (Time t_axdG d_axdF) r_axiC => d_axdF -> Sem r_axiC ()
- Polysemy.Time.Data.Time: setTime :: forall t_axdf d_axdg r_axig. MemberWithError (Time t_axdf d_axdg) r_axig => t_axdf -> Sem r_axig ()
+ Polysemy.Time.Data.Time: setTime :: forall t_axdx d_axdy r_axiy. MemberWithError (Time t_axdx d_axdy) r_axiy => t_axdx -> Sem r_axiy ()
- Polysemy.Time.Data.Time: sleep :: forall t_axdc d_axdd r_axie u_Xxdc. (MemberWithError (Time t_axdc d_axdd) r_axie, TimeUnit u_Xxdc) => u_Xxdc -> Sem r_axie ()
+ Polysemy.Time.Data.Time: sleep :: forall t_axdu d_axdv r_axiw u_Xxdu. (MemberWithError (Time t_axdu d_axdv) r_axiw, TimeUnit u_Xxdu) => u_Xxdu -> Sem r_axiw ()
- Polysemy.Time.Data.Time: today :: forall t_axd8 d_axd9 r_axid. MemberWithError (Time t_axd8 d_axd9) r_axid => Sem r_axid d_axd9
+ Polysemy.Time.Data.Time: today :: forall t_axdq d_axdr r_axiv. MemberWithError (Time t_axdq d_axdr) r_axiv => Sem r_axiv d_axdr
- Polysemy.Time.Prelude: interpret :: forall e (r :: [Effect]) a. FirstOrder e "interpret" => (forall x (rInitial :: EffectRow). () => e (Sem rInitial) x -> Sem r x) -> Sem (e : r) a -> Sem r a
+ Polysemy.Time.Prelude: interpret :: forall e (r :: [Effect]) a. FirstOrder e "interpret" => (forall (rInitial :: EffectRow) x. () => e (Sem rInitial) x -> Sem r x) -> Sem (e : r) a -> Sem r a
- Polysemy.Time.Prelude: pureT :: forall a (e :: Effect) (m :: Type -> Type) (r :: [Effect]). a -> Tactical e m r a
+ Polysemy.Time.Prelude: pureT :: forall f a (e :: Effect) (m :: Type -> Type) (r :: [Effect]). Functor f => a -> Sem (WithTactics e f m r) (f a)

Files

lib/Polysemy/Time.hs view
@@ -13,34 +13,37 @@   -- * Data types   module Polysemy.Time.Data.TimeUnit,   module Polysemy.Time.Calendar,+  -- * Combinators+  measure, ) where  import Polysemy.Time.Calendar (-  Calendar(..),-  HasDay(..),-  HasHour(..),-  HasMinute(..),-  HasMonth(..),-  HasNanoSecond(..),-  HasSecond(..),-  HasYear(..),+  Calendar (..),+  HasDay (..),+  HasHour (..),+  HasMinute (..),+  HasMonth (..),+  HasNanoSecond (..),+  HasSecond (..),+  HasYear (..),   )-import Polysemy.Time.Data.Time (Time(..), adjust, now, setDate, setTime, sleep, today)+import Polysemy.Time.Data.Time (Time (..), adjust, now, setDate, setTime, sleep, today) import Polysemy.Time.Data.TimeUnit (-  Days(Days),-  Hours(Hours),-  MicroSeconds(MicroSeconds),-  MilliSeconds(MilliSeconds),-  Minutes(Minutes),-  Months(Months),-  NanoSeconds(NanoSeconds),-  Seconds(Seconds),+  Days (Days),+  Hours (Hours),+  MicroSeconds (MicroSeconds),+  MilliSeconds (MilliSeconds),+  Minutes (Minutes),+  Months (Months),+  NanoSeconds (NanoSeconds),+  Seconds (Seconds),   TimeUnit,-  Weeks(Weeks),-  Years(Years),+  Weeks (Weeks),+  Years (Years),   convert,   ) import Polysemy.Time.Ghc (GhcTime, interpretTimeGhc, interpretTimeGhcAt)+import Polysemy.Time.Measure (measure) import Polysemy.Time.Orphans ()  {- $intro
polysemy-time.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           polysemy-time-version:        0.1.3.0+version:        0.1.3.1 synopsis:       Polysemy Effect for Time description:    Please see the readme on Github at <https://github.com/tek/polysemy-time> category:       Time@@ -101,19 +101,19 @@       ViewPatterns   ghc-options: -flate-specialise -fspecialise-aggressively -Wall   build-depends:-      aeson >=1.4 && <1.6+      aeson >=1.4     , base ==4.*-    , composition ==1.0.*+    , composition >=1.0     , containers-    , data-default ==0.7.*+    , data-default >=0.7     , either-    , polysemy >=1.3 && <1.6-    , relude >=0.7 && <1.1-    , string-interpolate >=0.2 && <0.4+    , polysemy >=1.3+    , relude >=0.7+    , string-interpolate >=0.2     , template-haskell     , text     , time-    , torsor ==0.1.*+    , torsor >=0.1   mixins:       base hiding (Prelude)   default-language: Haskell2010@@ -188,25 +188,25 @@       ViewPatterns   ghc-options: -flate-specialise -fspecialise-aggressively -Wall -threaded -rtsopts -with-rtsopts=-N -fplugin=Polysemy.Plugin   build-depends:-      aeson >=1.4 && <1.6+      aeson >=1.4     , base ==4.*-    , composition ==1.0.*+    , composition >=1.0     , containers-    , data-default ==0.7.*+    , data-default >=0.7     , either     , hedgehog-    , polysemy >=1.3 && <1.6+    , polysemy >=1.3     , polysemy-plugin     , polysemy-test     , polysemy-time-    , relude >=0.7 && <1.1-    , string-interpolate >=0.2 && <0.4+    , relude >=0.7+    , string-interpolate >=0.2     , tasty     , tasty-hedgehog     , template-haskell     , text     , time-    , torsor ==0.1.*+    , torsor >=0.1   mixins:       base hiding (Prelude)     , polysemy-time hiding (Prelude)