diff options
Diffstat (limited to 'forum/author.urs')
-rw-r--r-- | forum/author.urs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/forum/author.urs b/forum/author.urs new file mode 100644 index 0000000..619aced --- /dev/null +++ b/forum/author.urs @@ -0,0 +1,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 |