| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.Check.Arbitrary
Synopsis
- arbitraryAction :: forall e r. ArbitraryAction (TypesOf e) e r => Gen (SomeAction e r)
- arbitraryActionOfType :: forall e a r. (GenericK e, GArbitraryK e (RepK e) r a) => Gen (e (Sem r) a)
- arbitraryActionFromRow :: forall (effs :: EffectRow) r. ArbitraryEff effs r => Gen (SomeEff r)
- arbitraryActionFromRowOfType :: forall (effs :: EffectRow) r a. ArbitraryEffOfType a effs r => Gen (SomeEffOfType r a)
Documentation
Arguments
| :: forall e r. ArbitraryAction (TypesOf e) e r | |
| => Gen (SomeAction e r) |
Generate any action for effect e.
arbitraryActionOfType Source #
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 Source #
Arguments
| :: forall (effs :: EffectRow) r. ArbitraryEff effs r | |
| => Gen (SomeEff r) |
Generate any action from any effect in effs.
arbitraryActionFromRowOfType Source #
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.