@@ -4,6 +4,13 @@ module List where
4import Native.Utils (min, max)
4import Native.Utils (min, max)
5import Native.List as L
5import Native.List as L
7+-- Add an element to the front of a list
8+-- a :: [b,c] = [a,b,c]
12+(++) : [a] -> [a] -> [a]
7-- Extract the first element of a list. List must be non-empty.
14-- Extract the first element of a list. List must be non-empty.
8head : [a] -> a
15head : [a] -> a
@@ -111,15 +118,6 @@ intersperse sep xs =
111 [a] -> [a]
118 [a] -> [a]
114−{-- TODO: only found in docs
116−-- Add an element to the front of a list
117−-- a :: [b,c] = [a,b,c]
118−(::) : a -> [a] -> [a]
120−-- Appends two lists.
121−(++) : [a] -> [a] -> [a]
123-- Take the first n members of a list.
121-- Take the first n members of a list.
124-- take 2 [1,2,3,4]) ==> [1,2]
122-- take 2 [1,2,3,4]) ==> [1,2]
125take : Int -> [a] -> [a]
123take : Int -> [a] -> [a]
@@ -128,5 +126,3 @@ take : Int -> [a] -> [a]
128-- drop 2 [1,2,3,4]) ==> [3,4]
126-- drop 2 [1,2,3,4]) ==> [3,4]
129drop : Int -> [a] -> [a]
127drop : Int -> [a] -> [a]