adamc@916: fun draggableList title items = adamc@916: itemSources <- List.mapM source items; adamc@916: draggingItem <- source None; adamc@916: return adamc@916:

Great {[title]}

adamc@916:

adam@1784:

set draggingItem (Some itemSource)} adam@1784: onmouseup={fn _ => set draggingItem None} adam@1784: onmouseover={fn _ => di <- get draggingItem; adam@1784: case di of adam@1784: None => return () adam@1784: | Some di => original <- get di; adam@1784: movedOver <- get itemSource; adam@1784: set di movedOver; adam@1784: set itemSource original; adam@1784: set draggingItem (Some itemSource)}> adamc@918: adamc@916:

adamc@916: adamc@916: adamc@916: fun main () = adamc@916: bears <- draggableList "Bears" ("Pooh" :: "Paddington" :: "Rupert" :: "Edward" :: []); adamc@916: beers <- draggableList "Beers" ("Budvar" :: "Delirium Tremens" :: "Deuchars" :: []); adamc@916: boars <- draggableList "Boars" ("Sus scrofa scrofa" adamc@916: :: "Sus scrofa ussuricus" adamc@916: :: "Sus scrofa cristatus" adamc@916: :: "Sus scrofa taiwanus" :: []); adamc@917: return adamc@917: adamc@917: adamc@917: adamc@917: adamc@917: {bears} adamc@917: {beers} adamc@917: {boars} adamc@917: adamc@917: