pub fn effectful_result_payload(tpe: &Type) -> Option<&Type>Expand description
The payload a of tpe, when tpe is exactly the shape an unmarked
facade’s result must be — Task (Result Failure a), Task, Result and
Failure each recognised by the qualified name of their declaration and
never by spelling. None for any other shape, Task Int and
Maybe (Task Int) included — those are Error::FacadeResultNotEffect,
not this function’s business to name.