~/jendhub

def list.values

bend-kit-camber@0.15.0.1 · input.bend:76

import bend-kit-camber@0.15.0.1/input.bend as Input
import Base

76def list.values(~I: Data, ~convert: String -> Maybe<&2, I>, values: List<&2, String>) -> Result<&2, &1, U32, List<&2, I>>:
77  match values:
78    case Nil{}: Done{Nil{}}
79    case value <> rest:
80      do Result<&2, &1, U32, List<&2, I>>:
81        head : I <- scalar.convert(~I, convert(value))
82        tail : List<&2, I> <- list.values(~I, ~convert, rest)
83        return head <> tail

Uses (8)

Used by (1)