Polysemy.Check.Arbitrary.AnyEff

Documentation

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].

type family ArbitraryForAll (e :: Effect) (as :: [Type]) (r :: EffectRow) :: Constraint where ...

A type family that expands to a GArbitraryK constaint for every type in the first list.

Equations

ArbitraryForAll e '[] f = ()

ArbitraryForAll e (a ': as) r = (Eq a, Show a, GArbitraryK e (RepK e) r a, ArbitraryForAll e as r)

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.AnyEff

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.AnyEff

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

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.AnyEff

Methods

genSomeEff :: [Gen (SomeEff r)]

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

Defined in Polysemy.Check.Arbitrary.AnyEff

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.AnyEff

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.AnyEff

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.AnyEff

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.AnyEff

Methods

genSomeAction :: [Gen (SomeAction e r)]