Module swipl::result

Prolog results.

Functions in swipl-rs that interact with SWI-Prolog generally return a PrologResult. This allows you to use them with the ? syntax in situations where you need to call multiple such functions, and each failure or exception is a reason to exit early.

This module also provides some transformations on prolog results.

Structs

• PrologException
  Unit type for errors which can only be an exception.

Enums

• PrologError
  A prolog error.
• PrologStringError

Functions

• attempt
  Transforms a PrologResult<()> into a BoolPrologResult, allowing more easy use from an if block.
• attempt_opt
  Transforms a PrologResult into an OptPrologResult, allowing more easy use from an if block.
• fail
  Return a failure.
• into_prolog_result
  Turn a boolean into a prolog result.
• result_to_string_result
• unwrap_result

Type Aliases

• BoolPrologResult
  Result type for expressing failure as a boolean instead of an Err.
• NonFailingPrologResult
  Result type for operations that cannot fail, but can throw an exception.
• OptPrologResult
  result type for expressing failure as an Option type instead of an Err.
• PrologResult
  The main result type that most interface functions return.
• PrologStringResult