Mercurial > urweb
diff demo/more/dlist.urs @ 962:7e7edfb6fe82
Testing Dlist StartPosition with constant offset
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 19 Sep 2009 13:44:12 -0400 |
parents | 2a50da66ffd8 |
children | 6f9d1565de56 |
line wrap: on
line diff
--- a/demo/more/dlist.urs Sat Sep 19 13:32:33 2009 -0400 +++ b/demo/more/dlist.urs Sat Sep 19 13:44:12 2009 -0400 @@ -12,7 +12,8 @@ val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type -> (t -> position -> xml (ctx ++ body) [] []) - -> {Filter : t -> signal bool, + -> {StartPosition : signal (option int), + Filter : t -> signal bool, Sort : signal (option (t -> t -> signal bool)) (* <= *)} -> dlist t -> xml (ctx ++ body) [] []