summaryrefslogtreecommitdiff
path: root/forum/score.urs
blob: 616d1b606a620fc97aed028e86ff6956df1301d4 (plain)
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
type score

val insightful : score
val undecided : score
val inane : score


(********************************* Instances *********************************)

val eq_score : eq score

val show_score : show score

val sql_score : sql_injectable score
val sql_summable_score : sql_summable score
val nullify_score : nullify score (option score)


(********************************* Updating **********************************)

val update : score -> score -> score


(******************************** Conversion *********************************)

val toInt : score -> int


(****************************** Pretty-printing ******************************)

val withUnits : score -> string -> string