Polysemy.Check.Arbitrary

Documentation

data family ExistentialFor (e :: Effect)

Data family for the instantiation of existential variables. If you want to check properties for an effect e that contains an existential type, the synthesized Arbitrary instance will instantiate all of e's existential types at ExistentialFor e.

ExistentialFor e must have instances for every dictionary required by e, and will likely require an Arbitrary instance.

class GArbitraryK (e :: Effect) (f :: LoT Effect -> Type) (r :: EffectRow) (a :: Type) where

Given GArbitraryK e (RepK e) r a, this typeclass computes generators for every well-typed constructor of e (Sem r) a. It is capable of building generators for GADTs.

Methods

garbitraryk :: [Gen (f (LoT2 (Sem r) a))]

Instances

GArbitraryK e (U1 :: LoT Effect -> Type) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen (U1 (LoT2 (Sem r) a))]

Arbitrary (Interpret f (LoT2 (Sem r) a)) => GArbitraryK e (Field f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen (Field f (LoT2 (Sem r) a))]

GArbitraryK e (((('Kon ((~~) :: Type -> k1 -> Constraint) :: Atom ((Type -> Type) -> Type -> Type) (Type -> k1 -> Constraint)) :@: (Var1 :: Atom ((Type -> Type) -> Type -> Type) Type)) :@: ('Kon b :: Atom ((Type -> Type) -> Type -> Type) k1)) :=>: f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen (((('Kon (~~) :@: Var1) :@: 'Kon b) :=>: f) (LoT2 (Sem r) a))]

GArbitraryK e ((('Kon ((~~) b :: Type -> Constraint) :: Atom ((Type -> Type) -> Type -> Type) (Type -> Constraint)) :@: (Var1 :: Atom ((Type -> Type) -> Type -> Type) Type)) :=>: f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen ((('Kon ((~~) b) :@: Var1) :=>: f) (LoT2 (Sem r) a))]

GArbitraryK e f r a => GArbitraryK e (((('Kon ((~~) :: Type -> Type -> Constraint) :: Atom ((Type -> Type) -> Type -> Type) (Type -> Type -> Constraint)) :@: (Var1 :: Atom ((Type -> Type) -> Type -> Type) Type)) :@: ('Kon a :: Atom ((Type -> Type) -> Type -> Type) Type)) :=>: f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen (((('Kon (~~) :@: Var1) :@: 'Kon a) :=>: f) (LoT2 (Sem r) a))]

GArbitraryK e f r a => GArbitraryK e ((('Kon ((~~) a :: Type -> Constraint) :: Atom ((Type -> Type) -> Type -> Type) (Type -> Constraint)) :@: (Var1 :: Atom ((Type -> Type) -> Type -> Type) Type)) :=>: f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen ((('Kon ((~~) a) :@: Var1) :=>: f) (LoT2 (Sem r) a))]

GArbitraryK e (c1 :=>: (c2 :=>: f)) r a => GArbitraryK e ((c1 :&: c2) :=>: f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen (((c1 :&: c2) :=>: f) (LoT2 (Sem r) a))]

(Interpret c (LoT2 (Sem r) a), GArbitraryK e f r a) => GArbitraryK e (c :=>: f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen ((c :=>: f) (LoT2 (Sem r) a))]

(GArbitraryK e f r a, GArbitraryK e g r a) => GArbitraryK e (f :+: g) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen ((f :+: g) (LoT2 (Sem r) a))]

(GArbitraryK e (SubstRep f (ExistentialFor e)) r a, SubstRep' f (ExistentialFor e) (LoT2 (Sem r) a)) => GArbitraryK e (Exists Type f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen (Exists Type f (LoT2 (Sem r) a))]

(GArbitraryK e f r a, GArbitraryK e g r a) => GArbitraryK e (f :*: g) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen ((f :*: g) (LoT2 (Sem r) a))]

GArbitraryK e f r a => GArbitraryK e (M1 _1 _2 f) r a

Defined in Polysemy.Check.Arbitrary

Methods

garbitraryk :: [Gen (M1 _1 _2 f (LoT2 (Sem r) a))]

genEff :: forall e r a. (GenericK e, GArbitraryK e (RepK e) r a) => Gen (e (Sem r) a)

genEff @e @r @a gets a generator capable of producing every well-typed GADT constructor of e (Sem r) a.

arbitraryAction

Arguments

:: forall e r. ArbitraryAction (TypesOf e) e r

=> Gen (SomeAction e r)

Generate any action for effect e.

arbitraryActionOfType

Arguments

:: forall e a r. (GenericK e, GArbitraryK e (RepK e) r a)

=> Gen (e (Sem r) a)

Generate any action for effect e that produces type a.

arbitraryActionFromRow

Arguments

:: forall (effs :: EffectRow) r. ArbitraryEff effs r

=> Gen (SomeEff r)

Generate any action from any effect in effs.

arbitraryActionFromRowOfType

Arguments

:: forall (effs :: EffectRow) r a. ArbitraryEffOfType a effs r

=> Gen (SomeEffOfType r a)

Generate any action from any effect in effs that produces type a.

type family GTypesOf (f :: LoT Effect -> Type) :: [Type] where ...

Helper function for implementing GTypesOf

Equations

GTypesOf (M1 _1 _2 f) = GTypesOf f

GTypesOf (f :+: g) = Append (GTypesOf f) (GTypesOf g)

GTypesOf ((('Kon (~~) :@: Var1) :@: 'Kon a) :=>: f) = '[a]

GTypesOf (('Kon ((~~) a) :@: Var1) :=>: f) = '[a]

GTypesOf _1 = '[()]

type TypesOf (e :: Effect) = GTypesOf (RepK e)

TypesOf e is a list of every type that can be bound via e's actions.

For example, given:

data MyEffect m a where
  Foo :: MyEffect m Int
  Blah :: Bool -> MyEffect m String

the result of TypesOf MyEffect is '[Int, String].

data SomeAction e (r :: EffectRow) where

SomeAction e r is some action for effect e in effect row r.

Constructors

SomeAction

Fields

• :: (Member e r, Eq a, Show a, CoArbitrary a, Show (e (Sem r) a))
• => e (Sem r) a
• -> SomeAction e r

Instances

Show (SomeAction e r)

Defined in Polysemy.Check.Arbitrary

Methods

showsPrec :: Int -> SomeAction e r -> ShowS

show :: SomeAction e r -> String

showList :: [SomeAction e r] -> ShowS

data SomeEff (r :: EffectRow) where

SomeEff r is some action for some effect in the effect row r.

Constructors

SomeEff

Fields

• :: (Member e r, Eq a, Show a, CoArbitrary a, Show (e (Sem r) a))
• => e (Sem r) a
• -> SomeEff r

Instances

Show (SomeEff r)

Defined in Polysemy.Check.Arbitrary

Methods

showsPrec :: Int -> SomeEff r -> ShowS

show :: SomeEff r -> String

showList :: [SomeEff r] -> ShowS

data SomeEffOfType (r :: EffectRow) a where

SomeEff r is some action for some effect in the effect row r.

Constructors

SomeEffOfType

Fields

• :: (Member e r, Eq a, Show a, CoArbitrary a, Show (e (Sem r) a))
• => e (Sem r) a
• -> SomeEffOfType r a

Instances

Show (SomeEffOfType r a)

Defined in Polysemy.Check.Arbitrary

Methods

showsPrec :: Int -> SomeEffOfType r a -> ShowS

show :: SomeEffOfType r a -> String

showList :: [SomeEffOfType r a] -> ShowS

class ArbitraryEff (es :: EffectRow) (r :: EffectRow) where

ArbitraryEff es r lets you randomly generate an action in any of the effects es.

Methods

genSomeEff :: [Gen (SomeEff r)]

Instances

ArbitraryEff ('[] :: [Effect]) r

Defined in Polysemy.Check.Arbitrary

Methods

genSomeEff :: [Gen (SomeEff r)]

(ArbitraryEff es r, ArbitraryAction (TypesOf e) e r) => ArbitraryEff (e ': es) r

Defined in Polysemy.Check.Arbitrary

Methods

genSomeEff :: [Gen (SomeEff r)]

class ArbitraryEffOfType (a :: Type) (es :: EffectRow) (r :: EffectRow) where

ArbitraryEffOfType a es r lets you randomly generate an action in any of the effects es that produces type a.

Methods

genSomeEffOfType :: [Gen (SomeEffOfType r a)]

Instances

ArbitraryEffOfType a ('[] :: [Effect]) r

Defined in Polysemy.Check.Arbitrary

Methods

genSomeEffOfType :: [Gen (SomeEffOfType r a)]

(Eq a, Show a, Show (e (Sem r) a), ArbitraryEffOfType a es r, GenericK e, GArbitraryK e (RepK e) r a, CoArbitrary a, Member e r) => ArbitraryEffOfType a (e ': es) r

Defined in Polysemy.Check.Arbitrary

Methods

genSomeEffOfType :: [Gen (SomeEffOfType r a)]

class ArbitraryAction (as :: [Type]) (e :: Effect) (r :: EffectRow) where

ArbitraryAction as e r lets you randomly generate an action producing any type in as from the effect e.

Methods

genSomeAction :: [Gen (SomeAction e r)]

Instances

ArbitraryAction ('[] :: [Type]) e r

Defined in Polysemy.Check.Arbitrary

Methods

genSomeAction :: [Gen (SomeAction e r)]

(ArbitraryAction as e r, Eq a, Show a, Member e r, Show (e (Sem r) a), GenericK e, CoArbitrary a, GArbitraryK e (RepK e) r a) => ArbitraryAction (a ': as) e r

Defined in Polysemy.Check.Arbitrary

Methods

genSomeAction :: [Gen (SomeAction e r)]

Orphan instances

(Arbitrary a, ArbitraryEff r r, ArbitraryEffOfType a r r) => Arbitrary (Sem r a)

Methods

arbitrary :: Gen (Sem r a)

shrink :: Sem r a -> [Sem r a]