From aa5107257e787c2d8f8286ac33d380b12baf6bbc Mon Sep 17 00:00:00 2001 From: Jared Ramirez Date: Wed, 9 Sep 2020 10:22:48 -0700 Subject: [PATCH] Change builitin List docs 'joinOks' to 'oks' --- compiler/builtins/docs/List.roc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/builtins/docs/List.roc b/compiler/builtins/docs/List.roc index bae09ad227..1fbeb433be 100644 --- a/compiler/builtins/docs/List.roc +++ b/compiler/builtins/docs/List.roc @@ -274,15 +274,15 @@ join : List (List elem) -> List elem joinMap : List before, (before -> List after) -> List after ## Like #List.join, but only keeps elements tagged with `Ok`. Elements -## tagged with `Err` are dropped. +## tagged with anything else are dropped. ## ## This can be useful after using an operation that returns a #Result ## on each element of a list, for example #List.first: ## ## >>> [ [ 1, 2, 3 ], [], [], [ 4, 5 ] ] ## >>> |> List.map List.first -## >>> |> List.joinOks -joinOks : List (Result elem *) -> List elem +## >>> |> List.oks +oks : List [Ok elem]* -> List elem ## Iterates over the shortest of the given lists and returns a list of `Pair` ## tags, each wrapping one of the elements in that list, along with the elements