2012-06-28 20:33:36 +00:00
|
|
|
|
|
|
|
module Map where
|
|
|
|
|
2012-10-19 08:28:05 +00:00
|
|
|
import JavaScript.Experimental
|
2012-06-28 20:33:36 +00:00
|
|
|
|
|
|
|
foreign import jsevent "provideMap"
|
2012-09-16 05:52:07 +00:00
|
|
|
(castElementToJSElement $ spacer 640 360)
|
2012-06-28 20:33:36 +00:00
|
|
|
jsMaps :: Signal JSElement
|
|
|
|
|
|
|
|
|
2012-09-16 05:52:07 +00:00
|
|
|
center (w,h) elem = container w h middle elem
|
2012-06-28 20:33:36 +00:00
|
|
|
maps = lift (castJSElementToElement 640 360) jsMaps
|
|
|
|
|
2013-01-03 08:30:46 +00:00
|
|
|
main = lift2 center Window.dimensions maps
|