slight README

they were only there because we cargo-culted them

README.md

@@ -0,0 +1,55 @@
+# Souplesse
+
+_This readme describes what may someday be, not what is today_
+
+Reads a GPX file which you generated by cycling around, and tells you
+interesting(sic) things about it.
+
+The principle we aspire to is that the measurement is subsidary to the
+ride, not the purpose of the ride. The purpose of the ride is to enjoy
+cycling, or to see new places, or to get from A to B, and the purpose
+of Souplesse is to see if we can get any useful numbers out of the
+riding you were doing anyway without making you do more of it.
+
+So, the general idea is that given some ride data it can tell you how
+long/how often you spent at a given level of effort (e.g. heart rate),
+or output (power, speed, cadence, rate of ascent).
+
+## Canned views
+
+### ride view
+
+graph of (selected variables) / time, with buttons to select variables
+slider for threshold level
+all points above threshold are highlighted and interval times above
+ threshold shown
+zoom in/out on time range
+show the selected points on a map
+
+### calendar view
+
+note this will need some kind of server-side storage so that the
+system remembers all your gpx files
+
+shows dates that you rode
+for each ride, show time at effort
+some kind of slider for effort level
+
+
+## Query view
+
+Not yet decided if this is useful, something that allows graphs of
+arbitrary functions of properties (e.g. to look at power/cadence
+ratio, or ... some other weirdness)
+
+
+----
+
+_Do not look below this line_
+
+## WIP, Puzzles and TODO
+
+* [done] Pos can't include elevation if it's sometimes unknown
+* do we even need Track? will it ever be anything more than a collection
+ of Points?
+* need a real gpx file with namespace decls before we can parse power and stuff

lib/Track.hs

@@ -1,89 +1,88 @@
 {-# LANGUAGE OverloadedStrings #-}
 
-module Track where
+module Track (
+  Track,
+  Pos(..),
+  pos,
+  elevation,
+  parse,
+  Track.length
+             ) where
 import Data.Time
 import qualified Data.List
--- import qualified Text.XML as X
 import Text.XML
 import Text.XML.Cursor as Cursor
 import qualified Data.Text
--- import qualified Data.Text.Lazy
 import Data.Text.Lazy as T
 import Debug.Trace (trace, traceShow)
 import Data.List as List
 import Data.Map as Map
 import Control.Exception
 
-data Pos = Pos Float Float Float deriving (Show)
+data Pos = Pos Float Float deriving (Show, Eq)
-
-
 type Power = Maybe Int
 type Cadence = Maybe Int
 type HeartRate = Maybe Int
 
 data Point = Point {
   pos :: Pos,
+  elevation :: Maybe Float,
   time :: UTCTime,
   power :: Power,
   cadence :: Cadence,
   heartRate :: HeartRate
 } deriving (Show)
 
+-- TODO do we even need this type?
 type Track = [Point]
 
 mkPoint pos =
   Point
     pos
+    Nothing
     (UTCTime (toEnum  60631) 43200)
     (Just 0)
     (Just 0)
     (Just 0)
 
-parse :: String -> Either SomeException [Point]
-parse' str = [
-  Point
-    (Pos 51.6 0 0)
-    (UTCTime (toEnum  60631) 43200)
-    (Just 0)
-    (Just 0)
-    (Just 0)
-  ]
-
 elToPoint :: Cursor -> Point
-elToPoint n =
+elToPoint c =
-  trace "el" $
+  case node c of
-  case traceShow (node n) (node n) of
     NodeElement (Element _ attrs _) ->
       let
-        lat = traceShow (getAttr "lat") (getAttr "lat")
+        lat = getAttr "lat"
         lon = getAttr "lon"
-      in mkPoint (Pos lat lon 0)
+        ele = child c >>= element "ele" >>= child >>= content
-      where getAttr name =
+      in Point (Pos lat lon)
-              case (Map.lookup name attrs) of
+         (case ele of
-                Just v -> (read (Data.Text.unpack v) :: Float)
+             e:[] -> Just $ asFloat e
-                _ -> 0
+             _ -> Nothing)
-    _ -> mkPoint (Pos 1 2 3)
+         (UTCTime (toEnum  60631) 43200)
+         (Just 0)
+         (Just 0)
+         (Just 0)
+      where
+        asFloat v = (read (Data.Text.unpack v) :: Float)
+        getAttr name =
+          case (Map.lookup name attrs) of
+            Just v -> asFloat v
+            _ -> 0
+    _ -> mkPoint (Pos 0 0)
 
 getPoints :: Cursor -> [Point]
 getPoints c =
   let
     trkpts =
       child c >>=
-      -- element "gpx" >>= child >>=
       element "trk" >>= descendant >>=
       element "trkpt"
   in
     List.map elToPoint trkpts
 
-
+parse :: String -> Either SomeException [Point]
-parse str =
+parse str = do
-  case parseText def (T.pack str) of
+  gpx <- parseText def (T.pack str)
-    Right gpx ->
+  return (getPoints (fromDocument gpx))
-      let
-        points = getPoints $ fromDocument gpx
-      in traceShow "(gpx)" (Right points)
-    Left err ->
-      Left err
 
 length :: Track -> Int
 length trk = Data.List.length trk

tests/UnitTest.hs

@@ -1,37 +1,65 @@
 module Main where
 
-import qualified Track (Track, parse, length )
+import qualified Track
 import Test.HUnit
 import qualified System.Exit as Exit
 import Control.Exception
 import Debug.Trace (trace, traceShow)
 
+onepoint =
+  "<gpx> <trk> <trkseg> \n\
+  \<trkpt lat=\"51\" lon=\"-0.1\"> </trkpt> \n\
+  \</trkseg> </trk> </gpx>"
+onepointEle =
+  "<gpx> <trk> <trkseg> \n\
+  \<trkpt lat=\"51\" lon=\"-0.1\"> \n\
+  \ <ele>25.2</ele>\n\
+  \</trkpt> \n\
+  \</trkseg> </trk> </gpx>"
 
--- test1 :: Test
+test1 = TestCase $
--- test1 = TestCase $
+        case Track.parse "<gpx></gpx>" of
---         let
+          Left err -> assertFailure (displayException err)
---           trk = Track.parse "<gpx></gpx>"
+          Right t -> assertEqual "empty track has no elements"
---         in
+                     0 (Track.length t)
---           assertEqual "empty track has no elements"
---           0 (Track.length trk)
 
-test3 = TestCase $  assertEqual "empty track has no elements" 1 2
+testMalformed = TestCase $
+        case Track.parse "<gpx><dgdsfg>></gpx>" of
+          Left err -> assertBool "syntax error" True
+          Right t -> assertFailure "no error message parsing bad xml"
 
 test2 = TestCase $
-        case Track.parse
+        case Track.parse onepoint
-            "<gpx> <trk> <trkseg> \n\
-            \<trkpt lat=\"51\" lon=\"-0.1\"> </trkpt> \n\
-            \</trkseg> </trk> </gpx>"
         of
           Left err -> assertFailure (displayException err)
-          Right trk ->
+          Right (p:ps) ->
-            traceShow trk $
+            assertEqual "matches lat/lon"
-              assertEqual "one el" 1 (Track.length trk)
+             (Track.Pos 51.0 (-0.1))
+             (Track.pos p)
+
+test3 = TestCase $
+        case Track.parse onepoint
+        of
+          Left err -> assertFailure (displayException err)
+          Right (p:ps) ->
+            assertEqual "matches elevation"
+             Nothing (Track.elevation p)
+
+test4 = TestCase $
+        case Track.parse onepointEle
+        of
+          Left err -> assertFailure (displayException err)
+          Right (p:ps) ->
+            assertEqual "matches elevation"
+             (Just 25.2) (Track.elevation p)
 
 tests :: Test
 tests = TestList [
---  TestLabel "test1" test1,
+  test1,
-  TestLabel "test2" test2
+  testMalformed,
+  test2,
+  test3,
+  test4
   ]
 
 main :: IO ()