Outcome

private enum Outcome

The outcome of a goal.

Show on GitHub

  • The goal was solved.

    Information inferred from the goal has been stored in the solver’s state.

    Declaration

    Swift

    case success
    Show on GitHub

  • The goal was unsatisfiable.

    The goal was in conflict with the information inferred by the solver. The payload is a closure that generates a diagnostic of the conflict.

    Declaration

    Swift

    case failure(DiagnoseFailure)
    Show on GitHub

  • The goal was broken into subordinate goal.

    The payload is a non-empty array of subordinate goals along with a closure that’s used to generate a diagnostic in case one of the subordinate goals are unsatisfiable.

    Declaration

    Swift

    case product([GoalIdentity], DiagnoseFailure)
    Show on GitHub

  • Returns the diagnosis constructor of .failure or .product payload.

    Declaration

    Swift

    var diagnoseFailure: DiagnoseFailure? { get }
    Show on GitHub