Mercurial > urweb
comparison demo/more/dragList.ur @ 918:6a77c3e33908
Use cdata for shorter Monad map
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 08 Sep 2009 11:02:53 -0400 |
parents | 321a2d6feb40 |
children | e6bc6bbd7a32 |
comparison
equal
deleted
inserted
replaced
917:321a2d6feb40 | 918:6a77c3e33908 |
---|---|
13 | Some di => original <- get di; | 13 | Some di => original <- get di; |
14 movedOver <- get itemSource; | 14 movedOver <- get itemSource; |
15 set di movedOver; | 15 set di movedOver; |
16 set itemSource original; | 16 set itemSource original; |
17 set draggingItem (Some itemSource)}> | 17 set draggingItem (Some itemSource)}> |
18 <dyn signal={Monad.mp (fn s => <xml>{[s]}</xml>) (signal itemSource)}/> | 18 <dyn signal={Monad.mp cdata (signal itemSource)}/> |
19 </li></xml>) itemSources} | 19 </li></xml>) itemSources} |
20 </ul> | 20 </ul> |
21 </xml> | 21 </xml> |
22 | 22 |
23 fun main () = | 23 fun main () = |