Struct OptionPropertyLambda 

pub struct OptionPropertyLambda<A: IVm>(/* private fields */);

Both bits live: the state after a ?. node, a?.b, or a |. step inside a region. Every step is legal here: |() (call), |. (dot), |?.() (option_call) and |!() (end_call).

Implementations

impl<A: IVm> OptionPropertyLambda<A>

pub fn end(self) -> Result<Any<A>, Any<A>>

No continuation: (a?.b), the region closed with nothing after it.

pub fn call( self, runtime: &Any<A>, args: impl FnOnce() -> Result<Any<A>, Any<A>>, ) -> OptionLambda<A>

|(): a?.b(...args), the property called on its receiver, skipped with the region.

pub fn dot( self, key: impl FnOnce() -> Result<Any<A>, Any<A>>, ) -> OptionPropertyLambda<A>

|.: a?.b.c, skipped with the region.

pub fn option_call( self, runtime: &Any<A>, args: impl FnOnce() -> Result<Any<A>, Any<A>>, ) -> OptionLambda<A>

|?.(): a?.b?.(...args), its own guard on the callee.

pub fn end_call( self, runtime: &Any<A>, args: impl FnOnce() -> Result<Any<A>, Any<A>>, ) -> Result<Any<A>, Any<A>>

|!(), terminal: (a?.b)(...args). The parentheses close the region first, so a skipped chain is undefined here and the call happens regardless — the arguments are evaluated, then undefined is called and throws. A live chain calls the property on its receiver; a thrown chain stays thrown, arguments untouched.