def hello.check

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

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

import Base

888def hello.check(c: Conn, e: Maybe<&1, Val>) -> IO(Result<&1, &1, Failure, Conn>):
889  match e:
890    case None{}:
891      IO.pure(Result<&1, &1, Failure, Conn>, Done{c})
892    case Some{v}:
893      do IO<Result<&1, &1, Failure, Conn>>:
894        close(c)
895        return Fail{Rejected{v}}

Uses (10)

Used by (1)

bend-kit-redis@0.3.0.0/redis:hello.got