forum/author.urs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

type author

val anonymous : author
val namedAuthor : string -> author


(********************************* Instances *********************************)

val eq_author : eq author

val show_author : show author

(* 'read' producing an 'author' is guaranteed to never fail, so you can use
'readError' with impunity. *)
val read_author : read author

val sql_author : sql_injectable author