Err package:what4

Err :: e -> PartialWithErr e p v
what4 What4.Partial
data ErrorBehavior
what4 What4.Protocol.Online
This datatype describes how a solver will behave following an error.
ErrorBehavior :: SMTInfoFlag
what4 What4.Protocol.SMTLib2.Syntax
Error :: LogLevel
what4 What4.Serialize.Log
Something bad
BaseIntegerRepr :: BaseTypeRepr BaseIntegerType
what4 What4.BaseTypes
optErr :: Doc Void -> OptionSetResult
what4 What4.Config
Reject the new option value with an error message.
optionSetError :: OptionSetResult -> !Maybe (Doc Void)
what4 What4.Config
OrderedSemiRingIntegerRepr :: OrderedSemiRingRepr SemiRingInteger
what4 What4.Expr
SemiRingIntegerRepr :: SemiRingRepr SemiRingInteger
what4 What4.Expr
matlabSolverReturnType :: MatlabSolverFn f args ret -> BaseTypeRepr ret
what4 What4.Expr.MATLAB
Get return type of solver fn.
varErrors :: Simple Lens (CollectedVarInfo t) (Seq (Doc Void))
what4 What4.Expr.VarIdentification
satQueryError :: SolverEndSATQuery -> !Maybe String
what4 What4.Interface
NoErr :: Partial p v -> PartialWithErr e p v
what4 What4.Partial
data PartialWithErr e p v
what4 What4.Partial
Either a partial value, or a straight-up error.
ContinueOnError :: ErrorBehavior
what4 What4.Protocol.Online
This indicates the solver will remain live and respond to further commmands following an error
solverErrorBehavior :: SolverProcess scope solver -> !ErrorBehavior
what4 What4.Protocol.Online
Indicate this solver's behavior following an error response
solverResponse :: SolverProcess t solver -> InputStream Text
what4 What4.Protocol.Online
The solver's stdout, for easier parsing of responses.
solverStderr :: SolverProcess scope solver -> !HandleReader
what4 What4.Protocol.Online
Standard error for the solver process
SMTLib2Error :: Command -> Text -> SMTLib2Exception
what4 What4.Protocol.SMTLib2
SMTLib2ParseError :: SMTLib2Intent -> [Command] -> Text -> SMTLib2Exception
what4 What4.Protocol.SMTLib2
getErrorBehavior :: SMTLib2GenericSolver a => a -> WriterConn t (Writer a) -> IO ErrorBehavior
what4 What4.Protocol.SMTLib2
ppSolverVersionCheckError :: SolverVersionCheckError -> Doc ann
what4 What4.Protocol.SMTLib2
ppSolverVersionError :: SolverVersionError -> Doc ann
what4 What4.Protocol.SMTLib2
queryErrorBehavior :: SMTLib2Tweaks a => WriterConn t (Writer a) -> IO ErrorBehavior
what4 What4.Protocol.SMTLib2
Query the solver's error behavior setting
runSolverInOverride :: SMTLib2GenericSolver a => a -> AcknowledgementAction t (Writer a) -> ProblemFeatures -> Maybe (ConfigOption BaseBoolType) -> ExprBuilder t st fs -> LogData -> [BoolExpr t] -> (SatResult (GroundEvalFn t, Maybe (ExprRangeBindings t)) () -> IO b) -> IO b
what4 What4.Protocol.SMTLib2