| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.StrictCheck.Internal.Unevaluated
Description
Internal module: This module does not make any stability guarantees, and may not adhere to the PVP.
This module defines the internal exception type used to implement the to/from-Demand methods in Test.StrictCheck.Demand. We don't export this type from the library to discourage users from interacting with this mechanism.
- data Unevaluated = Unevaluated
Documentation
data Unevaluated Source #
In fromDemand, this exception is (purely, lazily) thrown whenever a
Thunk is encountered. In toDemand, it is caught and converted back to a
Thunk.
Constructors
| Unevaluated |
Instances