Type Alias ActionItemResult 

pub type ActionItemResult<Item, Accepted = <Item as ActionItem>::Accepted, Rejection = <Item as ActionItem>::Rejection, Prerequisite = <Item as ActionItem>::Prerequisite> = SettledItem<Item, ItemSettlement<Item, Accepted, Rejection, Prerequisite>>;

Exact result of one action item within an interpreted action product.

The inner sum records the capability attempt. The outer sum preserves an untouched item when an earlier corrupt item stopped ordered traversal.

Aliased Type

pub enum ActionItemResult<Item, Accepted = <Item as ActionItem>::Accepted, Rejection = <Item as ActionItem>::Rejection, Prerequisite = <Item as ActionItem>::Prerequisite> {
    Attempted(ItemSettlement<Item, Accepted, Rejection, Prerequisite>),
    Unattempted(Item),
}

Variants

Attempted(ItemSettlement<Item, Accepted, Rejection, Prerequisite>)

The concrete interpreter returned the item’s complete settlement.

Unattempted(Item)

Product traversal stopped at an earlier corrupt item.