-
Notifications
You must be signed in to change notification settings - Fork 125
/
floatvalue.opa
128 lines (101 loc) · 3.84 KB
/
floatvalue.opa
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
/*
Copyright © 2011 MLstate
This file is part of OPA.
OPA is free software: you can redistribute it and/or modify it under the
terms of the GNU Affero General Public License, version 3, as published by
the Free Software Foundation.
OPA is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
more details.
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*/
/**
* A configurable float value widget.
* Using string value widget.
*
* @author Frederic Ye, 2010-2011
* @author François-Régis Sinot, 2011 (refactoring)
* @category WIDGET
* @destination PUBLIC
* @stability EXPERIMENTAL
* @version 0.3
*/
import stdlib.web.client
import stdlib.widgets.{core, anyvalue}
import stdlib.interactions.editable
import stdlib.components.table
type WFloatValue.value = float
type WFloatValue.parameters = WAnyValue.parameters(float)
type WFloatValue.stylers = WAnyValue.stylers
type WFloatValue.config = {
prefix_class: option(string);
range: (option(float), option(float))
step: float
incr_text: option((string, xhtml))
decr_text: option((string, xhtml))
stylers: WFloatValue.stylers
show_buttons: bool
}
WFloatValue = {{
/*
* {1 Configuration}
*/
default_config = {
prefix_class = none
range = (none, none)
step = 1.
incr_text = some(("Increase", Xhtml.of_string("+")))
decr_text = some(("Decrease", Xhtml.of_string("-")))
stylers = {
base_stylers = IEditable.default_config.stylers
incr = WStyler.empty
decr = WStyler.empty
}
show_buttons = true
} : WFloatValue.config
default_config_with_css(css_prefix:string) = { default_config with
prefix_class = some(css_prefix)
} : WFloatValue.config
@private float_incr(x) = x + 1.
@private float_decr(x) = x - 1.
@private
to_anyvalue_config(config:WFloatValue.config) : WAnyValue.config(float) = {
WAnyValue.default_config(0.) with
prefix_class = config.prefix_class
parse = Parser.float
show = string_of_float
validator = float_validator(config, _)
incr = Option.map((s, x) -> (s, x, float_incr), config.incr_text)
decr = Option.map((s, x) -> (s, x, float_decr), config.decr_text)
stylers = config.stylers
show_buttons = config.show_buttons
} : WAnyValue.config(float)
// Validator
@private
float_validator(config:WFloatValue.config, value:WFloatValue.value) =
(lower, upper) = config.range
Option.switch(_ <= value, true, lower) && Option.switch(_ >= value, true, upper)
// Parse function
parse(config:WFloatValue.config, prefix_id:string) : option(WFloatValue.value) =
WAnyValue.parse(to_anyvalue_config(config), prefix_id)
// Display function
show(config:WFloatValue.config, prefix_id:string, init_value:WFloatValue.value) : xhtml =
WAnyValue.show(to_anyvalue_config(config), prefix_id, init_value)
// Edit function
edit(config:WFloatValue.config, prefix_id:string, init_value:WFloatValue.value) =
WAnyValue.edit(to_anyvalue_config(config), prefix_id, init_value)
html(config:WFloatValue.config, prefix_id:string, parameters:WFloatValue.parameters, value:IEditable.content(WFloatValue.value), empty_text:string) =
WAnyValue.html(to_anyvalue_config(config), prefix_id, parameters, value, empty_text)
}}
WFloatCell(box : WFloatValue.value -> 'a, unbox : option('a) -> WFloatValue.value) : CTable.Cell.widget('a) =
anyvalue_config : WAnyValue.config(float) =
{ WAnyValue.default_config(0.) with
parse = Parser.float
show = string_of_float
validator(_) = true
incr = none
decr = none
} : WAnyValue.config(float)
WAnyCell(anyvalue_config, box, unbox)