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