Is the given function associative when restricted to the same value but possibly different times?
Modulecheckers-0.6.0Haskell2010
Test.QuickCheck.Later
Later. Allows for testing of functions that depend on the order of evaluation.
TODO: move this functionality to the testing package for Unamb.
Synopsis
- value isAssocTimes
- value isCommutTimes
- value delay
- value delayForever
- Packagecheckers-0.6.0
- Exports4
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceLater.hs
Is the given function commutative when restricted to the same value but possibly different times?
Delay a value's availability by the given duration in seconds. Note that the delay happens only on the first evaluation.
A value that is never available. Rerun of hang from unamb, but
replicated to avoid mutual dependency.
TODO: Remove when this module is moved into the unamb-test package.