CoercedSlot

This is a module used by the guard-based auditing proposal, though it can stand alone.

CoercedSlots implement the Slot protocol. They hold a single value, and the guard it was coerced by; they are immutable.

Maker
Makes a CoercedSlot holding the result of guard .coerce( specimen, ejector ).

As run/1 unless the guard ejects, in which case the resulting slot's guard will be LostApproval[ guard ].

Protocol
Returns the guard that this slot's value was coerced, or otherwise approved, by.

__optUncall/0
__optUncall :Portrayal

Returns a portrayal in terms of.