diff options
Diffstat (limited to 'forum/score.urs')
-rw-r--r-- | forum/score.urs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/forum/score.urs b/forum/score.urs new file mode 100644 index 0000000..d3e3e18 --- /dev/null +++ b/forum/score.urs @@ -0,0 +1,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 |