| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Conformance.Lean.Oracle
Description
JSON transport shared by the model observations consumed by live stories.
Synopsis
- expectedObservation :: FilePath -> [String] -> Value -> IO (Either String Value)
- modelVerdict :: Value -> Maybe Value -> Either String (Value, Value)
Documentation
expectedObservation :: FilePath -> [String] -> Value -> IO (Either String Value) Source #
modelVerdict :: Value -> Maybe Value -> Either String (Value, Value) Source #
The model's verdict on a submitted transaction, as its outcome and reason: the law's, from the driver's row, and, when the law accepts and the driver was asked to judge the transaction's outputs, a refusal for the reason the judgement names when they do not pay what the exit owes.