def hello.got

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

import bend-kit-redis@0.3.0.0/redis.bend as Redis

import Base

897def hello.got(r: Result<&1, &1, Failure, Conn & List<&1, Val>>) -> IO(Result<&1, &1, Failure, Conn>):
898  match r:
899    case Fail{e}:
900      IO.pure(Result<&1, &1, Failure, Conn>, Fail{e})
901    case Done{(c, xs)}:
902      hello.check(c, first.err(xs))

Uses (11)

Used by (1)

bend-kit-redis@0.3.0.0/redis:hello