jfmengels/elm-review-simplify

More List.minimum/maximum simplifications

Open

#306 ouverte le 16 avr. 2024

Voir sur GitHub
 (2 commentaires) (2 réactions) (0 assignés)Elm (10 forks)github user discovery
enhancementhelp wanted

Métriques du dépôt

Stars
 (22 stars)
Métriques de merge PR
 (Métriques PR en attente)

Description

List.minimum [ 1, 2, 3 ]
--> Just 1
List.minimum (1 :: [ 2, 3 ])
--> Just 1

List.maximum [ 1, 2, 3 ]
--> Just 3

List.minimum [ a, 1 ]
-- Not reported, but if there are duplicate values, then we can remove some of them
List.minimum [ 3, a, 1 ]
--> List.minimum [ a, 1 ]
List.minimum (3 :: list ++ [5])
--> List.minimum (3 :: list)
List.minimum ([3] ++ list ++ [5])
--> List.minimum ([3] ++ list)

List.minimum (List.repeat <positiveInt> x)
--> Just x
List.maximum (List.repeat <positiveInt> x)
--> Just x

If we know x <= y

List.minimum (List.range x y)
--> Just x ✅
List.maximum (List.range x y)
--> Just y ✅

Guide contributeur