diff options
Diffstat (limited to 'forum/asker.urs')
| -rw-r--r-- | forum/asker.urs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/forum/asker.urs b/forum/asker.urs new file mode 100644 index 0000000..99be711 --- /dev/null +++ b/forum/asker.urs @@ -0,0 +1,17 @@ +type asker + +val anonymous : asker +val namedAsker : string -> asker + + +(********************************* Instances *********************************) + +val eq_asker : eq asker + +val show_asker : show asker + +(* 'read' producing an 'asker' is guaranteed to never fail, so you can use +'readError' with impunity. *) +val read_asker : read asker + +val sql_asker : sql_injectable asker |