Safe Haskell | None |
---|---|
Language | Haskell98 |
Test.Target.Types
Contents
Documentation
data TargetException Source #
Constructors
SmtFailedToProduceOutput | |
SmtError String | |
ExpectedValues Response | |
PreconditionCheckFailed String | |
EvalError String |
Instances
ensureValues :: MonadThrow m => m Response -> m Response Source #
type Constraint = [Expr] Source #
type DataConEnv = [(Symbol, SpecType)] Source #
choicesort :: Sort Source #