diff --git a/LICENSE b/LICENSE new file mode 100644 --- /dev/null +++ b/LICENSE @@ -0,0 +1,34 @@ +Copyright (c) 2020 Torsten Schmits + +Redistribution and use in source and binary forms, with or without modification, are permitted provided that the +following conditions are met: + + 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following + disclaimer. + 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following + disclaimer in the documentation and/or other materials provided with the distribution. + +Subject to the terms and conditions of this license, each copyright holder and contributor hereby grants to those +receiving rights under this license a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable (except +for failure to satisfy the conditions of this license) patent license to make, have made, use, offer to sell, sell, +import, and otherwise transfer this software, where such license applies only to those patent claims, already acquired +or hereafter acquired, licensable by such copyright holder or contributor that are necessarily infringed by: + + (a) their Contribution(s) (the licensed copyrights of copyright holders and non-copyrightable additions of + contributors, in source or binary form) alone; or + (b) combination of their Contribution(s) with the work of authorship to which such Contribution(s) was added by such + copyright holder or contributor, if, at the time the Contribution is added, such addition causes such combination to + be necessarily infringed. The patent license shall not apply to any other combinations which include the Contribution. + +Except as expressly stated above, no rights or licenses from any copyright holder or contributor is granted under this +license, whether expressly, by implication, estoppel or otherwise. + +DISCLAIMER + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, +INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR +SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, +WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF +THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/lib/Polysemy/Chronos/Orphans.hs b/lib/Polysemy/Chronos/Orphans.hs --- a/lib/Polysemy/Chronos/Orphans.hs +++ b/lib/Polysemy/Chronos/Orphans.hs @@ -133,7 +133,7 @@ mkDate y m d = Date (Year (fromIntegral y)) (Month (fromIntegral m)) (DayOfMonth (fromIntegral d)) mkTime h m s = - TimeOfDay (fromIntegral h) (fromIntegral m) (fromIntegral s) + TimeOfDay (fromIntegral h) (fromIntegral m) (fromIntegral (s * 1000000000)) mkDatetime y mo d h mi s = Datetime (mkDate @Datetime y mo d) (mkTime @Datetime h mi s) diff --git a/lib/Polysemy/Chronos/Time.hs b/lib/Polysemy/Chronos/Time.hs --- a/lib/Polysemy/Chronos/Time.hs +++ b/lib/Polysemy/Chronos/Time.hs @@ -41,6 +41,8 @@ tSleep t Core.SetTime _ -> unit + Core.Adjust _ -> + unit Core.SetDate _ -> unit {-# INLINE interpretTimeChronos #-} diff --git a/polysemy-chronos.cabal b/polysemy-chronos.cabal --- a/polysemy-chronos.cabal +++ b/polysemy-chronos.cabal @@ -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-chronos -version: 0.1.0.0 +version: 0.1.2.0 synopsis: Polysemy effect for chronos description: Please see the readme on Github at category: Time @@ -13,6 +13,7 @@ maintainer: tek@tryp.io copyright: 2020 Torsten Schmits license: BSD-2-Clause-Patent +license-file: LICENSE build-type: Simple extra-source-files: readme.md @@ -28,15 +29,72 @@ Paths_polysemy_chronos 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 -fplugin=Polysemy.Plugin build-depends: - aeson >=1.4 && <1.5 - , base >=4 && <5 + aeson ==1.4.* + , base ==4.* , chronos >=1.1.1 && <1.2 , containers - , polysemy >=1.3.0 && <1.4 - , polysemy-plugin >=0.2.5 && <0.3 + , polysemy >=1.3 && <1.6 + , polysemy-plugin >=0.2.5 , polysemy-time , text mixins: @@ -55,15 +113,72 @@ Paths_polysemy_chronos 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 -fplugin=Polysemy.Plugin -threaded -rtsopts -with-rtsopts=-N -fplugin=Polysemy.Plugin build-depends: - aeson >=1.4 && <1.5 - , base >=4 && <5 + aeson ==1.4.* + , base ==4.* , chronos >=1.1.1 && <1.2 , containers , hedgehog - , polysemy >=1.3.0 && <1.4 + , polysemy >=1.3 && <1.6 , polysemy-chronos , polysemy-plugin , polysemy-test