result (Q5979779)

From MaRDI portal
Result Type for Safely Handling Operations that can Succeed or Fail
Language Label Description Also known as
English
result
Result Type for Safely Handling Operations that can Succeed or Fail

    Statements

    0 references
    Allows wrapping values in success() and failure() types to capture the result of operations, along with any status codes. Risky expressions can be wrapped in as_result() and functions wrapped in result() to catch errors and assign the relevant result types. Monadic functions can be bound together as pipelines or transaction scripts using then_try(), to gracefully handle errors at any step.
    0 references
    21 November 2023
    0 references
    0.1.0
    21 November 2023
    0 references
    0 references
    0 references
    0 references
    0 references