pub trait MaskEvaluation:
'static
+ Send
+ Sync {
// Required method
fn invoke<'life0, 'async_trait>(
&'life0 self,
mask: MaskFuture,
) -> Pin<Box<dyn Future<Output = VortexResult<Mask>> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait;
}Expand description
Refines the given mask, returning a mask equal in length to the input mask.
It is recommended to defer awaiting the input mask for as long as possible (ideally, after all I/O is complete). This allows other conjuncts the opportunity to refine the mask as much as possible before it is used.
§Post-conditions
The returned mask MUST have been intersected with the input mask.