| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.DBVar
Synopsis
- genUpdates :: Delta da => Gen ( Base da) -> GenDelta da -> Gen ( Updates da)
- prop_StoreUpdates :: ( Monad m, Delta da, Eq ( Base da), Buildable da, Show ( Base da)) => ( forall b. m b -> PropertyM IO b) -> Store m da -> Gen ( Base da) -> GenDelta da -> PropertyM IO ()
- type GenDelta da = Base da -> Gen da
- newtype Updates da = Updates [( Base da, da)]
Documentation
genUpdates :: Delta da => Gen ( Base da) -> GenDelta da -> Gen ( Updates da) Source #
Randomly generate a sequence of updates
Arguments
| :: ( Monad m, Delta da, Eq ( Base da), Buildable da, Show ( Base da)) | |
| => ( forall b. m b -> PropertyM IO b) |
Function to embed the monad in
|
| -> Store m da |
Store that is to be tested. |
| -> Gen ( Base da) |
Generator for the initial value. |
| -> GenDelta da |
Generator for deltas. |
| -> PropertyM IO () |
type GenDelta da = Base da -> Gen da Source #
Given a value, generate a random delta starting from this value.
A sequence of updates and values after updating. The update that is applied *last* appears in the list *first*.