def encode.done

bend-kit-redis@0.3.0.0 · redis.bend:209

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

209def encode.done(st: E) -> Maybe<&1, Bytes.Bytes>:
210  E{o, ok, n} = st
211  match ok:
212    case True{}:
213      Some{o}
214    case False{}:
215      None{}