polysemy-time 0.1.1.0 → 0.1.2.0
raw patch · 2 files changed
+132/−39 lines, 2 filesdep ~aesondep ~polysemydep ~reludePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: aeson, polysemy, relude
API changes (from Hackage documentation)
- Polysemy.Time.Prelude: -- | Type of single element of the structure.
- Polysemy.Time.Prelude: infix 9 !!?
- Polysemy.Time.Prelude: unsafeLog :: Text -> Text
- Polysemy.Time.Prelude: unsafeLogAnd :: Text -> b -> b
- Polysemy.Time.Prelude: unsafeLogS :: Show a => a -> a
- Polysemy.Time.Prelude: unsafeLogSAnd :: Show a => a -> b -> b
+ Paths_polysemy_time: getBinDir :: IO FilePath
+ Paths_polysemy_time: getDataDir :: IO FilePath
+ Paths_polysemy_time: getDataFileName :: FilePath -> IO FilePath
+ Paths_polysemy_time: getDynLibDir :: IO FilePath
+ Paths_polysemy_time: getLibDir :: IO FilePath
+ Paths_polysemy_time: getLibexecDir :: IO FilePath
+ Paths_polysemy_time: getSysconfDir :: IO FilePath
+ Paths_polysemy_time: version :: Version
+ Polysemy.Time.Prelude: [getDown] :: Down a -> a
- Polysemy.Time: adjust :: forall t_aKaB d_aKaE r_aKfI u1_XKaD u2_XKaF. (MemberWithError (Time t_aKaB d_aKaE) r_aKfI, AddTimeUnit t_aKaB u1_XKaD u2_XKaF) => u1_XKaD -> Sem r_aKfI ()
+ Polysemy.Time: adjust :: forall t_auST d_auSW r_auXT u1_XuSV u2_XuSX. (MemberWithError (Time t_auST d_auSW) r_auXT, AddTimeUnit t_auST u1_XuSV u2_XuSX) => u1_XuSV -> Sem r_auXT ()
- Polysemy.Time: now :: forall t_aKao d_aKap r_aKfC. MemberWithError (Time t_aKao d_aKap) r_aKfC => Sem r_aKfC t_aKao
+ Polysemy.Time: now :: forall t_auSG d_auSH r_auXN. MemberWithError (Time t_auSG d_auSH) r_auXN => Sem r_auXN t_auSG
- Polysemy.Time: setDate :: forall t_aKaH d_aKaG r_aKfK. MemberWithError (Time t_aKaH d_aKaG) r_aKfK => d_aKaG -> Sem r_aKfK ()
+ Polysemy.Time: setDate :: forall t_auSZ d_auSY r_auXV. MemberWithError (Time t_auSZ d_auSY) r_auXV => d_auSY -> Sem r_auXV ()
- Polysemy.Time: setTime :: forall t_aKay d_aKaz r_aKfG. MemberWithError (Time t_aKay d_aKaz) r_aKfG => t_aKay -> Sem r_aKfG ()
+ Polysemy.Time: setTime :: forall t_auSQ d_auSR r_auXR. MemberWithError (Time t_auSQ d_auSR) r_auXR => t_auSQ -> Sem r_auXR ()
- Polysemy.Time: sleep :: forall t_aKav d_aKaw r_aKfE u_XKav. (MemberWithError (Time t_aKav d_aKaw) r_aKfE, TimeUnit u_XKav) => u_XKav -> Sem r_aKfE ()
+ Polysemy.Time: sleep :: forall t_auSN d_auSO r_auXP u_XuSN. (MemberWithError (Time t_auSN d_auSO) r_auXP, TimeUnit u_XuSN) => u_XuSN -> Sem r_auXP ()
- Polysemy.Time: today :: forall t_aKar d_aKas r_aKfD. MemberWithError (Time t_aKar d_aKas) r_aKfD => Sem r_aKfD d_aKas
+ Polysemy.Time: today :: forall t_auSJ d_auSK r_auXO. MemberWithError (Time t_auSJ d_auSK) r_auXO => Sem r_auXO d_auSK
- Polysemy.Time.Data.Time: adjust :: forall t_aKaB d_aKaE r_aKfI u1_XKaD u2_XKaF. (MemberWithError (Time t_aKaB d_aKaE) r_aKfI, AddTimeUnit t_aKaB u1_XKaD u2_XKaF) => u1_XKaD -> Sem r_aKfI ()
+ Polysemy.Time.Data.Time: adjust :: forall t_auST d_auSW r_auXT u1_XuSV u2_XuSX. (MemberWithError (Time t_auST d_auSW) r_auXT, AddTimeUnit t_auST u1_XuSV u2_XuSX) => u1_XuSV -> Sem r_auXT ()
- Polysemy.Time.Data.Time: now :: forall t_aKao d_aKap r_aKfC. MemberWithError (Time t_aKao d_aKap) r_aKfC => Sem r_aKfC t_aKao
+ Polysemy.Time.Data.Time: now :: forall t_auSG d_auSH r_auXN. MemberWithError (Time t_auSG d_auSH) r_auXN => Sem r_auXN t_auSG
- Polysemy.Time.Data.Time: setDate :: forall t_aKaH d_aKaG r_aKfK. MemberWithError (Time t_aKaH d_aKaG) r_aKfK => d_aKaG -> Sem r_aKfK ()
+ Polysemy.Time.Data.Time: setDate :: forall t_auSZ d_auSY r_auXV. MemberWithError (Time t_auSZ d_auSY) r_auXV => d_auSY -> Sem r_auXV ()
- Polysemy.Time.Data.Time: setTime :: forall t_aKay d_aKaz r_aKfG. MemberWithError (Time t_aKay d_aKaz) r_aKfG => t_aKay -> Sem r_aKfG ()
+ Polysemy.Time.Data.Time: setTime :: forall t_auSQ d_auSR r_auXR. MemberWithError (Time t_auSQ d_auSR) r_auXR => t_auSQ -> Sem r_auXR ()
- Polysemy.Time.Data.Time: sleep :: forall t_aKav d_aKaw r_aKfE u_XKav. (MemberWithError (Time t_aKav d_aKaw) r_aKfE, TimeUnit u_XKav) => u_XKav -> Sem r_aKfE ()
+ Polysemy.Time.Data.Time: sleep :: forall t_auSN d_auSO r_auXP u_XuSN. (MemberWithError (Time t_auSN d_auSO) r_auXP, TimeUnit u_XuSN) => u_XuSN -> Sem r_auXP ()
- Polysemy.Time.Data.Time: today :: forall t_aKar d_aKas r_aKfD. MemberWithError (Time t_aKar d_aKas) r_aKfD => Sem r_aKfD d_aKas
+ Polysemy.Time.Data.Time: today :: forall t_auSJ d_auSK r_auXO. MemberWithError (Time t_auSJ d_auSK) r_auXO => Sem r_auXO d_auSK
- Polysemy.Time.Prelude: coerce :: Coercible a b => a -> b
+ Polysemy.Time.Prelude: coerce :: forall (k :: RuntimeRep) (a :: TYPE k) (b :: TYPE k). Coercible a b => a -> b
- Polysemy.Time.Prelude: infix 4 <
+ Polysemy.Time.Prelude: infix 4 >=
- Polysemy.Time.Prelude: infixl 4 <<$>>
+ Polysemy.Time.Prelude: infixl 4 <**>
- Polysemy.Time.Prelude: infixr 0 ?:
+ Polysemy.Time.Prelude: infixr 0 $!!
- Polysemy.Time.Prelude: seq :: a -> b -> b
+ Polysemy.Time.Prelude: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
- Polysemy.Time.Prelude: type family OneItem x;
+ Polysemy.Time.Prelude: type family OneItem x
Files
- lib/Polysemy/Time/Prelude.hs +0/−21
- polysemy-time.cabal +132/−18
lib/Polysemy/Time/Prelude.hs view
@@ -36,7 +36,6 @@ import Data.Map.Strict (Map, lookup) import qualified Data.Text as Text import GHC.Err (undefined)-import GHC.IO.Unsafe (unsafePerformIO) import GHC.TypeLits (Symbol) import qualified Language.Haskell.TH.Syntax as TH import Polysemy (@@ -107,26 +106,6 @@ tuple fa fb = (,) <$> fa <*> fb {-# inline tuple #-}--unsafeLogSAnd :: Show a => a -> b -> b-unsafeLogSAnd a b =- unsafePerformIO $ print a >> return b-{-# inline unsafeLogSAnd #-}--unsafeLogAnd :: Text -> b -> b-unsafeLogAnd a b =- unsafePerformIO $ putStrLn (toString a) >> return b-{-# inline unsafeLogAnd #-}--unsafeLogS :: Show a => a -> a-unsafeLogS a =- unsafePerformIO $ print a >> return a-{-# inline unsafeLogS #-}--unsafeLog :: Text -> Text-unsafeLog a =- unsafePerformIO $ putStrLn (toString a) >> return a-{-# inline unsafeLog #-} liftT :: forall m f r e a .
polysemy-time.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.2 --- This file has been generated from package.yaml by hpack version 0.34.2.+-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack name: polysemy-time-version: 0.1.1.0+version: 0.1.2.0 synopsis: Polysemy effect for time description: Please see the readme on Github at <https://github.com/tek/polysemy-time> category: Time@@ -40,22 +40,79 @@ Paths_polysemy_time hs-source-dirs: lib- default-extensions: AllowAmbiguousTypes ApplicativeDo BangPatterns BinaryLiterals BlockArguments ConstraintKinds DataKinds DefaultSignatures DeriveAnyClass DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DerivingStrategies DerivingVia DisambiguateRecordFields DoAndIfThenElse DuplicateRecordFields EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase LiberalTypeSynonyms MultiParamTypeClasses MultiWayIf NamedFieldPuns OverloadedStrings OverloadedLists PackageImports PartialTypeSignatures PatternGuards PatternSynonyms PolyKinds QuantifiedConstraints QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators TypeSynonymInstances UndecidableInstances UnicodeSyntax ViewPatterns+ default-extensions:+ AllowAmbiguousTypes+ ApplicativeDo+ BangPatterns+ BinaryLiterals+ BlockArguments+ ConstraintKinds+ DataKinds+ DefaultSignatures+ DeriveAnyClass+ DeriveDataTypeable+ DeriveFoldable+ DeriveFunctor+ DeriveGeneric+ DeriveTraversable+ DerivingStrategies+ DerivingVia+ DisambiguateRecordFields+ DoAndIfThenElse+ DuplicateRecordFields+ EmptyDataDecls+ ExistentialQuantification+ FlexibleContexts+ FlexibleInstances+ FunctionalDependencies+ GADTs+ GeneralizedNewtypeDeriving+ InstanceSigs+ KindSignatures+ LambdaCase+ LiberalTypeSynonyms+ MultiParamTypeClasses+ MultiWayIf+ NamedFieldPuns+ OverloadedStrings+ OverloadedLists+ PackageImports+ PartialTypeSignatures+ PatternGuards+ PatternSynonyms+ PolyKinds+ QuantifiedConstraints+ QuasiQuotes+ RankNTypes+ RecordWildCards+ RecursiveDo+ ScopedTypeVariables+ StandaloneDeriving+ TemplateHaskell+ TupleSections+ TypeApplications+ TypeFamilies+ TypeFamilyDependencies+ TypeOperators+ TypeSynonymInstances+ UndecidableInstances+ UnicodeSyntax+ ViewPatterns ghc-options: -flate-specialise -fspecialise-aggressively -Wall build-depends:- aeson >=1.4 && <1.5- , base >=4 && <5- , composition >=1.0 && <1.1+ aeson ==1.4.*+ , base ==4.*+ , composition ==1.0.* , containers- , data-default >=0.7 && <0.8+ , data-default ==0.7.* , either- , polysemy >=1.3 && <1.5- , relude >=0.7 && <0.8+ , polysemy >=1.3 && <1.6+ , relude ==0.7.* , string-interpolate >=0.1 && <0.4 , template-haskell , text , time- , torsor >=0.1 && <0.2+ , torsor ==0.1.* mixins: base hiding (Prelude) if impl(ghc < 8.10)@@ -71,28 +128,85 @@ Paths_polysemy_time hs-source-dirs: test- default-extensions: AllowAmbiguousTypes ApplicativeDo BangPatterns BinaryLiterals BlockArguments ConstraintKinds DataKinds DefaultSignatures DeriveAnyClass DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DerivingStrategies DerivingVia DisambiguateRecordFields DoAndIfThenElse DuplicateRecordFields EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase LiberalTypeSynonyms MultiParamTypeClasses MultiWayIf NamedFieldPuns OverloadedStrings OverloadedLists PackageImports PartialTypeSignatures PatternGuards PatternSynonyms PolyKinds QuantifiedConstraints QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators TypeSynonymInstances UndecidableInstances UnicodeSyntax ViewPatterns+ default-extensions:+ AllowAmbiguousTypes+ ApplicativeDo+ BangPatterns+ BinaryLiterals+ BlockArguments+ ConstraintKinds+ DataKinds+ DefaultSignatures+ DeriveAnyClass+ DeriveDataTypeable+ DeriveFoldable+ DeriveFunctor+ DeriveGeneric+ DeriveTraversable+ DerivingStrategies+ DerivingVia+ DisambiguateRecordFields+ DoAndIfThenElse+ DuplicateRecordFields+ EmptyDataDecls+ ExistentialQuantification+ FlexibleContexts+ FlexibleInstances+ FunctionalDependencies+ GADTs+ GeneralizedNewtypeDeriving+ InstanceSigs+ KindSignatures+ LambdaCase+ LiberalTypeSynonyms+ MultiParamTypeClasses+ MultiWayIf+ NamedFieldPuns+ OverloadedStrings+ OverloadedLists+ PackageImports+ PartialTypeSignatures+ PatternGuards+ PatternSynonyms+ PolyKinds+ QuantifiedConstraints+ QuasiQuotes+ RankNTypes+ RecordWildCards+ RecursiveDo+ ScopedTypeVariables+ StandaloneDeriving+ TemplateHaskell+ TupleSections+ TypeApplications+ TypeFamilies+ TypeFamilyDependencies+ TypeOperators+ TypeSynonymInstances+ UndecidableInstances+ UnicodeSyntax+ ViewPatterns ghc-options: -flate-specialise -fspecialise-aggressively -Wall -threaded -rtsopts -with-rtsopts=-N -fplugin=Polysemy.Plugin build-depends:- aeson >=1.4 && <1.5- , base >=4 && <5- , composition >=1.0 && <1.1+ aeson ==1.4.*+ , base ==4.*+ , composition ==1.0.* , containers- , data-default >=0.7 && <0.8+ , data-default ==0.7.* , either , hedgehog- , polysemy >=1.3 && <1.5+ , polysemy >=1.3 && <1.6 , polysemy-plugin , polysemy-test , polysemy-time- , relude >=0.7 && <0.8+ , relude ==0.7.* , string-interpolate >=0.1 && <0.4 , tasty , tasty-hedgehog , template-haskell , text , time- , torsor >=0.1 && <0.2+ , torsor ==0.1.* mixins: base hiding (Prelude) , polysemy-time hiding (Prelude)