@@ -4,6 +4,13 @@ module List where
44import Native.Utils (min, max)
55import Native.List as L
66
7+-- Add an element to the front of a list
8+-- a :: [b,c] = [a,b,c]
9+(::) : a -> [a] -> [a]
10+
11+-- Appends two lists.
12+(++) : [a] -> [a] -> [a]
13+
714-- Extract the first element of a list. List must be non-empty.
815head : [a] -> a
916
@@ -111,15 +118,6 @@ intersperse sep xs =
111118 [a] -> [a]
112119 [] -> []
113120
114−{-- TODO: only found in docs
115−
116−-- Add an element to the front of a list
117−-- a :: [b,c] = [a,b,c]
118−(::) : a -> [a] -> [a]
119−
120−-- Appends two lists.
121−(++) : [a] -> [a] -> [a]
122−
123121-- Take the first n members of a list.
124122-- take 2 [1,2,3,4]) ==> [1,2]
125123take : Int -> [a] -> [a]
@@ -128,5 +126,3 @@ take : Int -> [a] -> [a]
128126-- drop 2 [1,2,3,4]) ==> [3,4]
129127drop : Int -> [a] -> [a]
130128
131−--}
132−