def step.of

bend-kit-postgres@0.3.0.0 · scram.bend:187

import bend-kit-postgres@0.3.0.0/scram.bend as Scram

import Base

187def step.of(r: Result<&1, &1, U32 & String, String>, k: String -> IO(Result<&1, &1, U32 & String, Final & String>)) -> IO(Result<&1, &1, U32 & String, Final & String>):
188  match r:
189    case Fail{e}:
190      IO.pure(Result<&1, &1, U32 & String, Final & String>, Fail{e})
191    case Done{s}:
192      k(s)

Uses (7)

Used by (1)

bend-kit-postgres@0.3.0.0/scram:step