2024-10-31 23:58:47 +00:00
|
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
|
|
{-# LANGUAGE QuasiQuotes #-}
|
|
|
|
{-# LANGUAGE TemplateHaskell #-}
|
|
|
|
{-# LANGUAGE TypeFamilies #-}
|
2024-10-27 18:16:50 +00:00
|
|
|
module Main where
|
|
|
|
|
2024-10-31 18:29:57 +00:00
|
|
|
import Track(parseFile)
|
|
|
|
import Data.List as List
|
|
|
|
|
2024-10-31 23:58:47 +00:00
|
|
|
import Yesod.Core
|
|
|
|
|
|
|
|
data HelloWorld = HelloWorld
|
|
|
|
|
|
|
|
mkYesod "HelloWorld" [parseRoutes|
|
|
|
|
/ HomeR GET
|
|
|
|
|]
|
|
|
|
|
|
|
|
instance Yesod HelloWorld
|
|
|
|
|
|
|
|
getHomeR :: Handler Html
|
|
|
|
getHomeR = defaultLayout [whamlet|Hello World!|]
|
|
|
|
|
2024-10-27 18:16:50 +00:00
|
|
|
main :: IO ()
|
2024-10-31 18:29:57 +00:00
|
|
|
main = do
|
|
|
|
points <- Track.parseFile "track.gpx"
|
2024-10-31 23:58:47 +00:00
|
|
|
putStrLn ("loaded " ++ (show (List.length points)) ++ " points from GPX")
|
|
|
|
warp 3000 HelloWorld
|