def read.push

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

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

import Base

805def read.push(xs: List<&1, Val>, r: Result<&1, &1, Failure, Conn & Val>) -> Result<&1, &1, Failure, Conn & List<&1, Val>>:
806  match r:
807    case Fail{e}:
808      Fail{e}
809    case Done{(c, v)}:
810      Done{(c, Con{v, xs})}

Uses (7)

Used by (1)

bend-kit-redis@0.3.0.0/redis:read.n