| 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.
Synopsis
- 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
| Show Unevaluated Source # | |
Defined in Test.StrictCheck.Internal.Unevaluated Methods showsPrec :: Int -> Unevaluated -> ShowS # show :: Unevaluated -> String # showList :: [Unevaluated] -> ShowS # | |
| Exception Unevaluated Source # | |
Defined in Test.StrictCheck.Internal.Unevaluated Methods toException :: Unevaluated -> SomeException # fromException :: SomeException -> Maybe Unevaluated # displayException :: Unevaluated -> String # | |