Mercurial > urweb
annotate tests/tags.ur @ 2155:7ce804ecd56b
A number of bug fixes in the manual
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 11 Jun 2015 19:38:03 -0400 |
| parents | 884673e5f7d5 |
| children |
| rev | line source |
|---|---|
| adam@2031 | 1 table images : { Id : int, Content : blob } |
| adam@2031 | 2 table tags : { Id : int, Tag : string } |
| adam@2031 | 3 |
| adam@2031 | 4 datatype mode = Present | Absent |
| adam@2031 | 5 type condition = { Tag : string, Mode : mode } |
| adam@2031 | 6 |
| adam@2031 | 7 type tag_query = sql_query [] [] [] [Id = int] |
| adam@2031 | 8 |
| adam@2031 | 9 fun addCondition (c : condition) (q : tag_query) : tag_query = |
| adam@2031 | 10 case c.Mode of |
| adam@2031 | 11 Present => (SELECT I.Id AS Id |
| adam@2031 | 12 FROM ({{q}}) AS I |
| adam@2031 | 13 JOIN tags ON tags.Id = I.Id AND tags.Tag = {[c.Tag]}) |
| adam@2032 | 14 | Absent => (SELECT I.Id AS Id |
| adam@2032 | 15 FROM ({{q}}) AS I |
| adam@2032 | 16 LEFT JOIN tags ON tags.Id = I.Id AND tags.Tag = {[c.Tag]} |
| adam@2032 | 17 WHERE tags.Tag IS NULL) |
| adam@2031 | 18 |
| adam@2031 | 19 fun withConditions (cs : list condition) : tag_query = |
| adam@2031 | 20 List.foldl addCondition (SELECT images.Id AS Id FROM images) cs |
| adam@2031 | 21 |
| adam@2031 | 22 fun main (cs : list condition) : transaction page = |
| adam@2031 | 23 x <- queryX (withConditions cs) (fn r => <xml><li>{[r.Id]}</li></xml>); |
| adam@2031 | 24 return <xml><body> |
| adam@2031 | 25 {x} |
| adam@2031 | 26 </body></xml> |