Pull15

Models

PullinterfaceAn effectful pull step that either produces a value, fails with E, or signals completion with Cause.Done<Done>.

Done

catchDoneconstHandles Cause.Done failures in an effect while leaving ordinary failures in the error channel.doneExitFromCauseconstConverts a Cause into an Exit, treating Cause.Done as successful completion.filterDoneconstFinds a Cause.Done failure in a Cause.filterDoneLeftoverconstFilters a Cause to extract the leftover value from done errors.filterDoneVoidconstFinds a Cause.Done failure in a cause whose done value is not used.filterNoDoneconstKeeps a Cause only when it contains no Cause.Done failures.isDoneCauseconstChecks whether a Cause contains any done errors.isDoneFailureconstChecks whether a Cause.Reason is a Fail reason whose error is a Cause.Done signal.

Pattern Matching

matchEffectconstPattern matches on a Pull, handling success, failure, and done cases.

Type Extractors

ErrortypeExtracts the error type from a Pull type, excluding Done errors.ExcludeDonetypeExcludes Cause.Done completion signals from an error type union.LeftovertypeExtracts the leftover type from a Pull type.ServicestypeExtracts the service requirements (context) type from a Pull type.SuccesstypeExtracts the success type from a Pull type.