Input.list.values: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/input.bend as Input
Lines 76-83 of bend-kit-camber@0.15.0.1/input.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/input.bend&start_line=76&end_line=83

import Base

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/input.bend&name=scalar.convert