cd8ade6 · elk · git.iko.soy

git.iko.soy/elk

on master help sign in

Merge branch 'dev' into release-candidate

cd8ade6Evan Czaplicki13 years ago

compiler/Generate/JavaScript.hs+3−3

compare with master

unifiedsplit

@@ -378,10 +378,10 @@ binop span op e1 e2 =

378

379 opDict = Map.fromList (infixOps ++ specialOps)

380

381− specialOp str func = ("Basics." ++ str, func)

381+ specialOp str func = [ (str, func), ("Basics." ++ str, func) ]

382 infixOp str op = specialOp str (InfixExpr () op)

383

384− infixOps =

384+ infixOps = concat

385 [ infixOp "+" OpAdd

386 , infixOp "-" OpSub

387 , infixOp "*" OpMul

@@ -390,7 +390,7 @@ binop span op e1 e2 =

390 , infixOp "||" OpLOr

391 ]

392

393− specialOps =

393+ specialOps = concat

394 [ specialOp "^" $ \a b -> obj "Math.pow" `call` [a,b]

395 , specialOp "|>" $ flip (<|)

396 , specialOp "==" $ \a b -> obj "_N.eq" `call` [a,b]

libraries/Graphics/Input.elm+115−76

@@ -1,6 +1,31 @@

1−

2module Graphics.Input where

1module Graphics.Input where

3+{-| This module is for creating standard input widgets such as buttons and

4+text boxes. In general, functions in this library return a signal representing

5+events from the user.

7+The simplest inputs are *one-way inputs*, meaning the user can update

8+them, but the programmer cannot. If you need to update an input from

9+within the program you want the slightly more complex *two-way inputs*.

10+This document will always show the one-way inputs first, *then* the

11+two-way inputs.

12+

13+# Buttons

14+@docs button, customButton, buttons, customButtons

15+

16+# Fields

17+@docs field, password, email, fields, FieldState, emptyFieldState

18+

19+# Checkboxes

20+@docs checkbox, checkboxes

21+

22+# Drop Downs

23+@docs stringDropDown, dropDown

24+

25+# Mouse Hover

26+@docs hoverable, hoverables

27+-}

28+

4import Basics (String)

29import Basics (String)

5import Signal (Signal,lift,dropRepeats)

30import Signal (Signal,lift,dropRepeats)

6import Native.Graphics.Input

31import Native.Graphics.Input

@@ -11,116 +36,127 @@ import JavaScript (JSString)

12id x = x

37id x = x

14−-- Create a group of buttons.

39+{-| Create a group of buttons.

15−--

40+

16−-- * The first argument is the default value of the `events` signal.

41+ * The first argument is the default value of the `events` signal.

17−-- * The `events` signal represents all of the activity in this group

42+ * The `events` signal represents all of the activity in this group

18−-- of buttons.

43+ of buttons.

19−-- * The `button` function creates a button

44+ * The `button` function creates a button

20−-- with the given name, like “Submit” or “Cancel”.

45+ with the given name, like “Submit” or “Cancel”.

21−-- The `a` value is sent to `events` whenever the button is pressed.

46+ The `a` value is sent to `events` whenever the button is pressed.

47+-}

22buttons : a -> { events : Signal a,

48buttons : a -> { events : Signal a,

23 button : a -> String -> Element }

49 button : a -> String -> Element }

24buttons = Native.Graphics.Input.buttons

50buttons = Native.Graphics.Input.buttons

26−-- Create a button with a given label. The result is an `Element` and

52+{-| Create a button with a given label. The result is an `Element` and

27−-- a signal of units. This signal triggers whenever the button is pressed.

53+a signal of units. This signal triggers whenever the button is pressed.

54+-}

28button : String -> (Element, Signal ())

55button : String -> (Element, Signal ())

29button txt =

56button txt =

30 let pool = buttons ()

57 let pool = buttons ()

31 in (pool.button () txt, pool.events)

58 in (pool.button () txt, pool.events)

33−-- Create a group of custom buttons.

60+{-| Create a group of custom buttons.

34−--

61+

35−-- * The first argument is the default value of the `events` signal.

62+ * The first argument is the default value of the `events` signal.

36−-- * The `events` signal represents all of the activity in this group

63+ * The `events` signal represents all of the activity in this group

37−-- of custom buttons.

64+ of custom buttons.

38−-- * The `customButton` function creates a button with three different visual

65+ * The `customButton` function creates a button with three different visual

39−-- states, one for up, hovering, and down. The resulting button has dimensions

66+ states, one for up, hovering, and down. The resulting button has dimensions

40−-- large enough to fit all three possible `Elements`.

67+ large enough to fit all three possible `Elements`.

41−-- The `a` value is sent to `events` whenever the button is pressed.

68+ The `a` value is sent to `events` whenever the button is pressed.

69+-}

42customButtons : a -> { events : Signal a,

70customButtons : a -> { events : Signal a,

43 customButton : a -> Element -> Element -> Element -> Element }

71 customButton : a -> Element -> Element -> Element -> Element }

44customButtons = Native.Graphics.Input.customButtons

72customButtons = Native.Graphics.Input.customButtons

46−-- Create a button with custom states for up, hovering, and down

74+{-| Create a button with custom states for up, hovering, and down

47−-- (given in that order). The result is an `Element` and

75+(given in that order). The result is an `Element` and a signal of

48−-- a signal of units. This signal triggers whenever the button is pressed.

76+units. This signal triggers whenever the button is pressed.

77+-}

49customButton : Element -> Element -> Element -> (Element, Signal ())

78customButton : Element -> Element -> Element -> (Element, Signal ())

50customButton up hover down =

79customButton up hover down =

51 let pool = customButtons ()

80 let pool = customButtons ()

52 in (pool.customButton () up hover down, pool.events)

81 in (pool.customButton () up hover down, pool.events)

54−-- Create a group of checkboxes.

83+{-| Create a group of checkboxes.

55−--

84+

56−-- * The first argument is the default value of the `events` signal.

85+ * The first argument is the default value of the `events` signal.

57−-- * The `events` signal represents all of the activity in this group

86+ * The `events` signal represents all of the activity in this group

58−-- of checkboxes.

87+ of checkboxes.

59−-- * The `checkbox` function creates a

88+ * The `checkbox` function creates a

60−-- checkbox with a given state. The `(Bool -> a)` function is used

89+ checkbox with a given state. The `(Bool -> a)` function is used

61−-- when the checkbox is modified. It takes the new state and turns

90+ when the checkbox is modified. It takes the new state and turns

62−-- it into a value that can be sent to `events`. For example, this

91+ it into a value that can be sent to `events`. For example, this

63−-- lets you add an ID to distinguish between checkboxes.

92+ lets you add an ID to distinguish between checkboxes.

93+-}

64checkboxes : a -> { events : Signal a,

94checkboxes : a -> { events : Signal a,

65 checkbox : (Bool -> a) -> Bool -> Element }

95 checkbox : (Bool -> a) -> Bool -> Element }

66checkboxes = Native.Graphics.Input.checkboxes

96checkboxes = Native.Graphics.Input.checkboxes

68−-- Create a checkbox with a given start state. Unlike `button`, this result

98+{-| Create a checkbox with a given start state. Unlike `button`, this

69−-- is a *signal* of elements. That is because a checkbox has state that

99+result is a *signal* of elements. That is because a checkbox has state

70−-- updates based on user input.

100+that updates based on user input. The boolean signal represents the

71−-- The boolean signal represents the current state of the checkbox.

101+current state of the checkbox.

102+-}

72checkbox : Bool -> (Signal Element, Signal Bool)

103checkbox : Bool -> (Signal Element, Signal Bool)

73checkbox b =

104checkbox b =

74 let cbs = checkboxes b

105 let cbs = checkboxes b

75 in (lift (cbs.checkbox id) cbs.events, cbs.events)

106 in (lift (cbs.checkbox id) cbs.events, cbs.events)

107

77−-- Detect when the mouse is hovering over some elements. This

108+{-| Detect when the mouse is hovering over some elements. This

78−-- allows you to create and destroy elements dynamically and still

109+allows you to create and destroy elements dynamically and still

79−-- detect hover information.

110+detect hover information.

111+-}

80hoverables : a -> { events : Signal a,

112hoverables : a -> { events : Signal a,

81 hoverable : (Bool -> a) -> Element -> Element }

113 hoverable : (Bool -> a) -> Element -> Element }

82hoverables = Native.Graphics.Input.hoverables

114hoverables = Native.Graphics.Input.hoverables

115

84−-- Detect when the mouse is hovering over a specifici `Element`.

116+{-| Detect when the mouse is hovering over a specifici `Element`. -}

85hoverable : Element -> (Element, Signal Bool)

117hoverable : Element -> (Element, Signal Bool)

86hoverable elem =

118hoverable elem =

87 let pool = hoverables False

119 let pool = hoverables False

88 in (pool.hoverable id elem, pool.events)

120 in (pool.hoverable id elem, pool.events)

121

90−-- Represents the current state of a text field. The `string` represents the

122+{-| Represents the current state of a text field. The `string` represents the

91−-- characters filling the text field. The `selectionStart` and `selectionEnd`

123+characters filling the text field. The `selectionStart` and `selectionEnd`

92−-- values represent what the user has selected with their mouse or keyboard.

124+values represent what the user has selected with their mouse or keyboard.

93−-- For example:

125+For example:

94−--

126+

95−-- { string="She sells sea shells", selectionStart=3, selectionEnd=0 }

127+ { string="She sells sea shells", selectionStart=3, selectionEnd=0 }

96−--

128+

97−-- This means the user highlighted the substring `"She"` backwards.

129+This means the user highlighted the substring `"She"` backwards.

130+-}

98type FieldState = { string:String, selectionStart:Int, selectionEnd:Int }

131type FieldState = { string:String, selectionStart:Int, selectionEnd:Int }

132

100−-- Create a group of text input fields.

133+{-| Create a group of text input fields.

101−--

134+

102−-- * The first argument is the default value of the `events` signal.

135+ * The first argument is the default value of the `events` signal.

103−-- * The `events` signal represents all of the activity in this group

136+ * The `events` signal represents all of the activity in this group

104−-- of text fields.

137+ of text fields.

105−-- * The `field` function creates a

138+ * The `field` function creates a

106−-- field with the given ghost text and initial field state.

139+ field with the given ghost text and initial field state.

107−-- When the field is modified, the `(FieldState -> a)` function

140+ When the field is modified, the `(FieldState -> a)` function

108−-- takes the new state and turns

141+ takes the new state and turns

109−-- it into a value that can be sent to `events`. For example, this

142+ it into a value that can be sent to `events`. For example, this

110−-- lets you add an ID to distinguish between input fields.

143+ lets you add an ID to distinguish between input fields.

144+-}

111fields : a -> { events : Signal a,

145fields : a -> { events : Signal a,

112 field : (FieldState -> a) -> String -> FieldState -> Element }

146 field : (FieldState -> a) -> String -> FieldState -> Element }

113fields = Native.Graphics.Input.fields

147fields = Native.Graphics.Input.fields

114

148

115−-- The empty field state:

149+{-| The empty field state:

116−--

150+

117−-- { string="", selectionStart=0, selectionEnd=0 }

151+ { string="", selectionStart=0, selectionEnd=0 }

152+-}

118emptyFieldState : FieldState

153emptyFieldState : FieldState

119emptyFieldState = { string="", selectionStart=0, selectionEnd=0 }

154emptyFieldState = { string="", selectionStart=0, selectionEnd=0 }

120

155

121−-- Create a field with the given default text. The output is an element that

156+{-| Create a field with the given default text. The output is an element

122−-- updates to match the user input and a signal of strings representing the

157+that updates to match the user input and a signal of strings representing

123−-- content of the field.

158+the content of the field.

159+-}

124field : String -> (Signal Element, Signal String)

160field : String -> (Signal Element, Signal String)

125field placeHolder =

161field placeHolder =

126 let tfs = fields emptyFieldState

162 let tfs = fields emptyFieldState

@@ -128,7 +164,7 @@ field placeHolder =

128 in (lift (tfs.field id placeHolder) changes,

164 in (lift (tfs.field id placeHolder) changes,

129 dropRepeats (lift .string changes))

165 dropRepeats (lift .string changes))

130

166

131−-- Same as `field` but the UI element blocks out each characters.

167+{-| Same as `field` but the UI element blocks out each characters. -}

132password : String -> (Signal Element, Signal String)

168password : String -> (Signal Element, Signal String)

133password placeHolder =

169password placeHolder =

134 let tfs = Native.Graphics.Input.passwords emptyFieldState

170 let tfs = Native.Graphics.Input.passwords emptyFieldState

@@ -136,9 +172,10 @@ password placeHolder =

136 in (lift (tfs.field id placeHolder) changes,

172 in (lift (tfs.field id placeHolder) changes,

137 dropRepeats (lift .string changes))

173 dropRepeats (lift .string changes))

138

174

139−-- Same as `field` but it adds an annotation that this field is for email

175+{-| Same as `field` but it adds an annotation that this field is for email

140−-- addresses. This is helpful for auto-complete and for mobile users who may

176+addresses. This is helpful for auto-complete and for mobile users who may

141−-- get a custom keyboard with an `@` and `.com` button.

177+get a custom keyboard with an `@` and `.com` button.

178+-}

142email : String -> (Signal Element, Signal String)

179email : String -> (Signal Element, Signal String)

143email placeHolder =

180email placeHolder =

144 let tfs = Native.Graphics.Input.emails emptyFieldState

181 let tfs = Native.Graphics.Input.emails emptyFieldState

@@ -146,15 +183,17 @@ email placeHolder =

146 in (lift (tfs.field id placeHolder) changes,

183 in (lift (tfs.field id placeHolder) changes,

147 dropRepeats (lift .string changes))

184 dropRepeats (lift .string changes))

148

185

149−-- Create a drop-down menu. When the user selects a string,

186+{-| Create a drop-down menu. When the user selects a string,

150−-- the current state of the drop-down is set to the associated

187+the current state of the drop-down is set to the associated

151−-- value. This lets you avoid manually mapping the string onto

188+value. This lets you avoid manually mapping the string onto

152−-- functions and values.

189+functions and values.

190+-}

153dropDown : [(String,a)] -> (Signal Element, Signal a)

191dropDown : [(String,a)] -> (Signal Element, Signal a)

154dropDown = Native.Graphics.Input.dropDown

192dropDown = Native.Graphics.Input.dropDown

155

193

156−-- Create a drop-down menu for selecting strings. The resulting

194+{-| Create a drop-down menu for selecting strings. The resulting

157−-- signal of strings represents the string that is currently selected.

195+signal of strings represents the string that is currently selected.

196+-}

158stringDropDown : [String] -> (Signal Element, Signal String)

197stringDropDown : [String] -> (Signal Element, Signal String)

159stringDropDown strs =

198stringDropDown strs =

160 dropDown (List.map (\s -> (s,s)) strs)

199 dropDown (List.map (\s -> (s,s)) strs)

libraries/List.elm+103−65

@@ -1,131 +1,162 @@

1−

2module List where

1module List where

3+{-| A library for manipulating lists of values. Every value in a

4+list must have the same type.

6+# Basics

7+@docs (::), (++), length, reverse, map

9+# Sub-lists

10+@docs head, tail, last, filter, take, drop

11+

12+# Putting Lists Together

13+@docs concat, concatMap, join, intersperse, zip, zipWith

14+

15+# Taking Lists Apart

16+@docs split, partition, unzip

17+

18+# Folds

19+@docs foldr, foldl, foldr1, foldl1, scanl, scanl1

20+

21+# Special Folds

22+@docs susm, product, maximum, minimum, all, any, and, or

23+-}

24+

4import open Basics

25import open Basics

5import Native.List

26import Native.List

7−-- Add an element to the front of a list `(1 :: [2,3] == [1,2,3])`

28+{-| Add an element to the front of a list `(1 :: [2,3] == [1,2,3])` -}

8(::) : a -> [a] -> [a]

29(::) : a -> [a] -> [a]

9(::) = Native.List.cons

30(::) = Native.List.cons

11−-- Puts two appendable things together:

32+{-| Puts two appendable things together:

12−--

33+

13−-- [1,1] ++ [2,3] == [1,1,2,3]

34+ [1,1] ++ [2,3] == [1,1,2,3]

14−-- "abc" ++ "123" == "abc123"

35+ "abc" ++ "123" == "abc123"

36+-}

15(++) : appendable -> appendable -> appendable

37(++) : appendable -> appendable -> appendable

16(++) = Native.List.append

38(++) = Native.List.append

18−-- Extract the first element of a list. List must be non-empty.

40+{-| Extract the first element of a list. List must be non-empty.

19−-- `(head [1,2,3] == 1)`

41+`(head [1,2,3] == 1)`

42+-}

20head : [a] -> a

43head : [a] -> a

21head = Native.List.head

44head = Native.List.head

23−-- Extract the elements after the head of the list. List must be non-empty.

46+{-| Extract the elements after the head of the list. List must be non-empty.

24−-- `(tail [1,2,3] == [2,3])`

47+`(tail [1,2,3] == [2,3])`

48+-}

25tail : [a] -> [a]

49tail : [a] -> [a]

26tail = Native.List.tail

50tail = Native.List.tail

28−-- Extract the last element of a list. List must be non-empty.

52+{-| Extract the last element of a list. List must be non-empty.

29−-- `(last [1,2,3] == 3)`

53+`(last [1,2,3] == 3)`

54+-}

30last : [a] -> a

55last : [a] -> a

31last = Native.List.last

56last = Native.List.last

33−-- Check if a list is empty `(isEmpty [] == True)`

58+{-| Check if a list is empty `(isEmpty [] == True)` -}

34isEmpty : [a] -> Bool

59isEmpty : [a] -> Bool

35isEmpty xs =

60isEmpty xs =

36 case xs of

61 case xs of

37 [] -> True

62 [] -> True

38 _ -> False

63 _ -> False

40−-- Apply a function to every element of a list: `(map sqrt [1,4,9] == [1,2,3])`

65+{-| Apply a function to every element of a list: `(map sqrt [1,4,9] == [1,2,3])` -}

41map : (a -> b) -> [a] -> [b]

66map : (a -> b) -> [a] -> [b]

42map = Native.List.map

67map = Native.List.map

44−-- Reduce a list from the left: `(foldl (::) [] "gateman" == "nametag")`

69+{-| Reduce a list from the left: `(foldl (::) [] "gateman" == "nametag")` -}

45foldl : (a -> b -> b) -> b -> [a] -> b

70foldl : (a -> b -> b) -> b -> [a] -> b

46foldl = Native.List.foldl

71foldl = Native.List.foldl

48−-- Reduce a list from the right: `(foldr (+) 0 [1,2,3] == 6)`

73+{-| Reduce a list from the right: `(foldr (+) 0 [1,2,3] == 6)` -}

49foldr : (a -> b -> b) -> b -> [a] -> b

74foldr : (a -> b -> b) -> b -> [a] -> b

50foldr = Native.List.foldr

75foldr = Native.List.foldr

52−-- Reduce a list from the left without a base case. List must be non-empty.

77+{-| Reduce a list from the left without a base case. List must be non-empty. -}

53foldl1 : (a -> a -> a) -> [a] -> a

78foldl1 : (a -> a -> a) -> [a] -> a

54foldl1 = Native.List.foldl1

79foldl1 = Native.List.foldl1

56−-- Reduce a list from the right without a base case. List must be non-empty.

81+{-| Reduce a list from the right without a base case. List must be non-empty. -}

57foldr1 : (a -> a -> a) -> [a] -> a

82foldr1 : (a -> a -> a) -> [a] -> a

58foldr1 = Native.List.foldr1

83foldr1 = Native.List.foldr1

60−-- Reduce a list from the left, building up all of the intermediate results into a list.

85+{-| Reduce a list from the left, building up all of the intermediate results into a list.

61−--

86+

62−-- scanl (+) 0 [1,2,3,4] == [0,1,3,6,10]

87+ scanl (+) 0 [1,2,3,4] == [0,1,3,6,10]

88+-}

63scanl : (a -> b -> b) -> b -> [a] -> [b]

89scanl : (a -> b -> b) -> b -> [a] -> [b]

64scanl = Native.List.scanl

90scanl = Native.List.scanl

66−-- Same as scanl but it doesn't require a base case. List must be non-empty.

92+{-| Same as scanl but it doesn't require a base case. List must be non-empty.

67−--

93+

68−-- scanl1 (+) [1,2,3,4] == [1,3,6,10]

94+ scanl1 (+) [1,2,3,4] == [1,3,6,10]

95+-}

69scanl1 : (a -> a -> a) -> [a] -> [a]

96scanl1 : (a -> a -> a) -> [a] -> [a]

70scanl1 = Native.List.scanl1

97scanl1 = Native.List.scanl1

72−-- Filter out elements which do not satisfy the predicate: `(filter isLower "AaBbCc" == "abc")`

99+{-| Keep only elements that satisfy the predicate:

100+`(filter isLower "AaBbCc" == "abc")`

101+-}

73filter : (a -> Bool) -> [a] -> [a]

102filter : (a -> Bool) -> [a] -> [a]

74filter = Native.List.filter

103filter = Native.List.filter

104

76−-- Determine the length of a list: `(length "innumerable" == 11)`

105+{-| Determine the length of a list: `(length "innumerable" == 11)` -}

77length : [a] -> Int

106length : [a] -> Int

78length = Native.List.length

107length = Native.List.length

108

80−-- Reverse a list. `(reverse [1..4] == [4,3,2,1])`

109+{-| Reverse a list. `(reverse [1..4] == [4,3,2,1])` -}

81reverse : [a] -> [a]

110reverse : [a] -> [a]

82reverse = Native.List.reverse

111reverse = Native.List.reverse

112

84−-- Check to see if all elements satisfy the predicate.

113+{-| Check to see if all elements satisfy the predicate. -}

85all : (a -> Bool) -> [a] -> Bool

114all : (a -> Bool) -> [a] -> Bool

86all = Native.List.all

115all = Native.List.all

116

88−-- Check to see if any elements satisfy the predicate.

117+{-| Check to see if any elements satisfy the predicate. -}

89any : (a -> Bool) -> [a] -> Bool

118any : (a -> Bool) -> [a] -> Bool

90any = Native.List.any

119any = Native.List.any

120

92−-- Check to see if all elements are True.

121+{-| Check to see if all elements are True. -}

93and : [Bool] -> Bool

122and : [Bool] -> Bool

94and = foldl (&&) True

123and = foldl (&&) True

124

96−-- Check to see if any elements are True.

125+{-| Check to see if any elements are True. -}

97or : [Bool] -> Bool

126or : [Bool] -> Bool

98or = foldl (||) False

127or = foldl (||) False

128

100−-- Concatenate a list of appendable things:

129+{-| Concatenate a list of appendable things:

101−--

130+

102−-- concat ["tree","house"] == "treehouse"

131+ concat ["tree","house"] == "treehouse"

132+-}

103concat : [appendable] -> appendable

133concat : [appendable] -> appendable

104concat = Native.List.concat

134concat = Native.List.concat

105

135

106−-- Map a given function onto a list and flatten the resulting lists.

136+{-| Map a given function onto a list and flatten the resulting lists.

107−--

137+

108−-- concatMap f xs == concat (map f xs)

138+ concatMap f xs == concat (map f xs)

139+-}

109concatMap : (a -> appendable) -> [a] -> appendable

140concatMap : (a -> appendable) -> [a] -> appendable

110concatMap f list = concat (map f list)

141concatMap f list = concat (map f list)

111

142

112−-- Get the sum of the list elements. `(sum [1..4] == 10)`

143+{-| Get the sum of the list elements. `(sum [1..4] == 10)` -}

113sum : [number] -> number

144sum : [number] -> number

114sum = foldl (+) 0

145sum = foldl (+) 0

115

146

116−-- Get the product of the list elements. `(product [1..4] == 24)`

147+{-| Get the product of the list elements. `(product [1..4] == 24)` -}

117product : [number] -> number

148product : [number] -> number

118product = foldl (*) 1

149product = foldl (*) 1

119

150

120−-- Find the maximum element in a non-empty list: `maximum [1,4,2] == 4`

151+{-| Find the maximum element in a non-empty list: `maximum [1,4,2] == 4` -}

121maximum : [comparable] -> comparable

152maximum : [comparable] -> comparable

122maximum = foldl1 max

153maximum = foldl1 max

123

154

124−-- Find the minimum element in a non-empty list: `minimum [3,2,1] == 1`

155+{-| Find the minimum element in a non-empty list: `minimum [3,2,1] == 1` -}

125minimum : [comparable] -> comparable

156minimum : [comparable] -> comparable

126minimum = foldl1 min

157minimum = foldl1 min

127

158

128−-- Split a list based on the predicate.

159+{-| Split a list based on the predicate. -}

129partition : (a -> Bool) -> [a] -> ([a],[a])

160partition : (a -> Bool) -> [a] -> ([a],[a])

130partition pred lst =

161partition pred lst =

131 case lst of

162 case lst of

@@ -133,44 +164,49 @@ partition pred lst =

133 x::xs -> let (bs,cs) = partition pred xs in

164 x::xs -> let (bs,cs) = partition pred xs in

134 if pred x then (x::bs,cs) else (bs,x::cs)

165 if pred x then (x::bs,cs) else (bs,x::cs)

135

166

136−-- Combine two lists, combining them into tuples pairwise.

167+{-| Combine two lists, combining them into tuples pairwise.

137−-- If one list is longer, the extra elements are dropped.

168+If one list is longer, the extra elements are dropped.

138−--

169+

139−-- zip [1,2,3] [6,7] == [(1,6),(2,7)]

170+ zip [1,2,3] [6,7] == [(1,6),(2,7)]

140−-- zip == zipWith (,)

171+ zip == zipWith (,)

172+-}

141zip : [a] -> [b] -> [(a,b)]

173zip : [a] -> [b] -> [(a,b)]

142zip = Native.List.zip

174zip = Native.List.zip

143

175

144−-- Combine two lists, combining them with the given function.

176+{-| Combine two lists, combining them with the given function.

145−-- If one list is longer, the extra elements are dropped.

177+If one list is longer, the extra elements are dropped.

146−--

178+

147−-- zipWith (+) [1,2,3] [1,2,3,4] == [2,4,6]

179+ zipWith (+) [1,2,3] [1,2,3,4] == [2,4,6]

180+-}

148zipWith : (a -> b -> c) -> [a] -> [b] -> [c]

181zipWith : (a -> b -> c) -> [a] -> [b] -> [c]

149zipWith = Native.List.zipWith

182zipWith = Native.List.zipWith

150

183

151−-- Decompose a list of tuples.

184+{-| Decompose a list of tuples. -}

152unzip : [(a,b)] -> ([a],[b])

185unzip : [(a,b)] -> ([a],[b])

153unzip pairs =

186unzip pairs =

154 case pairs of

187 case pairs of

155 [] -> ([],[])

188 [] -> ([],[])

156 (x,y)::ps -> let (xs,ys) = (unzip ps) in (x::xs,y::ys)

189 (x,y)::ps -> let (xs,ys) = (unzip ps) in (x::xs,y::ys)

157

190

158−-- Split a list with a given seperator.

191+{-| Split a list with a given seperator.

159−--

192+

160−-- split "," "hello,there,friend" == ["hello", "there", "friend"]

193+ split "," "hello,there,friend" == ["hello", "there", "friend"]

194+-}

161split : [a] -> [a] -> [[a]]

195split : [a] -> [a] -> [[a]]

162split = Native.List.split

196split = Native.List.split

163

197

164−-- Places the given value between all of the lists in the second argument

198+{-| Places the given value between all of the lists in the second

165−-- and concatenates the result.

199+argument and concatenates the result.

166−--

200+

167−-- join "a" ["H","w","ii","n"] == "Hawaiian"

201+ join "a" ["H","w","ii","n"] == "Hawaiian"

202+-}

168join : appendable -> [appendable] -> appendable

203join : appendable -> [appendable] -> appendable

169join = Native.List.join

204join = Native.List.join

170

205

171−-- Places the given value between all members of the given list.

206+{-| Places the given value between all members of the given list.

172−--

207+

173−-- intersperse ' ' "INCEPTION" == "I N C E P T I O N"

208+ intersperse ' ' "INCEPTION" == "I N C E P T I O N"

209+-}

174intersperse : a -> [a] -> [a]

210intersperse : a -> [a] -> [a]

175intersperse sep xs =

211intersperse sep xs =

176 case xs of

212 case xs of

@@ -178,14 +214,16 @@ intersperse sep xs =

178 [a] -> [a]

214 [a] -> [a]

179 [] -> []

215 [] -> []

180

216

181−-- Take the first n members of a list: `(take 2 [1,2,3,4] == [1,2])`

217+{-| Take the first n members of a list: `(take 2 [1,2,3,4] == [1,2])` -}

182take : Int -> [a] -> [a]

218take : Int -> [a] -> [a]

183take = Native.List.take

219take = Native.List.take

184

220

185−-- Drop the first n members of a list: `(drop 2 [1,2,3,4] == [3,4])`

221+{-| Drop the first n members of a list: `(drop 2 [1,2,3,4] == [3,4])` -}

186drop : Int -> [a] -> [a]

222drop : Int -> [a] -> [a]

187drop = Native.List.drop

223drop = Native.List.drop

188

224

189−-- Creates a list with n copies of a value: `(replicate 3 (0,0) == [(0,0),(0,0),(0,0)]`

225+{-| Creates a list with *n* copies of a value:

226+`(repeat 3 (0,0) == [(0,0),(0,0),(0,0)]`

227+-}

190repeat : Int -> a -> [a]

228repeat : Int -> a -> [a]

191repeat = Native.List.repeat

229repeat = Native.List.repeat