summaryrefslogtreecommitdiff
path: root/forum/score.urs
blob: d3e3e18c36600652575d81cab2522712131a33ff (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
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