route-planning-0.0.1: src/Data/Geo/Route/Gpx.hs

module Data.Geo.Route.Gpx(
  Gpx(..)
) where

import Control.Lens((#))
import Data.List((++))
import Data.String(String)
import Data.Text(unpack)
import Text.XML.XSD.DateTime(DateTime, dateTime)

class Gpx x where
  gpx ::
    x
    -> String

instance Gpx DateTime where
  gpx d =
    "<time>" ++ unpack (dateTime # d) ++ "</time>"