blob: 947f20cf7e9f09a778bf9156a13166868a4418da (
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 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
|