~/jendhub

def details_push

bendonnect-rpc@0.1.0.0 · src/error.bend:248

import bendonnect-rpc@0.1.0.0/src/error.bend as Error
import Base

248def details_push(m: Maybe<&1, Detail>, rest: List<&1, Detail>) -> List<&1, Detail>:
249  match m:
250    case Some{d}:
251      Con{d, rest}
252    case None{}:
253      rest

Uses (3)

Used by (1)