From e8f3b786a16777838aea1d635411c4e43b819464 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 2 May 2013 17:33:54 -0400 Subject: Forum: Add score tracking --- forum/score.urs | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 forum/score.urs (limited to 'forum/score.urs') 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 -- cgit v1.2.3