def List.map

Base · base.bend:918

918def List.map(~A: Type, ~B: Type, ~f: A -> B, xs: List<A>) -> List<B>:
919  match xs:
920    case Nil{}:
921      Nil{}
922    case h <> t:
923      f(h) <> List.map(~A, ~B, ~f, t)