packages feed

polysemy-check 0.9.0.0 → 0.9.0.1

raw patch · 6 files changed

+11/−15 lines, 6 filesdep ~kind-genericsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: kind-generics

API changes (from Hackage documentation)

- Generics.Kind.Unexported: instance forall t k (c :: Data.PolyKinded.Atom.Atom (t -> k) GHC.Types.Constraint) (x :: t) (xs :: Data.PolyKinded.LoT k) (f :: Data.PolyKinded.LoT (t -> k) -> *). (Data.PolyKinded.Atom.Interpret (Generics.Kind.Unexported.SubstAtom c x) xs, Data.PolyKinded.Atom.Interpret c (x 'Data.PolyKinded.:&&: xs), Generics.Kind.Unexported.SubstRep' f x xs) => Generics.Kind.Unexported.SubstRep' (c Generics.Kind.:=>: f) x xs
- Generics.Kind.Unexported: instance forall t1 k (t2 :: Data.PolyKinded.Atom.Atom (t1 -> k) *) (x :: t1) (xs :: Data.PolyKinded.LoT k). (Data.PolyKinded.Atom.Interpret (Generics.Kind.Unexported.SubstAtom t2 x) xs GHC.Types.~ Data.PolyKinded.Atom.Interpret t2 (x 'Data.PolyKinded.:&&: xs)) => Generics.Kind.Unexported.SubstRep' (Generics.Kind.Field t2) x xs
- Polysemy.Check.Orphans: instance Generics.Kind.GenericK Polysemy.View.View
- Polysemy.Check.Orphans: instance forall k e (m :: k -> *) (a :: k). Generics.Kind.GenericK (Polysemy.Error.Error e m a)
- Polysemy.Check.Orphans: instance forall k e (m :: k -> *). Generics.Kind.GenericK (Polysemy.Error.Error e m)
- Polysemy.Check.Orphans: instance forall k k1 (i :: k) (m :: k1) (a :: k). Generics.Kind.GenericK (Polysemy.Input.Input i m a)
- Polysemy.Check.Orphans: instance forall k k1 (i :: k) (m :: k1). Generics.Kind.GenericK (Polysemy.Input.Input i m)
- Polysemy.Check.Orphans: instance forall k k1 (i :: k). Generics.Kind.GenericK (Polysemy.Input.Input i)
- Polysemy.Check.Orphans: instance forall k k1 (m :: k) (a :: k1). Generics.Kind.GenericK (Polysemy.Fail.Type.Fail m a)
- Polysemy.Check.Orphans: instance forall k k1 (m :: k). Generics.Kind.GenericK (Polysemy.Fail.Type.Fail m)
- Polysemy.Check.Orphans: instance forall k k1 (v :: k) (m :: k1) (a :: k). Generics.Kind.GenericK (Polysemy.View.View v m a)
- Polysemy.Check.Orphans: instance forall k k1 (v :: k) (m :: k1). Generics.Kind.GenericK (Polysemy.View.View v m)
- Polysemy.Check.Orphans: instance forall k k1 (v :: k). Generics.Kind.GenericK (Polysemy.View.View v)
- Polysemy.Check.Orphans: instance forall k k1 k2 (k3 :: k) (e :: k1 -> k2 -> *) (m :: k1) (a :: k2). Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3 e m a)
- Polysemy.Check.Orphans: instance forall k k1 k2 (k3 :: k) (e :: k1 -> k2 -> *) (m :: k1). Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3 e m)
- Polysemy.Check.Orphans: instance forall k k1 k2 (k3 :: k) (e :: k1 -> k2 -> *). Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3 e)
- Polysemy.Check.Orphans: instance forall k k1 k2 (k3 :: k). Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3)
- Polysemy.Check.Orphans: instance forall k o (m :: k) a. Generics.Kind.GenericK (Polysemy.Output.Output o m a)
- Polysemy.Check.Orphans: instance forall k o (m :: k). Generics.Kind.GenericK (Polysemy.Output.Output o m)
- Polysemy.Check.Orphans: instance forall k s (m :: k) a. Generics.Kind.GenericK (Polysemy.State.State s m a)
- Polysemy.Check.Orphans: instance forall k s (m :: k). Generics.Kind.GenericK (Polysemy.State.State s m)
+ Generics.Kind.Unexported: instance forall t k (c :: Data.PolyKinded.Atom.Atom (t -> k) GHC.Types.Constraint) (x :: t) (xs :: Data.PolyKinded.LoT k) (f :: Data.PolyKinded.LoT (t -> k) -> *). (Data.PolyKinded.Atom.Interpret (Generics.Kind.SubstAtom c x) xs, Data.PolyKinded.Atom.Interpret c (x 'Data.PolyKinded.:&&: xs), Generics.Kind.Unexported.SubstRep' f x xs) => Generics.Kind.Unexported.SubstRep' (c Generics.Kind.:=>: f) x xs
+ Generics.Kind.Unexported: instance forall t1 k (t2 :: Data.PolyKinded.Atom.Atom (t1 -> k) *) (x :: t1) (xs :: Data.PolyKinded.LoT k). (Data.PolyKinded.Atom.Interpret (Generics.Kind.SubstAtom t2 x) xs GHC.Types.~ Data.PolyKinded.Atom.Interpret t2 (x 'Data.PolyKinded.:&&: xs)) => Generics.Kind.Unexported.SubstRep' (Generics.Kind.Field t2) x xs
+ Polysemy.Check.Orphans: instance forall e k (m :: k -> *) (a :: k). Generics.Kind.GenericK (Polysemy.Error.Error e m a)
+ Polysemy.Check.Orphans: instance forall e k (m :: k -> *). Generics.Kind.GenericK (Polysemy.Error.Error e m)
+ Polysemy.Check.Orphans: instance forall k (i :: k) k1 (m :: k1) (a :: k). Generics.Kind.GenericK (Polysemy.Input.Input i m a)
+ Polysemy.Check.Orphans: instance forall k (i :: k) k1 (m :: k1). Generics.Kind.GenericK (Polysemy.Input.Input i m)
+ Polysemy.Check.Orphans: instance forall k (i :: k) k1. Generics.Kind.GenericK (Polysemy.Input.Input i)
+ Polysemy.Check.Orphans: instance forall k (k3 :: k) k1 k2 (e :: k1 -> k2 -> *) (m :: k1) (a :: k2). Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3 e m a)
+ Polysemy.Check.Orphans: instance forall k (k3 :: k) k1 k2 (e :: k1 -> k2 -> *) (m :: k1). Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3 e m)
+ Polysemy.Check.Orphans: instance forall k (k3 :: k) k1 k2 (e :: k1 -> k2 -> *). Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3 e)
+ Polysemy.Check.Orphans: instance forall k (k3 :: k) k1 k2. Generics.Kind.GenericK (Polysemy.Tagged.Tagged k3)
+ Polysemy.Check.Orphans: instance forall k (m :: k) k1 (a :: k1). Generics.Kind.GenericK (Polysemy.Fail.Type.Fail m a)
+ Polysemy.Check.Orphans: instance forall k (m :: k) k1. Generics.Kind.GenericK (Polysemy.Fail.Type.Fail m)
+ Polysemy.Check.Orphans: instance forall o k (m :: k) a. Generics.Kind.GenericK (Polysemy.Output.Output o m a)
+ Polysemy.Check.Orphans: instance forall o k (m :: k). Generics.Kind.GenericK (Polysemy.Output.Output o m)
+ Polysemy.Check.Orphans: instance forall s k (m :: k) a. Generics.Kind.GenericK (Polysemy.State.State s m a)
+ Polysemy.Check.Orphans: instance forall s k (m :: k). Generics.Kind.GenericK (Polysemy.State.State s m)
- Generics.Kind.Unexported: type family SubstAtom (f :: Atom (t -> k) d) (x :: t) :: Atom k d
+ Generics.Kind.Unexported: type family SubstRep f x :: LoT k -> *;

Files

ChangeLog.md view
@@ -1,5 +1,11 @@ # Changelog for polysemy-check +## v0.9.0.1 (2022-12-19)++- Updated to latest `kind-generics` library+- Removed orphan instances for `View` effect, which is no longer in polysemy+  HEAD+ ## v0.9.0.0 (2021-12-03)  - `prepropLaw` now generates a new `Law` record, allowing for better control
polysemy-check.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           polysemy-check-version:        0.9.0.0+version:        0.9.0.1 synopsis:       QuickCheck for Polysemy description:    Please see the README on GitHub at <https://github.com/polysemy-research/polysemy-check#readme> category:       Polysemy@@ -59,7 +59,7 @@       QuickCheck     , base >=4.7 && <5     , containers-    , kind-generics <=0.4.1.0+    , kind-generics >=0.4.1.2     , kind-generics-th     , polysemy   default-language: Haskell2010@@ -104,7 +104,7 @@     , base >=4.7 && <5     , containers     , hspec-    , kind-generics <=0.4.1.0+    , kind-generics >=0.4.1.2     , kind-generics-th     , polysemy     , polysemy-check
src/Generics/Kind/Unexported.hs view
@@ -1,6 +1,6 @@ module Generics.Kind.Unexported where -import Generics.Kind hiding (SubstRep)+import Generics.Kind hiding (SubstRep, SubstRep')   class SubstRep' (f :: LoT (t -> k) -> *) (x :: t) (xs :: LoT k) where@@ -41,11 +41,4 @@   type SubstRep (Field t) x = Field (SubstAtom t x)   substRep   (Field x) = Field x   unsubstRep (Field x) = Field x--type family SubstAtom (f :: Atom (t -> k) d) (x :: t) :: Atom k d where-  SubstAtom ('Var 'VZ)     x = 'Kon x-  SubstAtom ('Var ('VS v)) x = 'Var v-  SubstAtom ('Kon t)       x = 'Kon t-  SubstAtom (t1 ':@: t2)   x = (SubstAtom t1 x) ':@: (SubstAtom t2 x)-  SubstAtom (t1 ':&: t2)   x = (SubstAtom t1 x) ':&: (SubstAtom t2 x)
src/Polysemy/Check.hs view
@@ -47,7 +47,6 @@ import Polysemy import Polysemy.Check.Arbitrary import Polysemy.Check.Orphans ()-import Polysemy.Internal import Polysemy.Internal.Union.Inject (Inject, inject) import Test.QuickCheck import Data.Data (Data, showConstr, toConstr)
src/Polysemy/Check/Arbitrary.hs view
@@ -7,7 +7,7 @@ import Control.Applicative (liftA2) import Data.Kind (Type) import GHC.Exts (type (~~))-import Generics.Kind hiding (SubstRep)+import Generics.Kind hiding (SubstRep, SubstRep') import Generics.Kind.Unexported import Polysemy import Polysemy.Internal
src/Polysemy/Check/Orphans.hs view
@@ -15,7 +15,6 @@ import Polysemy.State import Polysemy.Tagged import Polysemy.Trace-import Polysemy.View import Polysemy.Writer  deriveGenericK ''Embed@@ -30,7 +29,6 @@ deriveGenericK ''State deriveGenericK ''Tagged deriveGenericK ''Trace-deriveGenericK ''View deriveGenericK ''Writer  deriving instance Show s => Show (State s (Sem r) a)