@@ -1,7 +1,7 @@
2module List where
2module List where
4−import Native.Utils
4+import open Basics
5import Native.List as Native
5import Native.List as Native
7-- Add an element to the front of a list `(1 :: [2,3] == [1,2,3])`
7-- Add an element to the front of a list `(1 :: [2,3] == [1,2,3])`
@@ -119,11 +119,11 @@ product = foldl (*) 1
120-- Find the maximum element in a non-empty list: `maximum [1,4,2] == 4`
120-- Find the maximum element in a non-empty list: `maximum [1,4,2] == 4`
121maximum : [comparable] -> comparable
121maximum : [comparable] -> comparable
122−maximum = foldl1 Native.Utils.max
122+maximum = foldl1 max
124-- Find the minimum element in a non-empty list: `minimum [3,2,1] == 1`
124-- Find the minimum element in a non-empty list: `minimum [3,2,1] == 1`
125minimum : [comparable] -> comparable
125minimum : [comparable] -> comparable
126−minimum = foldl1 Native.Utils.min
126+minimum = foldl1 min
128-- Split a list based on the predicate.
128-- Split a list based on the predicate.
129partition : (a -> Bool) -> [a] -> ([a],[a])
129partition : (a -> Bool) -> [a] -> ([a],[a])