~/jendhub

def read_result

mlbend-datasets@0.1.6.0 · main.bend:219

import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets
import Base

219def read_result(result: Result<&1, &1, U32 & String, String>) -> IO(Maybe<&1, String>):
220  match result:
221    case Fail{e}:
222      IO.pure(Maybe<&1, String>, None{})
223    case Done{text}:
224      IO.pure(Maybe<&1, String>, Some{text})

Uses (7)

Used by (1)