Polysemy.State.Keyed.Law

Documentation

prop_lawfulKeyedState :: forall k r. MakeLaw (KeyedState k) r => (forall a. Eq a => Eq (k a), GEq k, GShow k) => (Has Show k, Has Eq k, Has Arbitrary k, Arbitrary (Some k)) => InterpreterFor (KeyedState k) r -> Property

newtype KeyValuePair k a

Constructors

KeyValuePair (k a, a)

Instances

(Has Show k, GShow k) => GShow (KeyValuePair k :: Type -> Type)

Defined in Polysemy.State.Keyed.Law

Methods

gshowsPrec :: forall (a :: k0). Int -> KeyValuePair k a -> ShowS

GEq k => GEq (KeyValuePair k :: Type -> Type)

Defined in Polysemy.State.Keyed.Law

Methods

geq :: forall (a :: k0) (b :: k0). KeyValuePair k a -> KeyValuePair k b -> Maybe (a :~: b)

(Has Arbitrary k, Arbitrary (Some k)) => Arbitrary (Some (KeyValuePair k))

Defined in Polysemy.State.Keyed.Law

Methods

arbitrary :: Gen (Some (KeyValuePair k))

shrink :: Some (KeyValuePair k) -> [Some (KeyValuePair k)]

law_consistency :: forall k r. MakeLaw (KeyedState k) r => (forall a. Eq a => Eq (k a), GEq k, GShow k) => (Has Show k, Has Eq k, Has Arbitrary k, Arbitrary (Some k)) => Law (KeyedState k) r