Mercurial > urweb
view demo/more/dragList.ur @ 1855:0480b8f29a47
Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 07 Jun 2013 16:11:52 -0400 |
parents | e6bc6bbd7a32 |
children |
line wrap: on
line source
fun draggableList title items = itemSources <- List.mapM source items; draggingItem <- source None; return <xml> <h2>Great {[title]}</h2> <ul> {List.mapX (fn itemSource => <xml> <li onmousedown={fn _ => set draggingItem (Some itemSource)} onmouseup={fn _ => set draggingItem None} onmouseover={fn _ => di <- get draggingItem; case di of None => return () | Some di => original <- get di; movedOver <- get itemSource; set di movedOver; set itemSource original; set draggingItem (Some itemSource)}> <dyn signal={Monad.mp cdata (signal itemSource)}/> </li></xml>) itemSources} </ul> </xml> fun main () = bears <- draggableList "Bears" ("Pooh" :: "Paddington" :: "Rupert" :: "Edward" :: []); beers <- draggableList "Beers" ("Budvar" :: "Delirium Tremens" :: "Deuchars" :: []); boars <- draggableList "Boars" ("Sus scrofa scrofa" :: "Sus scrofa ussuricus" :: "Sus scrofa cristatus" :: "Sus scrofa taiwanus" :: []); return <xml> <head> <link rel="stylesheet" type="text/css" href="../../dragList.css"/> </head> <body> {bears} {beers} {boars} </body> </xml>