def Drive.ended

bend-trace-context@0.2.0.0 · trace_context.bend:1000

import Base

1000# Whether the machine in a driver's result has ended.
1001def Drive.ended(~T: Data, ~D: Data, ~waiting: T -> Maybe<&2, D>,
1002  result: List<&1, Result<&1, &1, U32 & String, U32>> & T) -> Bool:
1003  match result:
1004    case Tuple{tape, step}:
1005      Maybe.is_none(&2, D, waiting(step))