From 350cde2324cf4bc9df6c4bcecf638b8208495b64 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 25 Apr 2013 17:03:10 -0400 Subject: Forum: Move asker into its own datatype --- forum/asker.ur | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 forum/asker.ur (limited to 'forum/asker.ur') 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 -- cgit v1.2.3