Forum: Move asker into its own datatype

1 files changed, 26 insertions, 0 deletions

diff --git a/forum/asker.ur b/forum/asker.ur
new file mode 100644
index 0000000..947f20c
--- /dev/null
+++ b/forum/asker.ur
@@ -0,0 +1,26 @@
+type asker = option string
+
+val eq_asker = Option.eq
+
+val show_asker =
+    mkShow (
+        fn nameOpt =>
+	    case nameOpt of
+        	None => "Anonymous"
+              | Some nam => nam
+    )
+
+val read_asker =
+    let fun parse text =
+	    case text of
+		"Anonymous" => None
+	      | nam => Some nam
+    in
+	mkRead parse (compose Some parse)
+    end
+
+val sql_asker = sql_option_prim
+
+val anonymous = None
+
+val namedAsker = Some