def Run.next

bend-kit-commands@0.4.0.0 · commands.bend:84

import bend-kit-commands@0.4.0.0/commands.bend as Commands
import Base

84def Run.next(-A: Type, -B: Type, r: Result<&1, &1, U32 & String, A>, f: A -> Run(B)) -> Run(B):
85  match r:
86    case Done{x}:
87      f(x)
88    case Fail{e}:
89      Run.fail(B, e)

Uses (6)

Used by (1)