def first.err

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

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

import Base

877def first.err(xs: List<&1, Val>) -> Maybe<&1, Val>:
878  match xs:
879    case Nil{}:
880      None{}
881    case Con{Error{t}, rest}:
882      Some{Error{t}}
883    case Con{BulkError{t}, rest}:
884      Some{BulkError{t}}
885    case Con{v, rest}:
886      first.err(rest)

Uses (3)

Used by (1)

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