{"header":{"message":"Add the source files","description":null,"timestamp":"2021-01-08T13:00:38.628154673Z","authors":[]},"hash":"A4YPCXNG44HRKJZLXU5Q4JEBD73UETQCHVMBHVQR2UDCYZLLAFXAC","authors":[],"deps":{"hashes":[["A4YPCXNG44HRKJZLXU5Q4JEBD73UETQCHVMBHVQR2UDCYZLLAFXAC","Add the source files"],["AA",null]],"deps":[],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"src","metadata":1005},"context":[{"change":1,"pos":0}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Util.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Util where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Argonaut.Core (Json)"},{"Add":"import Data.Argonaut.Decode (JsonDecodeError, decodeJson, (.:))"},{"Add":"import Data.Array (filter, length, zip, (..))"},{"Add":"import Data.DateTime (DateTime, Time(..), adjust, diff, modifyTime, setMillisecond, setMinute, setSecond)"},{"Add":"import Data.DateTime.Instant (fromDateTime, instant, toDateTime, unInstant)"},{"Add":"import Data.Either (Either, either, note)"},{"Add":"import Data.Formatter.DateTime (formatDateTime)"},{"Add":"import Data.Int (floor, toNumber)"},{"Add":"import Data.Maybe (Maybe, fromMaybe)"},{"Add":"import Data.Newtype (unwrap)"},{"Add":"import Data.Time.Duration (Days(..), Hours(..), Milliseconds(..), Seconds(..))"},{"Add":"import Data.Traversable (sequence, traverse)"},{"Add":"import Data.Tuple (Tuple)"},{"Add":"import Effect.Aff (Aff, error, makeAff)"},{"Add":"import Graphics.Canvas (CanvasImageSource, tryLoadImage)"},{"Add":"import Halogen.HTML as HH"},{"Add":"import Halogen.HTML.Properties as HP"},{"Add":""},{"Add":""},{"Add":"classes :: forall r i. Array String -> HH.IProp (class :: String | r) i"},{"Add":"classes = HP.classes <<< map HH.ClassName"},{"Add":""},{"Add":"formatDateTime' :: DateTime -> String"},{"Add":"formatDateTime' = either identity identity <<< formatDateTime \"YYYY-MM-DD HH:mm:ss.SS\""},{"Add":""},{"Add":"datetimeToSeconds :: DateTime -> Number"},{"Add":"datetimeToSeconds = (_ / 1000.0) <<< unwrap <<< unInstant <<< fromDateTime"},{"Add":""},{"Add":"secondsToDateTime :: Number -> Maybe DateTime"},{"Add":"secondsToDateTime = map toDateTime <<< instant <<< Milliseconds <<< (_ * 1000.0)"},{"Add":""},{"Add":"-- TODO: convert stuff to local time"},{"Add":"-- getTimezoneOffset $ fromDateTime start"},{"Add":""},{"Add":"midnightBefore :: DateTime -> DateTime"},{"Add":"midnightBefore = modifyTime (const $ Time bottom bottom bottom bottom)"},{"Add":""},{"Add":"hourBefore :: DateTime -> DateTime"},{"Add":"hourBefore = modifyTime (setMinute bottom <<< setSecond bottom <<< setMillisecond bottom)"},{"Add":""},{"Add":"daysInInterval :: DateTime -> DateTime -> Array DateTime"},{"Add":"daysInInterval start end = do"},{"Add":" let"},{"Add":" midnight = midnightBefore start"},{"Add":" duration = diff end midnight :: Days"},{"Add":" nDays = floor (unwrap duration)"},{"Add":" fromMaybe [] <<< sequence $"},{"Add":" 0 .. nDays <#> \\n ->"},{"Add":" adjust (Days (toNumber n)) midnight"},{"Add":""},{"Add":"hoursInInterval :: DateTime -> DateTime -> DateTime -> Array DateTime"},{"Add":"hoursInInterval current start end = do"},{"Add":" let"},{"Add":" midnight = midnightBefore current"},{"Add":" hours = 0 .. 23 <#> Hours <<< toNumber"},{"Add":" hoursDT = fromMaybe [] <<< sequence $ hours <#> \\n -> adjust n midnight"},{"Add":" filter (\\a -> (unwrap (a `diff` start :: Hours) >= -1.0) && a <= end) hoursDT"},{"Add":""},{"Add":"decodeTimestamps :: Json -> Either JsonDecodeError (Array Number)"},{"Add":"decodeTimestamps json = do"},{"Add":" o <- decodeJson json"},{"Add":" contents <- o .: \"Ok\""},{"Add":" decodeJson contents >>= traverse decodeJson"},{"Add":""},{"Add":"formatDuration :: Seconds -> String"},{"Add":"formatDuration (Seconds t) = let"},{"Add":" h = floor $ t / 3600.0"},{"Add":" m = floor (t / 60.0) - h * 60"},{"Add":" s = floor t - h * 3600 - m * 60"},{"Add":" in show h <> \"h \" <> show m <> \"m \" <> show s <> \"s\""},{"Add":""},{"Add":""},{"Add":"loadImage :: String -> Aff CanvasImageSource"},{"Add":"loadImage url = do"},{"Add":" makeAff \\cont -> do"},{"Add":" tryLoadImage url \\msource ->"},{"Add":" note (error $ \"Failed to load image from \\\"\" <> url <> \"\\\"\") msource # cont"},{"Add":" mempty"},{"Add":""},{"Add":"enumerate :: forall a. Array a -> Array (Tuple Int a)"},{"Add":"enumerate a = zip (0 .. (length a - 1)) a"}]}},{"FileAdd":{"meta":{"basename":"UPlot.js","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":""},{"Add":"\"use strict\";"},{"Add":""},{"Add":"var uPlot = require(\"/uPlot/dist/uPlot.cjs.js\");"},{"Add":""},{"Add":"exports.setSizeImpl = uplot => width => height => () => {"},{"Add":" uplot.setSize({width, height});"},{"Add":"};"},{"Add":""},{"Add":"exports.setDataImpl = uplot => data => () => {"},{"Add":" uplot.setData(data);"},{"Add":"};"},{"Add":""},{"Add":"exports.destroyImpl = uplot => () => {"},{"Add":" uplot.destroy();"},{"Add":" uplot = null;"},{"Add":"};"},{"Add":""},{"Add":"exports.initializeImpl = element => opts => () => {"},{"Add":" console.log(\"opts\", opts);"},{"Add":" return new uPlot(opts, [], element);"},{"Add":"};"},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"UPlot.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.UPlot where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Maybe (Maybe)"},{"Add":"import Data.Nullable (Nullable, toNullable)"},{"Add":"import Effect (Effect)"},{"Add":"import Web.HTML (HTMLElement)"},{"Add":""},{"Add":"foreign import initializeImpl :: HTMLElement -> Opts -> Effect UPlot"},{"Add":"foreign import setSizeImpl :: UPlot -> Number -> Number -> Effect Unit"},{"Add":"foreign import setDataImpl :: UPlot -> Array (Array (Nullable Number)) -> Effect Unit"},{"Add":"foreign import destroyImpl :: UPlot -> Effect Unit"},{"Add":""},{"Add":"data UPlot -- opaque uPlot handle"},{"Add":""},{"Add":"data Plot = Plot"},{"Add":" { uplot :: UPlot"},{"Add":" }"},{"Add":""},{"Add":"-- Opts"},{"Add":""},{"Add":"type Series = "},{"Add":" { stroke :: String"},{"Add":" , fill :: String"},{"Add":" }"},{"Add":""},{"Add":"type Grid = "},{"Add":" { show :: Boolean"},{"Add":" , stroke :: String"},{"Add":" , width :: Int"},{"Add":" }"},{"Add":""},{"Add":"defaultGrid :: Grid"},{"Add":"defaultGrid ="},{"Add":" { show: true"},{"Add":" , stroke: \"rgba(0,0,0,0.07)\""},{"Add":" , width: 2"},{"Add":" }"},{"Add":""},{"Add":"noGrid :: Grid"},{"Add":"noGrid = defaultGrid { show=false }"},{"Add":""},{"Add":"type Axis = "},{"Add":" { show :: Boolean"},{"Add":" , scale :: String"},{"Add":" , space :: Int"},{"Add":" , gap :: Int"},{"Add":" , size :: Int"},{"Add":" , labelSize :: Int"},{"Add":" -- , labelFont :: Font"},{"Add":" , side :: Int"},{"Add":" , grid :: Grid"},{"Add":" -- , ticks :: Ticks"},{"Add":" -- , font :: Font"},{"Add":" -- , rotate: Int"},{"Add":" }"},{"Add":""},{"Add":"defaultXAxis :: Axis"},{"Add":"defaultXAxis ="},{"Add":" { show: true"},{"Add":" , scale: \"x\""},{"Add":" , space: 50"},{"Add":" , gap: 5"},{"Add":" , size: 50"},{"Add":" , labelSize: 30"},{"Add":" -- , labelFont"},{"Add":" , side: 2"},{"Add":" --, class: \"x-vals\""},{"Add":" --, incrs: timeIncrs"},{"Add":" --, values: timeVals"},{"Add":" --, filter: retArg1"},{"Add":" , grid: defaultGrid"},{"Add":" -- , ticks"},{"Add":" -- , font"},{"Add":" -- , rotate: 0"},{"Add":" }"},{"Add":""},{"Add":"defaultYAxis :: Axis"},{"Add":"defaultYAxis ="},{"Add":" { show: true"},{"Add":" , scale: \"y\""},{"Add":" , space: 30"},{"Add":" , gap: 5"},{"Add":" , size: 50"},{"Add":" , labelSize: 30"},{"Add":" -- , labelFont"},{"Add":" , side: 3"},{"Add":" --, class: \"x-vals\""},{"Add":" --, incrs: timeIncrs"},{"Add":" --, values: timeVals"},{"Add":" --, filter: retArg1"},{"Add":" , grid: defaultGrid"},{"Add":" -- , ticks"},{"Add":" -- , font"},{"Add":" -- , rotate: 0"},{"Add":" }"},{"Add":""},{"Add":"noAxis :: Axis"},{"Add":"noAxis = defaultXAxis { show=false }"},{"Add":""},{"Add":"type Opts ="},{"Add":" { width :: Number"},{"Add":" , height :: Number"},{"Add":" , axes :: Array Axis"},{"Add":" , scales ::"},{"Add":" { x ::"},{"Add":" { time :: Boolean"},{"Add":" , distr :: Int"},{"Add":" }"},{"Add":" }"},{"Add":" , series :: Array Series"},{"Add":" }"},{"Add":""},{"Add":"defaultSeries :: Series"},{"Add":"defaultSeries ="},{"Add":" { stroke: \"blue\""},{"Add":" , fill: \"rgba(0,0,255,0.1)\""},{"Add":" }"},{"Add":""},{"Add":"defaultOpts :: Opts"},{"Add":"defaultOpts = "},{"Add":" { width: 500.0"},{"Add":" , height: 300.0"},{"Add":" , axes: [defaultXAxis, defaultYAxis]"},{"Add":" , scales:"},{"Add":" { x:"},{"Add":" { time: true"},{"Add":" , distr: 1"},{"Add":" }"},{"Add":" }"},{"Add":" , series: [defaultSeries, defaultSeries]"},{"Add":" }"},{"Add":""},{"Add":"initialize :: HTMLElement -> Opts -> Effect Plot"},{"Add":"initialize e opts = initializeImpl e opts <#> \\uplot -> Plot { uplot: uplot }"},{"Add":""},{"Add":"setSize :: Plot -> Number -> Number -> Effect Unit"},{"Add":"setSize (Plot p) w h = setSizeImpl p.uplot w h"},{"Add":""},{"Add":"setData :: Plot -> Array (Array (Maybe Number)) -> Effect Unit"},{"Add":"setData (Plot p) = setDataImpl p.uplot <<< map (map toNullable)"},{"Add":""},{"Add":"destroy :: Plot -> Effect Unit"},{"Add":"destroy (Plot p) = destroyImpl p.uplot"}]}},{"FileAdd":{"meta":{"basename":"Types.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Types where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Argonaut.Core (Json)"},{"Add":"import Data.Argonaut.Decode (class DecodeJson, JsonDecodeError(..), decodeJson, (.:))"},{"Add":"import Data.Array (zipWith, (!!))"},{"Add":"import Data.DateTime (DateTime)"},{"Add":"import Data.DateTime.Instant (fromDateTime, unInstant)"},{"Add":"import Data.Either (Either(..), note)"},{"Add":"import Data.Generic.Rep (class Generic)"},{"Add":"import Data.Generic.Rep.Show (genericShow)"},{"Add":"import Data.Maybe (Maybe)"},{"Add":"import Data.Newtype (class Newtype, unwrap)"},{"Add":"import Data.Traversable (for)"},{"Add":"import Data.Tuple (Tuple(..))"},{"Add":"import Foreign.Object as FO"},{"Add":"import Frontend.Util (secondsToDateTime)"},{"Add":""},{"Add":""},{"Add":"dateTimeToSeconds :: DateTime -> Number"},{"Add":"dateTimeToSeconds = (_ / 1000.0) <<< unwrap <<< unInstant <<< fromDateTime"},{"Add":""},{"Add":"data Vec2 = V2 Number Number"},{"Add":"newtype Box = Box { x0 :: Number, y0 :: Number, x1 :: Number, y1 :: Number }"},{"Add":""},{"Add":"newtype Object = Object"},{"Add":" { id :: Int"},{"Add":" , pos :: Vec2"},{"Add":" , gap :: Int"},{"Add":" , heading :: Vec2"},{"Add":" }"},{"Add":""},{"Add":"newtype Instant = Instant"},{"Add":" { timestamp :: DateTime"},{"Add":" , objects :: Array Object"},{"Add":" }"},{"Add":""},{"Add":"newtype MaybeInstant = MaybeInstant"},{"Add":" { timestamp :: DateTime"},{"Add":" , objects :: Maybe (Array Object)"},{"Add":" }"},{"Add":""},{"Add":"type Tracklet = Array"},{"Add":" { t :: DateTime"},{"Add":" , p :: Vec2"},{"Add":" }"},{"Add":""},{"Add":"newtype Tracklets = Tracklets (Array Tracklet)"},{"Add":""},{"Add":"newtype Info = Info"},{"Add":" { n_entries :: Int"},{"Add":" , first_dt :: DateTime"},{"Add":" , last_dt :: DateTime"},{"Add":" }"},{"Add":""},{"Add":"type Zone ="},{"Add":" { name :: String"},{"Add":" , box :: Box"},{"Add":" }"},{"Add":""},{"Add":"newtype Config = Config"},{"Add":" { bbox :: Box"},{"Add":" , grid_px_size :: Number"},{"Add":" , n_objects :: Int"},{"Add":" , model_path :: String"},{"Add":" , min_tracklet_len :: Int"},{"Add":" , predict_stride :: Number"},{"Add":" , toss_first :: Int"},{"Add":" , gpu :: Int"},{"Add":" , map :: String"},{"Add":" , zones :: Array Zone"},{"Add":" , cameras :: Array"},{"Add":" { name :: String"},{"Add":" , width :: Int"},{"Add":" , height :: Int"},{"Add":" , calib :: String"},{"Add":" , image :: String"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":"derive instance genericVec2 :: Generic Vec2 _"},{"Add":""},{"Add":"instance showBox :: Show Box where"},{"Add":" show (Box {x0, y0, x1, y1}) = \"x: \" <> show [x0, x1] <> \" m, y: \" <> show [y0, y1] <> \" m\""},{"Add":""},{"Add":"instance showVec2 :: Show Vec2 where"},{"Add":" show = genericShow"},{"Add":""},{"Add":"derive instance genericObject :: Generic Object _"},{"Add":"derive instance newtypeObject :: Newtype Object _"},{"Add":""},{"Add":"instance showObject :: Show Object where"},{"Add":" show = genericShow"},{"Add":""},{"Add":"derive instance genericInstant :: Generic Instant _"},{"Add":"derive instance newtypeInstant :: Newtype Instant _"},{"Add":""},{"Add":"instance showInstant :: Show Instant where"},{"Add":" show = genericShow"},{"Add":""},{"Add":"derive instance genericMaybeInstant :: Generic MaybeInstant _"},{"Add":"derive instance newtypeMaybeInstant :: Newtype MaybeInstant _"},{"Add":""},{"Add":"instance showMaybeInstant :: Show MaybeInstant where"},{"Add":" show = genericShow"},{"Add":""},{"Add":"derive instance genericTracklets :: Generic Tracklets _"},{"Add":"derive instance newtypeTracklets :: Newtype Tracklets _"},{"Add":""},{"Add":"instance showTracklets :: Show Tracklets where"},{"Add":" show = genericShow"},{"Add":""},{"Add":"derive instance genericInfo :: Generic Info _"},{"Add":"derive instance newtypeInfo :: Newtype Info _"},{"Add":""},{"Add":"instance showInfo :: Show Info where"},{"Add":" show = genericShow"},{"Add":""},{"Add":"derive instance genericConfig :: Generic Config _"},{"Add":"derive instance newtypeConfig :: Newtype Config _"},{"Add":""},{"Add":"instance showConfig :: Show Config where"},{"Add":" show = genericShow"},{"Add":""},{"Add":""},{"Add":"instance decodeJsonVec2 :: DecodeJson Vec2 where"},{"Add":" decodeJson json = case decodeJson json of"},{"Add":" Left err -> Left err"},{"Add":" Right (Tuple a b) -> Right (V2 a b)"},{"Add":""},{"Add":""},{"Add":"instance decodeJsonObject :: DecodeJson Object where"},{"Add":" decodeJson json = Object <$> decodeJson json"},{"Add":""},{"Add":""},{"Add":"instance decodeBox :: DecodeJson Box where"},{"Add":" decodeJson :: Json -> Either JsonDecodeError Box"},{"Add":" decodeJson json = do"},{"Add":" o <- decodeJson json"},{"Add":" case o of"},{"Add":" [x0, y0, x1, y1] -> pure $ Box { x0, y0, x1, y1 }"},{"Add":" _ -> Left $ TypeMismatch \"Bounding box must have 4 elements.\""},{"Add":""},{"Add":"instance decodeJsonInstant :: DecodeJson Instant where"},{"Add":" decodeJson :: Json -> Either JsonDecodeError Instant"},{"Add":" decodeJson json = do"},{"Add":" o <- decodeJson json"},{"Add":" ts <- o .: \"timestamp\""},{"Add":" objects <- o .: \"objects\""},{"Add":" timestamp <- note (TypeMismatch \"Invalid Timestamp\") $ secondsToDateTime ts"},{"Add":" pure $ Instant { timestamp: timestamp, objects }"},{"Add":""},{"Add":"instance decodeJsonMaybeInstant :: DecodeJson MaybeInstant where"},{"Add":" decodeJson :: Json -> Either JsonDecodeError MaybeInstant"},{"Add":" decodeJson json = do"},{"Add":" o <- decodeJson json"},{"Add":" ts <- o .: \"timestamp\""},{"Add":" objects <- o .: \"objects\""},{"Add":" timestamp <- note (TypeMismatch \"Invalid Timestamp\") $ secondsToDateTime ts"},{"Add":" pure $ MaybeInstant { timestamp: timestamp, objects }"},{"Add":""},{"Add":"instance decodeJsonInfo :: DecodeJson Info where"},{"Add":" decodeJson :: Json -> Either JsonDecodeError Info"},{"Add":" decodeJson json = do"},{"Add":" o <- decodeJson json"},{"Add":" n_entries <- o .: \"entries\""},{"Add":" first_ts <- o .: \"first_ts\""},{"Add":" last_ts <- o .: \"last_ts\""},{"Add":""},{"Add":" first_dt <- note (TypeMismatch \"Invalid Timestamp\") $ secondsToDateTime first_ts"},{"Add":" last_dt <- note (TypeMismatch \"Invalid Timestamp\") $ secondsToDateTime last_ts"},{"Add":""},{"Add":" pure $ Info { n_entries, first_dt, last_dt }"},{"Add":""},{"Add":""},{"Add":"instance decodeJsonConfig :: DecodeJson Config where"},{"Add":" decodeJson :: Json -> Either JsonDecodeError Config"},{"Add":" decodeJson json = do"},{"Add":" o <- decodeJson json"},{"Add":" bbox <- o .: \"bbox\""},{"Add":" grid_px_size <- o .: \"grid_px_size\""},{"Add":" n_objects <- o .: \"n_objects\""},{"Add":" model_path <- o .: \"model_path\""},{"Add":" min_tracklet_len <- o .: \"min_tracklet_len\""},{"Add":" predict_stride <- o .: \"predict_stride\""},{"Add":" toss_first <- o .: \"toss_first\""},{"Add":" gpu <- o .: \"gpu\""},{"Add":" map <- o .: \"map\""},{"Add":""},{"Add":" zones' <- o .: \"zones\" :: Either JsonDecodeError (Array Json)"},{"Add":" zones <- for zones' \\zone -> do"},{"Add":" z <- decodeJson zone"},{"Add":" name <- z .: \"name\""},{"Add":" box <- z .: \"box\""},{"Add":" pure { name, box: Box box }"},{"Add":""},{"Add":" cs <- o .: \"cameras\" :: Either JsonDecodeError (Array Json)"},{"Add":" cameras <- for cs \\cj -> do"},{"Add":" c <- decodeJson cj"},{"Add":" name <- c .: \"name\""},{"Add":" width <- c .: \"w\""},{"Add":" height <- c .: \"h\""},{"Add":" calib <- c .: \"calib\""},{"Add":" image <- c .: \"image\""},{"Add":" pure { name: name, width, height, calib, image }"},{"Add":""},{"Add":" pure $ Config"},{"Add":" { bbox, grid_px_size, n_objects, model_path"},{"Add":" , min_tracklet_len, predict_stride, toss_first"},{"Add":" , gpu, map, zones, cameras }"},{"Add":""},{"Add":""},{"Add":"instance decodeJsonTracklets :: DecodeJson Tracklets where"},{"Add":" decodeJson :: Json -> Either JsonDecodeError Tracklets"},{"Add":" decodeJson json = do"},{"Add":" let arrayErr = TypeMismatch \"Invalid array length.\""},{"Add":" tracklets <- decodeJson json :: Either JsonDecodeError (Array (FO.Object Json))"},{"Add":" res <- for tracklets \\tracklet -> do"},{"Add":" tt <- tracklet .: \"t\""},{"Add":" px <- tracklet .: \"x\""},{"Add":" py <- tracklet .: \"y\""},{"Add":" dt <- note (TypeMismatch \"Invalid timestamp.\") $ for tt secondsToDateTime"},{"Add":" Right $ zipWith (\\t p -> {t, p}) dt (zipWith V2 px py)"},{"Add":" let r = res"},{"Add":" pure $ Tracklets res"}]}},{"FileAdd":{"meta":{"basename":"Tracklets.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Tracklets"},{"Add":" ( TrackletSOA"},{"Add":" , trackletSOA"},{"Add":" , unTrackletSOA"},{"Add":" ) where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Argonaut.Core (Json)"},{"Add":"import Data.Argonaut.Decode (class DecodeJson, JsonDecodeError(..), decodeJson, (.:))"},{"Add":"import Data.Array (length, (!!))"},{"Add":"import Data.DateTime (DateTime)"},{"Add":"import Data.Either (Either, note)"},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Frontend.Util (secondsToDateTime)"},{"Add":""},{"Add":""},{"Add":"type TrackletSOAData ="},{"Add":" { id :: Int"},{"Add":" , t :: Array Number"},{"Add":" , x :: Array Number"},{"Add":" , y :: Array Number"},{"Add":" , t0 :: DateTime"},{"Add":" }"},{"Add":""},{"Add":"newtype TrackletSOA = TrackletSOA TrackletSOAData"},{"Add":""},{"Add":""},{"Add":"trackletSOA :: TrackletSOAData -> Maybe TrackletSOA"},{"Add":"trackletSOA {id, t, x, y, t0}"},{"Add":" | length t == length x && length x == length y = Just $ TrackletSOA {id, t, x, y, t0}"},{"Add":" | otherwise = Nothing"},{"Add":""},{"Add":""},{"Add":"unTrackletSOA :: TrackletSOA -> TrackletSOAData"},{"Add":"unTrackletSOA (TrackletSOA d) = d"},{"Add":""},{"Add":""},{"Add":"instance showTrackletSOA :: Show TrackletSOA where"},{"Add":" show (TrackletSOA {t0, t, x, y}) = \"Tracklet with \" <> show (length t) <> \" points starting at \" <> show t0"},{"Add":""},{"Add":""},{"Add":"instance decodeJsonTracklets :: DecodeJson TrackletSOA where"},{"Add":" decodeJson :: Json -> Either JsonDecodeError TrackletSOA"},{"Add":" decodeJson json = do"},{"Add":" tracklet <- decodeJson json"},{"Add":" id <- tracklet .: \"id\""},{"Add":" t <- tracklet .: \"t\""},{"Add":" x <- tracklet .: \"x\""},{"Add":" y <- tracklet .: \"y\""},{"Add":" t0s <- note (TypeMismatch \"Empty tracklet.\") $ t !! 0"},{"Add":" t0 <- note (TypeMismatch \"Invalid timestamp.\") $ secondsToDateTime t0s"},{"Add":" note (TypeMismatch \"Lengths of {t, x, y} arrays are not equal.\") $ trackletSOA"},{"Add":" {id, t: (_ - t0s) <$> t, x, y, t0}"}]}},{"FileAdd":{"meta":{"basename":"Tracklet","metadata":1005},"context":[{"change":0,"pos":6}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Filter.hs","metadata":420},"context":[{"change":0,"pos":14263}],"contents":[{"Add":"module Frontend.Tracklet.Filter where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Array (dropWhile, head, init, last, tail, zipWith)"},{"Add":"import Data.DateTime (DateTime, diff)"},{"Add":"import Data.Foldable (sum)"},{"Add":"import Data.Maybe (Maybe(..), fromMaybe, isJust)"},{"Add":"import Data.Time.Duration (class Duration, Seconds(..), convertDuration)"},{"Add":"import Frontend.Types (Box(..), Vec2(..), Tracklet)"},{"Add":"import Math (sqrt)"},{"Add":""},{"Add":"type TrackletFilter = Tracklet -> Boolean"},{"Add":""},{"Add":"-- Boolean algebra for tracklet filters is automatically implemented."},{"Add":"-- (true, false, and, or, not, implies) are for free"},{"Add":""},{"Add":""},{"Add":"distanceAtLeast :: Number -> TrackletFilter"},{"Add":"distanceAtLeast n t = (_ >= n) $ sum $ fromMaybe [0.0] $ (zipWith dist <$> init t <*> tail t) where"},{"Add":" dist {p: V2 x1 y1} {p: V2 x2 y2} = sqrt $ (x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2)"},{"Add":""},{"Add":""},{"Add":"durationAtLeast :: forall d. Duration d => d -> TrackletFilter"},{"Add":"durationAtLeast d t = fromMaybe false do"},{"Add":" h <- head t"},{"Add":" l <- last t"},{"Add":" let d' = diff l.t h.t :: Seconds"},{"Add":" pure $ d' >= (convertDuration d)"},{"Add":""},{"Add":""},{"Add":"insideBox :: Box -> PointFilter"},{"Add":"insideBox (Box {x0, y0, x1, y1}) {p: (V2 x y)} ="},{"Add":" x0 <= x && x <= x1 && y0 <= y && y <= y1"},{"Add":""},{"Add":""},{"Add":"first :: PointFilter -> Tracklet -> Boolean"},{"Add":"first = runParser <<< one"},{"Add":""},{"Add":""},{"Add":"type PointFilter = { t :: DateTime, p :: Vec2 } -> Boolean"},{"Add":""},{"Add":"-- LL(0) parser"},{"Add":"type Parser = Tracklet -> Maybe Tracklet"},{"Add":""},{"Add":"runParser :: Parser -> Tracklet -> Boolean"},{"Add":"runParser p = isJust <<< p"},{"Add":""},{"Add":"any :: PointFilter -> Parser"},{"Add":"any f = until f `andThen` one f"},{"Add":""},{"Add":"until :: PointFilter -> Parser"},{"Add":"until f = many (not <$> f)"},{"Add":""},{"Add":"many :: PointFilter -> Parser"},{"Add":"many f = Just <<< dropWhile f"},{"Add":""},{"Add":"one :: PointFilter -> Parser"},{"Add":"one f t = case f <$> head t of"},{"Add":" Just true -> tail t"},{"Add":" _ -> Nothing"},{"Add":""},{"Add":"andThen :: Parser -> Parser -> Parser"},{"Add":"andThen p q t = p t >>= q"},{"Add":""},{"Add":"type HLine = {x0 :: Number, x1 :: Number, y :: Number}"},{"Add":"data Direction = Up | Dn"},{"Add":""},{"Add":"duration :: forall d. Duration d => d -> Parser"},{"Add":"duration d t = do"},{"Add":" h <- head t"},{"Add":" let pred = dropWhile (\\x -> (diff x.t h.t :: Seconds) < convertDuration d) t"},{"Add":" case pred of"},{"Add":" [] -> Nothing"},{"Add":" l -> Just l"},{"Add":""},{"Add":"hLine :: HLine -> Direction -> Parser"},{"Add":"hLine {x0, x1, y} dir = let"},{"Add":" rt = Box {x0, x1, y0: y + 0.5, y1: y + 2.0}"},{"Add":" rb = Box {x0, x1, y0: y - 2.0, y1: y - 0.5}"},{"Add":" {r1, r2} = case dir of"},{"Add":" Dn -> {r1: rt, r2: rb}"},{"Add":" Up -> {r1: rb, r2: rt}"},{"Add":" in until (insideBox r1) `andThen` one (insideBox r1) `andThen` until (insideBox r2) `andThen` one (insideBox r2)"}]}},{"FileAdd":{"meta":{"basename":"Route.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Route where"},{"Add":""},{"Add":"import Prelude hiding ((/))"},{"Add":""},{"Add":"import Data.Generic.Rep (class Generic)"},{"Add":"import Data.Generic.Rep.Show (genericShow)"},{"Add":"import Effect.Class (class MonadEffect, liftEffect)"},{"Add":"import Routing.Duplex (RouteDuplex', print, root)"},{"Add":"import Routing.Duplex.Generic (noArgs, sum)"},{"Add":"import Routing.Duplex.Generic.Syntax ((/))"},{"Add":"import Routing.Hash (setHash)"},{"Add":""},{"Add":""},{"Add":"-- All possible routes in the application"},{"Add":"data Route"},{"Add":" = Dashboard"},{"Add":" | Tracking"},{"Add":" | Filtering"},{"Add":" | Statistics"},{"Add":" | Zones"},{"Add":" | Cameras"},{"Add":""},{"Add":"derive instance genericRoute :: Generic Route _"},{"Add":"derive instance eqRoute :: Eq Route"},{"Add":"derive instance ordRoute :: Ord Route"},{"Add":""},{"Add":"instance showRoute :: Show Route where"},{"Add":" show = genericShow"},{"Add":""},{"Add":"routeCodec :: RouteDuplex' Route"},{"Add":"routeCodec = root $ sum"},{"Add":" { \"Dashboard\": noArgs"},{"Add":" , \"Tracking\": \"tracking\" / noArgs"},{"Add":" , \"Filtering\": \"filtering\" / noArgs"},{"Add":" , \"Statistics\": \"statistics\" / noArgs"},{"Add":" , \"Zones\": \"zones\" / noArgs"},{"Add":" , \"Cameras\": \"cameras\" / noArgs"},{"Add":" }"},{"Add":""},{"Add":"navigate :: forall m. MonadEffect m => Route -> m Unit"},{"Add":"navigate = liftEffect <<< setHash <<< print routeCodec"}]}},{"FileAdd":{"meta":{"basename":"Main.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Main where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Effect (Effect)"},{"Add":"import Effect.Aff (launchAff_)"},{"Add":"import Halogen (liftEffect)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.Aff as HA"},{"Add":"import Halogen.VDom.Driver (runUI)"},{"Add":"import Routing.Duplex (parse)"},{"Add":"import Routing.Hash (matchesWith)"},{"Add":"import Frontend.Component.Index as Index"},{"Add":"import Frontend.Route (routeCodec)"},{"Add":""},{"Add":""},{"Add":"main :: Effect Unit"},{"Add":"main = HA.runHalogenAff do"},{"Add":" body <- HA.awaitBody"},{"Add":" halogenIO <- runUI Index.component unit body"},{"Add":" void $ liftEffect $ matchesWith ( parse routeCodec ) \\mOld new ->"},{"Add":" when ( mOld /= Just new ) do"},{"Add":" launchAff_$ halogenIO.query $ H.tell $ Index.Navigate new"},{"Add":" pure unit"}]}},{"FileAdd":{"meta":{"basename":"Draw.js","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"\"use strict\";"},{"Add":""},{"Add":"exports.imgElementToImageSourceImpl = function(id, Just, Nothing) {"},{"Add":" return function() {"},{"Add":" var el = document.getElementById(id);"},{"Add":" if (el && el instanceof HTMLImageElement) {"},{"Add":" return Just(el);"},{"Add":" } else {"},{"Add":" return Nothing;"},{"Add":" }"},{"Add":" };"},{"Add":"};"},{"Add":""},{"Add":"exports.imageShape = image => {"},{"Add":" return { width: image.width, height: image.height };"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"Draw.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Draw where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import CSS.Color as CSS"},{"Add":"import Color (Color, hsl, rgb, toHSLA, toHexString)"},{"Add":"import Control.Safely (for_)"},{"Add":"import Data.Array ((!!))"},{"Add":"import Data.Function.Uncurried (Fn3, runFn3)"},{"Add":"import Data.Int (toNumber)"},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Effect (Effect)"},{"Add":"import Frontend.Types (Box(..), Object(..), Tracklet, Vec2(..))"},{"Add":"import Graphics.Canvas (CanvasElement, CanvasImageSource, getCanvasHeight, getCanvasWidth, getContext2D)"},{"Add":"import Graphics.Canvas as Canvas"},{"Add":"import Math (atan2, cos, pi, sin)"},{"Add":""},{"Add":"foreign import imgElementToImageSourceImpl :: forall r. Fn3 String (CanvasImageSource -> r) r (Effect r)"},{"Add":""},{"Add":"foreign import imageShape :: CanvasImageSource -> { width :: Int, height :: Int }"},{"Add":""},{"Add":""},{"Add":"-- | Get a img element by ID, or `Nothing` if the element does not exist."},{"Add":"getImgElementById :: String -> Effect (Maybe CanvasImageSource)"},{"Add":"getImgElementById elId = runFn3 imgElementToImageSourceImpl elId Just Nothing"},{"Add":""},{"Add":""},{"Add":"metersToPixels :: Vec2 -> Box -> Vec2 -> Vec2"},{"Add":"metersToPixels (V2 canvasW canvasH) (Box {x0, y0, x1, y1}) (V2 x y) = let"},{"Add":" w = x1 - x0"},{"Add":" h = y1 - y0"},{"Add":" px = (x - x0) / w * canvasW"},{"Add":" py = (1.0 - (y - y0) / h) * canvasH"},{"Add":" in V2 px py"},{"Add":""},{"Add":""},{"Add":"canvasShape :: CanvasElement -> Effect Vec2"},{"Add":"canvasShape elem = do"},{"Add":" w <- getCanvasWidth elem"},{"Add":" h <- getCanvasHeight elem"},{"Add":" pure $ V2 w h"},{"Add":""},{"Add":""},{"Add":"drawTracklet :: CanvasElement -> Box -> Number -> Tracklet -> Effect Unit"},{"Add":"drawTracklet elem box alpha tracklet = do"},{"Add":" shape <- canvasShape elem"},{"Add":" ctx <- getContext2D elem"},{"Add":""},{"Add":" let"},{"Add":" color = rgb 100 100 200"},{"Add":" Canvas.setLineJoin ctx Canvas.BevelJoin"},{"Add":" Canvas.setLineWidth ctx 5.0"},{"Add":" Canvas.setGlobalAlpha ctx alpha"},{"Add":" Canvas.setStrokeStyle ctx (toHexString color)"},{"Add":" Canvas.beginPath ctx"},{"Add":""},{"Add":" for_ tracklet \\pt -> do"},{"Add":" let V2 px py = metersToPixels shape box pt.p"},{"Add":" Canvas.lineTo ctx px py"},{"Add":" Canvas.stroke ctx"},{"Add":""},{"Add":" -- start circle"},{"Add":" case tracklet !! 0 of"},{"Add":" Nothing -> pure unit"},{"Add":" Just pt -> do"},{"Add":" let V2 px py = metersToPixels shape box pt.p"},{"Add":" Canvas.setGlobalAlpha ctx 0.2"},{"Add":" Canvas.setFillStyle ctx (toHexString $ rgb 200 100 100)"},{"Add":" Canvas.beginPath ctx"},{"Add":" Canvas.arc ctx"},{"Add":" { x: px"},{"Add":" , y: py"},{"Add":" , radius: 5.0, start: 0.0, end: 6.3"},{"Add":" }"},{"Add":" Canvas.fill ctx"},{"Add":""},{"Add":""},{"Add":"hashedColor :: Int -> Color"},{"Add":"hashedColor h = hsl (toNumber $ h * 15_485_867 `mod` 255) 1.0 0.3"},{"Add":""},{"Add":""},{"Add":"colorToCss :: Color -> CSS.Color"},{"Add":"colorToCss col = let"},{"Add":" {h, s, l, a} = toHSLA col"},{"Add":" in CSS.hsla h s l a"},{"Add":""},{"Add":""},{"Add":"drawObject :: CanvasElement -> Box -> Object -> Effect Unit"},{"Add":"drawObject elem box (Object obj) = do"},{"Add":" ctx <- getContext2D elem"},{"Add":" shape <- canvasShape elem"},{"Add":""},{"Add":" let V2 hx hy' = obj.heading"},{"Add":" hy = -hy'"},{"Add":" angle = atan2 hy hx"},{"Add":" V2 px py = metersToPixels shape box $ obj.pos"},{"Add":""},{"Add":" let color = toHexString (hashedColor obj.id)"},{"Add":" alpha = clamp 0.0 1.0 $ toNumber (10 - obj.gap) / 10.0"},{"Add":" Canvas.setLineWidth ctx 5.0"},{"Add":" Canvas.setGlobalAlpha ctx alpha"},{"Add":" Canvas.setStrokeStyle ctx color"},{"Add":" Canvas.setFillStyle ctx color"},{"Add":""},{"Add":" Canvas.beginPath ctx"},{"Add":" Canvas.arc ctx"},{"Add":" { x: px"},{"Add":" , y: py"},{"Add":" , radius: 10.0, start: angle + 3.15 / 3.0, end: angle - 3.15 / 3.0"},{"Add":" }"},{"Add":" Canvas.moveTo ctx (px + cos (angle - pi / 3.0) * 10.0) (py + sin (angle - pi / 3.0) * 10.0)"},{"Add":" Canvas.lineTo ctx (px + hx * 20.0) (py + hy * 20.0)"},{"Add":" Canvas.lineTo ctx (px + cos (angle + pi / 3.0) * 10.0) (py + sin (angle + pi / 3.0) * 10.0)"},{"Add":" Canvas.stroke ctx"},{"Add":" Canvas.setGlobalAlpha ctx (alpha / 3.0)"},{"Add":" Canvas.fill ctx"}]}},{"FileAdd":{"meta":{"basename":"Dom.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Dom where"},{"Add":""},{"Add":"-- import Prelude"},{"Add":""},{"Add":"import Halogen.HTML as HH"},{"Add":"import Frontend.Util (classes)"},{"Add":""},{"Add":""},{"Add":"card :: forall w i. Array String -> Array (HH.HTML w i) -> Array (HH.HTML w i) -> HH.HTML w i"},{"Add":"card classes' header body = "},{"Add":" HH.div [ classes classes' ]"},{"Add":" [ HH.div [ classes [\"card\", \"shadow\", \"mb-4\"] ]"},{"Add":" [ HH.div [ classes [\"card-header\", \"card-header\", \"py-3\", \"d-flex\", \"flex-row\", \"align-items-center\", \"justify-content-between\"] ]"},{"Add":" [ HH.h6 [ classes [\"m-0\", \"font-weight-bold\", \"text-primary\"] ] "},{"Add":" header"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"card-body\"] ]"},{"Add":" body"},{"Add":" ]"},{"Add":" ]"}]}},{"FileAdd":{"meta":{"basename":"Component","metadata":1005},"context":[{"change":0,"pos":6}],"contents":[]}},{"FileAdd":{"meta":{"basename":"Zones.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"module Frontend.Component.Zones where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Effect.Aff.Class (class MonadAff)"},{"Add":"import Frontend.Dom (card)"},{"Add":"import Frontend.Types (Config(..))"},{"Add":"import Frontend.Util (classes)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":""},{"Add":""},{"Add":"type State ="},{"Add":" { config :: Config"},{"Add":" }"},{"Add":""},{"Add":"data Action"},{"Add":" = Initialize"},{"Add":""},{"Add":"type Input = { config :: Config }"},{"Add":""},{"Add":""},{"Add":"component :: forall query output m. MonadAff m => H.Component HH.HTML query Input output m"},{"Add":"component = H.mkComponent"},{"Add":" { initialState: identity"},{"Add":" , render"},{"Add":" , eval: H.mkEval H.defaultEval"},{"Add":" { initialize = Just Initialize"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":""},{"Add":"render :: forall s m. MonadAff m => State -> H.ComponentHTML Action s m"},{"Add":"render { config: Config config } ="},{"Add":" HH.div [ classes [\"row\"] ]"},{"Add":" [ card [\"col-lg-12\"]"},{"Add":" [ HH.text \"Zones\" ]"},{"Add":" [ HH.span_ [ HH.text $ \"ToDo\" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"Statistics.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"module Frontend.Component.Statistics where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Array (elemIndex, filter, head, last, length, sortWith, take, zip, (!!))"},{"Add":"import Data.DateTime (DateTime)"},{"Add":"import Data.Either (Either, hush)"},{"Add":"import Data.Foldable (and, or)"},{"Add":"import Data.Int (round, toNumber)"},{"Add":"import Data.JSDate (getTimezoneOffset, now)"},{"Add":"import Data.List (fromFoldable)"},{"Add":"import Data.Maybe (Maybe(..), fromMaybe)"},{"Add":"import Data.Tuple (Tuple(..))"},{"Add":"import Effect.Aff.Class (class MonadAff, liftAff)"},{"Add":"import Effect.Class.Console (log)"},{"Add":"import Frontend.Api (fetchTrackletsSOA)"},{"Add":"import Frontend.Dom (card)"},{"Add":"import Frontend.Tracklet.Filter (insideBox)"},{"Add":"import Frontend.Tracklets (TrackletSOA, unTrackletSOA)"},{"Add":"import Frontend.Types (Config(..), Info(..), Vec2(..))"},{"Add":"import Frontend.Util (classes, formatDateTime')"},{"Add":"import Global (encodeURIComponent)"},{"Add":"import Halogen (liftEffect)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":"import Halogen.HTML.Events as HE"},{"Add":"import Halogen.HTML.Properties as HP"},{"Add":"import Record.CSV.Printer (printCSVWithOrder)"},{"Add":"import Record.CSV.Printer.SList (SLProxy(..))"},{"Add":"import Record.CSV.Printer.SList (type (:), type (!), SLProxy(..))"},{"Add":""},{"Add":"type Props ="},{"Add":" { len :: Int"},{"Add":" , id :: Int"},{"Add":" , startTime :: DateTime"},{"Add":" , duration :: Number"},{"Add":" , durationInShop :: Number"},{"Add":" , startZones :: Array Boolean"},{"Add":" , endZones :: Array Boolean"},{"Add":" , throughZones :: Array Boolean"},{"Add":" , throughShop :: Boolean"},{"Add":" }"},{"Add":""},{"Add":"type Slots ="},{"Add":" ()"},{"Add":""},{"Add":"-- _plot = (SProxy :: SProxy \"plot\")"},{"Add":""},{"Add":"type State ="},{"Add":" { info :: Info"},{"Add":" , config :: Config"},{"Add":" , fetching :: Boolean"},{"Add":" , tracklets :: Maybe (Array TrackletSOA)"},{"Add":" , props :: Maybe (Array Props)"},{"Add":" }"},{"Add":""},{"Add":"data Action"},{"Add":" = Initialize"},{"Add":" | SetInput Input"},{"Add":" | FetchData"},{"Add":""},{"Add":"type Input = { info :: Info, config :: Config }"},{"Add":""},{"Add":""},{"Add":"component :: forall query output m. MonadAff m => H.Component HH.HTML query Input output m"},{"Add":"component = H.mkComponent"},{"Add":" { initialState: \\{info, config} ->"},{"Add":" { info"},{"Add":" , config"},{"Add":" , fetching: false"},{"Add":" , tracklets: Nothing"},{"Add":" , props: Nothing"},{"Add":" }"},{"Add":" , render"},{"Add":" , eval: H.mkEval H.defaultEval"},{"Add":" { handleAction = handleAction"},{"Add":" , initialize = Just Initialize"},{"Add":" , receive = Just <<< SetInput"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":"render :: forall m. MonadAff m => State -> H.ComponentHTML Action Slots m"},{"Add":"render state ="},{"Add":" HH.div [ classes [\"row\"] ]"},{"Add":" [ HH.div [ classes [\"col-lg-12\"] ]"},{"Add":" [ card []"},{"Add":" [ HH.text \"Statistics\" ]"},{"Add":" [ statistics state"},{"Add":" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":"type Order"},{"Add":" = \"id\""},{"Add":" : \"startTime\""},{"Add":" : \"duration\""},{"Add":" : \"durationInShop\""},{"Add":" : \"startZone\""},{"Add":" : \"endZone\""},{"Add":" ! \"throughShop\""},{"Add":""},{"Add":"toCsv :: Array String -> Array Props -> String"},{"Add":"toCsv zoneNames props = fromMaybe \"Error\" $ encodeURIComponent =<< (hush csv) where"},{"Add":" csv = printCSVWithOrder (SLProxy :: SLProxy Order) (fromFoldable (map csvTransform props))"},{"Add":""},{"Add":" csvTransform"},{"Add":" { len"},{"Add":" , id"},{"Add":" , startTime"},{"Add":" , duration"},{"Add":" , durationInShop"},{"Add":" , startZones"},{"Add":" , endZones"},{"Add":" , throughZones"},{"Add":" , throughShop"},{"Add":" } ="},{"Add":" { id"},{"Add":" , startTime: formatDateTime' startTime"},{"Add":" , duration: round duration"},{"Add":" , durationInShop: round durationInShop"},{"Add":" , startZone: fromMaybe \"-\" $ (zoneNames !! _) =<< elemIndex true startZones"},{"Add":" , endZone: fromMaybe \"-\" $ (zoneNames !! _) =<< elemIndex true endZones"},{"Add":" , throughShop"},{"Add":" }"},{"Add":""},{"Add":"statistics :: forall m. MonadAff m => State -> H.ComponentHTML Action Slots m"},{"Add":"statistics {info: Info info, config: Config config, tracklets: mtracklets, fetching, props} = let"},{"Add":" zoneNames = take 4 (_.name <$> config.zones)"},{"Add":" in HH.div_"},{"Add":" [ HH.button"},{"Add":" [ HE.onClick $ const $ Just FetchData"},{"Add":" , classes [\"btn\", \"btn-primary\", \"btn-outline\"]"},{"Add":" ] [HH.text \"Fetch Data\"]"},{"Add":" , if fetching"},{"Add":" then HH.span [ classes [\"spinner-border\", \"spinner-border-sm\", \"mx-4\"] ]"},{"Add":" [ HH.span [ classes [\"sr-only\"] ] [ HH.text \"Loading...\" ]"},{"Add":" ]"},{"Add":" else HH.text \"\""},{"Add":" , HH.div [ classes [\"m-2\"] ] case mtracklets of"},{"Add":" Just tracklets ->"},{"Add":" [ HH.text $ \"Number of tracklets: \" <> show (length tracklets)"},{"Add":" ]"},{"Add":" Nothing ->"},{"Add":" [ HH.text \"No data.\" ]"},{"Add":" , HH.div [ classes [\"m-2\"] ] case props of"},{"Add":" Nothing -> []"},{"Add":" Just props' ->"},{"Add":" [ HH.a [HP.href $ \"data:text/plain;charset=UTF-8,\" <> toCsv zoneNames props', HP.download \"data.csv\"] [HH.text \"csv\"]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":"cmpProps :: Config -> TrackletSOA -> Props"},{"Add":"cmpProps (Config config) tr = let"},{"Add":" {id, t0, t, x, y} = unTrackletSOA tr"},{"Add":" shopZones = config.zones -- FIXME: checkout is inside the shop."},{"Add":" inShop p = and ((\\{box} -> not $ insideBox box p) <$> shopZones)"},{"Add":" in"},{"Add":" { len: length t"},{"Add":" , id"},{"Add":" , startTime: t0"},{"Add":" , duration: fromMaybe 0.0 $ last t"},{"Add":" , durationInShop: let"},{"Add":" lenInShop = length $ filter identity $ zip x y <#> \\(Tuple x' y') ->"},{"Add":" inShop { p: V2 x' y', t: t0 }"},{"Add":" in toNumber lenInShop / toNumber (length t) * (fromMaybe 0.0 $ last t)"},{"Add":" , startZones: fromMaybe (config.zones $> false) do"},{"Add":" x0 <- head x"},{"Add":" y0 <- head y"},{"Add":" pure $ config.zones <#> \\zone ->"},{"Add":" insideBox zone.box { p: V2 x0 y0, t: t0 }"},{"Add":" , endZones: fromMaybe (config.zones $> false) do"},{"Add":" x0 <- last x"},{"Add":" y0 <- last y"},{"Add":" pure $ config.zones <#> \\zone ->"},{"Add":" insideBox zone.box { p: V2 x0 y0, t: t0 }"},{"Add":" , throughZones: config.zones <#> \\zone ->"},{"Add":" or $ zip x y <#> \\(Tuple x' y') ->"},{"Add":" insideBox zone.box { p: V2 x' y', t: t0 }"},{"Add":" , throughShop: or $ zip x y <#> \\(Tuple x' y') ->"},{"Add":" inShop { p: V2 x' y', t: t0 }"},{"Add":" }"},{"Add":""},{"Add":""},{"Add":"handleAction :: forall output m. MonadAff m => Action -> H.HalogenM State Action Slots output m Unit"},{"Add":"handleAction = case _ of"},{"Add":" Initialize -> do"},{"Add":" {info: Info info, config: Config config} <- H.get"},{"Add":" pure unit"},{"Add":""},{"Add":" SetInput { info, config } -> H.modify_ _ { info = info, config = config }"},{"Add":""},{"Add":" FetchData -> do"},{"Add":" {info: Info info, config: Config config} <- H.get"},{"Add":" H.modify_ _ { fetching = true }"},{"Add":""},{"Add":" -- Get data"},{"Add":" tracklets <- liftAff $ fetchTrackletsSOA info.first_dt info.last_dt 10"},{"Add":""},{"Add":" -- FIXME: Get offset from data, not from now"},{"Add":" tzOffset <- liftEffect $ now >>= getTimezoneOffset"},{"Add":""},{"Add":" -- Compute statistics"},{"Add":" let"},{"Add":" props :: Either String (Array Props)"},{"Add":" props = sortWith _.id <<< map (cmpProps (Config config)) <$> tracklets"},{"Add":""},{"Add":" log $ show props"},{"Add":" H.modify_ _ { fetching = false, tracklets = hush tracklets, props = hush props }"}]}},{"FileAdd":{"meta":{"basename":"Plot.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"module Frontend.Component.Plot where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Foldable (sequence_, traverse_)"},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Data.Traversable (for_)"},{"Add":"import Effect.Aff.Class (class MonadAff)"},{"Add":"import Effect.Class (class MonadEffect)"},{"Add":"import Effect.Class.Console (log)"},{"Add":"import Frontend.UPlot as UPlot"},{"Add":"import Halogen (liftEffect)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":"import Halogen.HTML.Properties as HP"},{"Add":"import Halogen.Query.EventSource (eventListenerEventSource)"},{"Add":"import Web.Event.Event (EventType(..))"},{"Add":"import Web.HTML (window)"},{"Add":"import Web.HTML.HTMLElement (getBoundingClientRect)"},{"Add":"import Web.HTML.Window (document, toEventTarget)"},{"Add":""},{"Add":"type State ="},{"Add":" { plot :: Maybe UPlot.Plot"},{"Add":" , opts :: UPlot.Opts"},{"Add":" }"},{"Add":""},{"Add":"type Data = Array (Array (Maybe Number))"},{"Add":""},{"Add":"data Query a ="},{"Add":" SetData Data a"},{"Add":""},{"Add":"data Action"},{"Add":" = Initialize"},{"Add":" | Finalize"},{"Add":" | Resize"},{"Add":" -- | SetOpts UPlot.Opts"},{"Add":""},{"Add":"component :: forall o m. MonadAff m => H.Component HH.HTML Query UPlot.Opts o m"},{"Add":"component ="},{"Add":" H.mkComponent"},{"Add":" { initialState: \\opts -> { plot: Nothing, opts }"},{"Add":" , render"},{"Add":" , eval: H.mkEval $ H.defaultEval"},{"Add":" { handleAction = handleAction"},{"Add":" , handleQuery = handleQuery"},{"Add":" , initialize = Just Initialize"},{"Add":" , finalize = Just Finalize"},{"Add":" , receive = const Nothing -- Just <<< SetOpts"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":"render :: forall m. State -> H.ComponentHTML Action () m"},{"Add":"render state = HH.div [ HP.ref (H.RefLabel \"plot\") ] []"},{"Add":""},{"Add":"handleQuery :: forall a o m. MonadEffect m => Query a -> H.HalogenM State Action () o m (Maybe a)"},{"Add":"handleQuery = case _ of"},{"Add":" SetData d a -> do"},{"Add":" plot' <- H.get <#> _.plot"},{"Add":" for_ plot' \\plot -> do"},{"Add":" liftEffect $ UPlot.setData plot d"},{"Add":" pure (Just a)"},{"Add":""},{"Add":"handleAction ∷ forall o m. MonadAff m => Action → H.HalogenM State Action () o m Unit"},{"Add":"handleAction = case _ of"},{"Add":" Initialize -> do"},{"Add":" log \"Initializing\""},{"Add":" div <- H.getHTMLElementRef (H.RefLabel \"plot\")"},{"Add":" opts <- H.get <#> _.opts"},{"Add":" for_ div \\element -> do"},{"Add":" plot <- liftEffect $ UPlot.initialize element opts"},{"Add":" -- liftEffect $ setData plot [[1.0, 2.0, 3.0], [10.0, 12.0, 11.0], [20.0, 12.0, 11.0], [30.0, 12.0, 11.0]]"},{"Add":" H.modify_ _ { plot = Just plot }"},{"Add":""},{"Add":" -- Register resize handler"},{"Add":" document <- H.liftEffect $ document =<< window"},{"Add":" window <- liftEffect window"},{"Add":" H.subscribe' \\sid ->"},{"Add":" eventListenerEventSource"},{"Add":" (EventType \"resize\")"},{"Add":" (toEventTarget window)"},{"Add":" \\ev -> Just Resize"},{"Add":" handleAction Resize"},{"Add":""},{"Add":" -- log $ show element"},{"Add":" Finalize -> do"},{"Add":" plot <- H.get <#> _.plot"},{"Add":" liftEffect $ traverse_ UPlot.destroy plot"},{"Add":""},{"Add":" Resize -> do"},{"Add":" div <- H.getHTMLElementRef (H.RefLabel \"plot\")"},{"Add":" state <- H.get"},{"Add":""},{"Add":" sequence_ do"},{"Add":" div' <- div"},{"Add":" plot <- state.plot :: Maybe UPlot.Plot"},{"Add":" pure $ do"},{"Add":" rect <- liftEffect $ getBoundingClientRect div'"},{"Add":" liftEffect $ UPlot.setSize plot rect.width state.opts.height"},{"Add":""},{"Add":" -- SetOpts opts -> do"},{"Add":" -- H.modify_ _ { opts = opts }"},{"Add":" -- log \"Setting opts\""},{"Add":" -- handleAction Initialize"}]}},{"FileAdd":{"meta":{"basename":"Index.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"module Frontend.Component.Index where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Control.Monad.Rec.Class (forever)"},{"Add":"import Data.Either (Either(..), hush, isLeft, note)"},{"Add":"import Data.Maybe (Maybe(..), fromMaybe, isJust)"},{"Add":"import Data.Monoid (guard)"},{"Add":"import Data.Symbol (SProxy(..))"},{"Add":"import Data.Traversable (for, sequence)"},{"Add":"import Effect.Aff (Milliseconds(..), delay, error, forkAff, killFiber)"},{"Add":"import Effect.Aff.Class (class MonadAff, liftAff)"},{"Add":"import Effect.Class (class MonadEffect, liftEffect)"},{"Add":"import Effect.Class.Console (log)"},{"Add":"import Frontend.Api (fetchConfig, fetchInfo, fetchInfoImage)"},{"Add":"import Frontend.Assets (certiconLogo)"},{"Add":"import Frontend.Assets as Assets"},{"Add":"import Frontend.Component.Cameras as Cameras"},{"Add":"import Frontend.Component.Dashboard as Dashboard"},{"Add":"import Frontend.Component.Filtering as Filtering"},{"Add":"import Frontend.Component.Statistics as Statistics"},{"Add":"import Frontend.Component.Zones as Zones"},{"Add":"import Frontend.Route (Route(..), navigate, routeCodec)"},{"Add":"import Frontend.Types (Config(..), Info)"},{"Add":"import Frontend.Util (classes)"},{"Add":"import Graphics.Canvas (CanvasImageSource)"},{"Add":"import Halogen (SubscriptionId)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":"import Halogen.HTML.Events as HE"},{"Add":"import Halogen.HTML.Properties as HP"},{"Add":"import Halogen.Query.EventSource (EventSource)"},{"Add":"import Halogen.Query.EventSource as EventSource"},{"Add":"import Routing.Duplex (parse, print)"},{"Add":"import Routing.Hash (getHash)"},{"Add":"import Web.Event.Event (preventDefault)"},{"Add":"import Web.UIEvent.MouseEvent (MouseEvent, toEvent)"},{"Add":""},{"Add":""},{"Add":"type State ="},{"Add":" { info :: Maybe Info"},{"Add":" , config :: Maybe Config"},{"Add":" , mapImage :: Maybe CanvasImageSource"},{"Add":" , route :: Maybe Route"},{"Add":" , infoUpdater :: Maybe SubscriptionId"},{"Add":" , sidebar :: Boolean"},{"Add":" }"},{"Add":""},{"Add":"data Action"},{"Add":" = Initialize"},{"Add":" | GoTo Route MouseEvent"},{"Add":" | InfoTick"},{"Add":" | AutoUpdate Boolean"},{"Add":" | ToggleSidebar"},{"Add":""},{"Add":"data Query a = Navigate Route a"},{"Add":""},{"Add":"type Slots ="},{"Add":" ( dashboard :: forall query. H.Slot query Void Unit"},{"Add":" , tracklets :: forall query. H.Slot query Void Unit"},{"Add":" , statistics :: forall query. H.Slot query Void Unit"},{"Add":" , filtering :: forall query. H.Slot query Void Unit"},{"Add":" , zones :: forall query. H.Slot query Void Unit"},{"Add":" , cameras :: forall query. H.Slot query Void Unit"},{"Add":" )"},{"Add":""},{"Add":"-- _tracklets = SProxy :: SProxy \"tracklets\""},{"Add":""},{"Add":"component :: forall i o m. MonadAff m => H.Component HH.HTML Query i o m"},{"Add":"component ="},{"Add":" H.mkComponent"},{"Add":" { initialState: \\_ ->"},{"Add":" { info: Nothing"},{"Add":" , config: Nothing"},{"Add":" , mapImage: Nothing"},{"Add":" , route: Nothing"},{"Add":" , infoUpdater: Nothing"},{"Add":" , sidebar: true"},{"Add":" }"},{"Add":" , render"},{"Add":" , eval: H.mkEval $ H.defaultEval"},{"Add":" { handleAction = handleAction"},{"Add":" , handleQuery = handleQuery"},{"Add":" , initialize = Just Initialize"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":"pageLink :: forall w i. Route -> String -> Boolean -> HH.HTML w i"},{"Add":"pageLink route icon active ="},{"Add":" HH.li [ classes $ [\"nav-item\"] <> if active then [\"active\"] else [] ]"},{"Add":" [ HH.a [ HP.href (\"/web/#\" <> print routeCodec route), classes [\"nav-link\"] ]"},{"Add":" [ HH.i [ classes [\"fas\", \"fa-fw\", icon] ] []"},{"Add":" , HH.span_ [ HH.text $ show route ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":"sidebar :: forall m. MonadAff m => Maybe Route -> Info -> H.ComponentHTML Action Slots m"},{"Add":"sidebar route info ="},{"Add":" HH.ul [ HP.id_ \"accordionSidebar\", classes [\"navbar-nav\", \"bg-gradient-primary\", \"sidebar\", \"sidebar-dark\", \"accordion\"] ]"},{"Add":" [ HH.a"},{"Add":" [ HP.href \"/web/#/\", classes [\"sidebar-brand\", \"d-flex\", \"align-items-center\", \"justify-content-center\"] ]"},{"Add":" [ HH.img [ HP.src Assets.logoWhite, classes [\"sidebar-brand-icon\"] ]"},{"Add":" , HH.div [ classes [\"sidebar-brand-text\", \"mx-3\"]]"},{"Add":" [ HH.text \"Retail Analytics\" ]"},{"Add":" ]"},{"Add":""},{"Add":" , HH.hr [ classes [\"sidebar-divider\", \"my-0\"] ]"},{"Add":" , Dashboard # \\a -> pageLink a \"fa-tachometer-alt\" (route == Just a)"},{"Add":""},{"Add":" , HH.hr [ classes [\"sidebar-divider\"] ]"},{"Add":" , HH.div [ classes [\"sidebar-heading\"] ]"},{"Add":" [ HH.text \"Analytics\" ]"},{"Add":" , Tracking # \\a -> pageLink a \"fa-map-marker\" (route == Just a)"},{"Add":" , Filtering # \\a -> pageLink a \"fa-filter\" (route == Just a)"},{"Add":" , Statistics # \\a -> pageLink a \"fa-table\" (route == Just a)"},{"Add":" , Zones # \\a -> pageLink a \"fa-shapes\" (route == Just a)"},{"Add":" , Cameras # \\a -> pageLink a \"fa-video\" (route == Just a)"},{"Add":""},{"Add":" , HH.hr [ classes [\"sidebar-divider\"] ]"},{"Add":" , HH.div [ classes [\"sidebar-heading\"] ]"},{"Add":" [ HH.text \"External Links\" ]"},{"Add":" , HH.li [ classes [\"nav-item\"] ]"},{"Add":" [ HH.a [ HP.href \"/\", classes [\"nav-link\"] ]"},{"Add":" [ HH.i [ classes [\"fas\", \"fa-fw\", \"fa-wrench\"] ] []"},{"Add":" , HH.span_ [ HH.text \"API Documentation\" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":" , HH.li [ classes [\"nav-item\"] ]"},{"Add":" [ HH.a [ HP.href \"https://gitlab.certicon.cz/retail/server/issues\", classes [\"nav-link\"] ]"},{"Add":" [ HH.i [ classes [\"fas\", \"fa-fw\", \"fa-bug\"] ] []"},{"Add":" , HH.span_ [ HH.text \"Issue Tracker\" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":" , HH.hr [ classes [\"sidebar-divider\", \"d-none\", \"d-md-block\"] ]"},{"Add":" -- , HH.div [ classes [\"text-center\", \"d-none\", \"d-md-inline\"] ]"},{"Add":" -- [ HH.button [ HP.id_ \"sidebarToggle\", classes [\"rounded-circle\", \"border-0\"] ]"},{"Add":" -- [ ]"},{"Add":" -- ]"},{"Add":" ]"},{"Add":""},{"Add":"navbar :: forall m. MonadAff m => Info -> Boolean -> H.ComponentHTML Action Slots m"},{"Add":"navbar info updating ="},{"Add":" HH.nav [ classes [\"navbar\", \"navbar-expand\", \"navbar-light\", \"bg-white\", \"topbar\", \"mb-4\", \"static-top\", \"shadow\"] ]"},{"Add":" [ HH.button [ HE.onClick (const $ Just ToggleSidebar), HP.id_ \"sidebarToggleTop\", classes [\"btn\", \"btn-link\", \"d-md-none\", \"rounded-circle\", \"mr-3\"] ]"},{"Add":" [ HH.i [ classes [\"fa\", \"fa-bars\"] ] []"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"btn-group\", \"btn-group-sm\", \"mx-3\", \"my-1\"] ]"},{"Add":" [ HH.button"},{"Add":" [ HE.onClick (const $ Just $ AutoUpdate (not updating) )"},{"Add":" , classes $ [\"btn\", \"btn-secondary\"] <> guard updating [\"active\"]"},{"Add":" ] [ HH.text $ if updating then \"Stop Live\" else \"Go Live\" ]"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"navbar-nav\", \"ml-auto\"] ]"},{"Add":" [ HH.img [ HP.src certiconLogo, classes [\"certicon-logo\", \"mr-2\"] ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":""},{"Add":"content :: forall m. MonadAff m => Maybe Route -> Info -> Config -> CanvasImageSource -> H.ComponentHTML Action Slots m"},{"Add":"content route info config mapImage ="},{"Add":" HH.div [ classes [\"container-fluid\", \"mt-4\"] ]"},{"Add":" [ case route of"},{"Add":" Just Dashboard ->"},{"Add":" HH.slot (SProxy :: SProxy \"dashboard\") unit Dashboard.component {info, config, mapImage} (const Nothing)"},{"Add":" Just Tracking -> HH.text \"Tracklets: not upgraded to the new API yet\""},{"Add":" Just Filtering ->"},{"Add":" HH.slot (SProxy :: SProxy \"filtering\") unit Filtering.component {info, config, mapImage} (const Nothing)"},{"Add":" Just Statistics ->"},{"Add":" HH.slot (SProxy :: SProxy \"statistics\") unit Statistics.component {info, config} (const Nothing)"},{"Add":" Just Zones ->"},{"Add":" HH.slot (SProxy :: SProxy \"zones\") unit Zones.component {config} (const Nothing)"},{"Add":" Just Cameras ->"},{"Add":" HH.slot (SProxy :: SProxy \"cameras\") unit Cameras.component {config} (const Nothing)"},{"Add":" Nothing -> HH.div_ [ HH.text \"Oh no! That page wasn't found.\" ]"},{"Add":" ]"},{"Add":""},{"Add":""},{"Add":"render :: forall m. MonadAff m => State -> H.ComponentHTML Action Slots m"},{"Add":"render state = let"},{"Add":" values = do"},{"Add":" info <- note \"Waiting for database information...\" state.info"},{"Add":" config <- note \"Waiting for config...\" state.config"},{"Add":" mapImage <- note \"Waiting for the map...\" state.mapImage"},{"Add":" pure {info, config, mapImage}"},{"Add":" in case values of"},{"Add":" Left err -> HH.text err"},{"Add":" Right {info, config, mapImage} ->"},{"Add":" HH.div [ HP.id_ \"wrapper\" ] $"},{"Add":" guard state.sidebar [ sidebar state.route info ] <>"},{"Add":" [ HH.div [ HP.id_ \"content-wrapper\", classes [\"d-flex\", \"flex-column\"] ]"},{"Add":" [ HH.div [ HP.id_ \"content\" ]"},{"Add":" [ navbar info (isJust state.infoUpdater)"},{"Add":" , content state.route info config mapImage"},{"Add":" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":""},{"Add":"handleAction :: forall cs o m. MonadAff m => Action → H.HalogenM State Action cs o m Unit"},{"Add":"handleAction = case _ of"},{"Add":" Initialize -> do"},{"Add":" initialRoute <- hush <<< ( parse routeCodec ) <$> H.liftEffect getHash"},{"Add":" navigate $ fromMaybe Dashboard initialRoute"},{"Add":" info <- liftAff fetchInfo"},{"Add":" config <- liftAff fetchConfig"},{"Add":" when (isLeft info) $ log $ show info"},{"Add":" when (isLeft config) $ log $ show config"},{"Add":""},{"Add":" mapImage <- join <$> for config \\(Config c) ->"},{"Add":" liftAff $ fetchInfoImage c.map"},{"Add":""},{"Add":" H.modify_ _ { info = hush info, config = hush config, mapImage = hush mapImage }"},{"Add":" pure unit"},{"Add":" GoTo route e -> do"},{"Add":" liftEffect $ preventDefault ( toEvent e )"},{"Add":" mRoute <- H.gets _.route"},{"Add":" when ( mRoute /= Just route ) $ navigate route"},{"Add":""},{"Add":" AutoUpdate true -> do"},{"Add":" id <- H.subscribe (infoTimer 2000.0)"},{"Add":" H.modify_ _ { infoUpdater = Just id }"},{"Add":" AutoUpdate false -> do"},{"Add":" st <- H.get"},{"Add":" void $ sequence $ H.unsubscribe <$> st.infoUpdater"},{"Add":" H.modify_ _ { infoUpdater = Nothing }"},{"Add":" InfoTick -> do"},{"Add":" st <- H.get"},{"Add":" res <- liftAff fetchInfo"},{"Add":" case res of"},{"Add":" Left err -> log $ \"Error requesting info: \" <> err"},{"Add":" Right info ->"},{"Add":" H.modify_ _ { info = Just info }"},{"Add":" pure unit"},{"Add":""},{"Add":" ToggleSidebar -> do"},{"Add":" H.modify_ \\st -> st { sidebar = not st.sidebar }"},{"Add":""},{"Add":"handleQuery :: forall a o m. MonadEffect m => Query a -> H.HalogenM State Action Slots o m ( Maybe a )"},{"Add":"handleQuery = case _ of"},{"Add":" -- This is the case that runs every time the brower's hash route changes."},{"Add":" Navigate route a -> do"},{"Add":" mRoute <- H.gets _.route"},{"Add":" when ( mRoute /= Just route ) $"},{"Add":" H.modify_ _ { route = Just route }"},{"Add":" pure ( Just a )"},{"Add":""},{"Add":"infoTimer :: forall m. MonadAff m => Number -> EventSource m Action"},{"Add":"infoTimer delayMs = EventSource.affEventSource \\emitter -> do"},{"Add":" fiber <- forkAff $ forever do"},{"Add":" delay $ Milliseconds delayMs"},{"Add":" EventSource.emit emitter InfoTick"},{"Add":""},{"Add":" pure $ EventSource.Finalizer do"},{"Add":" killFiber (error \"Event source finalized\") fiber"},{"Add":" pure unit"}]}},{"FileAdd":{"meta":{"basename":"Filtering.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"module Frontend.Component.Filtering where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Array (length)"},{"Add":"import Data.Array as A"},{"Add":"import Data.Array.NonEmpty (NonEmptyArray, fromNonEmpty, head, toArray)"},{"Add":"import Data.DateTime (DateTime, adjust, diff)"},{"Add":"import Data.Either (Either(..), hush)"},{"Add":"import Data.Foldable (for_)"},{"Add":"import Data.HeytingAlgebra (tt, ff)"},{"Add":"import Data.Int (round, toNumber)"},{"Add":"import Data.Maybe (Maybe(..), fromMaybe)"},{"Add":"import Data.Newtype (unwrap)"},{"Add":"import Data.NonEmpty ((:|))"},{"Add":"import Data.Number (fromString)"},{"Add":"import Data.Symbol (SProxy(..))"},{"Add":"import Data.Time.Duration (class Duration, Hours(..), convertDuration, negateDuration)"},{"Add":"import Effect (Effect)"},{"Add":"import Effect.Aff.Class (class MonadAff, liftAff)"},{"Add":"import Effect.Class.Console (log)"},{"Add":"import Frontend.Api (fetchInstantInterval, fetchTracklets)"},{"Add":"import Frontend.Component.Plot as Plot"},{"Add":"import Frontend.Dom (card)"},{"Add":"import Frontend.Draw (drawTracklet, imageShape)"},{"Add":"import Frontend.Tracklet.Filter (HLine, TrackletFilter)"},{"Add":"import Frontend.Tracklet.Filter as F"},{"Add":"import Frontend.Types (Box, Config(..), Info(..), MaybeInstant, Tracklet, Tracklets(..), Zone, dateTimeToSeconds)"},{"Add":"import Frontend.UPlot (Opts, defaultOpts, defaultSeries)"},{"Add":"import Frontend.Util (classes, datetimeToSeconds, secondsToDateTime)"},{"Add":"import Graphics.Canvas (CanvasImageSource, drawImage, getCanvasElementById, getContext2D, setGlobalAlpha)"},{"Add":"import Halogen (liftEffect)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":"import Halogen.HTML.Events as HE"},{"Add":"import Halogen.HTML.Properties as HP"},{"Add":""},{"Add":""},{"Add":"type State ="},{"Add":" { info :: Info"},{"Add":" , config :: Config"},{"Add":" , mapImage :: CanvasImageSource"},{"Add":" , instants :: Maybe (Array MaybeInstant)"},{"Add":" , tracklets :: Maybe (Array Tracklet)"},{"Add":" , filtered :: Maybe (Array Tracklet)"},{"Add":" , filter :: FilterRecord"},{"Add":" , seekPos :: DateTime"},{"Add":" , seekLen :: Hours"},{"Add":" , fetching :: Boolean"},{"Add":" , trackletAlpha :: Number"},{"Add":" }"},{"Add":""},{"Add":"type Slots ="},{"Add":" ( plot :: H.Slot Plot.Query Void Unit"},{"Add":" )"},{"Add":""},{"Add":"data Action"},{"Add":" = Initialize"},{"Add":" | SetInput Input"},{"Add":" | Seek DateTime"},{"Add":" | SetSeekLen Hours"},{"Add":" | FetchData"},{"Add":" | SetTrackletAlpha Number"},{"Add":" | SetFilter FilterRecord"},{"Add":""},{"Add":"type Input = { info :: Info, config :: Config, mapImage :: CanvasImageSource }"},{"Add":""},{"Add":"type FilterRecord = { name :: String, filter :: TrackletFilter }"},{"Add":""},{"Add":"line = {x0: 12.0, x1: 14.0, y: 11.0} :: HLine"},{"Add":""},{"Add":""},{"Add":"preparedFilters :: Array Zone -> NonEmptyArray FilterRecord"},{"Add":"preparedFilters zones = let"},{"Add":" originateAtZone {name, box} ="},{"Add":" { name: \"Tracklets which originate at \" <> name"},{"Add":" , filter: F.first (F.insideBox box)"},{"Add":" }"},{"Add":" passThroughZone {name, box} ="},{"Add":" { name: \"Tracklets which pass through \" <> name"},{"Add":" , filter: F.runParser $ F.any (F.insideBox box)"},{"Add":" }"},{"Add":" in fromNonEmpty $ {name: \"Everything\", filter: tt} :|"},{"Add":" [ {name: \"Nothing\", filter: ff"},{"Add":" }"},{"Add":" ]"},{"Add":" <> (originateAtZone <$> zones)"},{"Add":" <> (passThroughZone <$> zones)"},{"Add":""},{"Add":""},{"Add":"seekLenChoices :: NonEmptyArray Hours"},{"Add":"seekLenChoices = Hours <$> fromNonEmpty (1.0 :| [6.0, 12.0, 24.0])"},{"Add":""},{"Add":"_plot = (SProxy :: SProxy \"plot\")"},{"Add":""},{"Add":"component :: forall query output m. MonadAff m => H.Component HH.HTML query Input output m"},{"Add":"component = H.mkComponent"},{"Add":" { initialState: \\{info, config, mapImage} ->"},{"Add":" { info"},{"Add":" , config"},{"Add":" , mapImage"},{"Add":" , instants: Nothing"},{"Add":" , tracklets: Nothing"},{"Add":" , filtered: Nothing"},{"Add":" , filter: head $ preparedFilters (unwrap config).zones"},{"Add":" , seekPos: (unwrap info).first_dt"},{"Add":" , seekLen: head seekLenChoices"},{"Add":" , fetching: false"},{"Add":" , trackletAlpha: 0.8"},{"Add":" }"},{"Add":" , render"},{"Add":" , eval: H.mkEval H.defaultEval"},{"Add":" { handleAction = handleAction"},{"Add":" , initialize = Just Initialize"},{"Add":" , receive = Just <<< SetInput"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":"filteringOptions :: forall m. MonadAff m => State -> H.ComponentHTML Action Slots m"},{"Add":"filteringOptions {info: Info info, config: Config config, seekPos, seekLen, fetching, trackletAlpha, tracklets, filtered, filter} = let"},{"Add":" maxSeek = fromMaybe info.last_dt $ adjust (negateDuration seekLen) info.last_dt"},{"Add":" in HH.div_"},{"Add":" [ HH.text $ \"Total tracklets: \" <> fromMaybe \"N/A\" (show <<< length <$> tracklets)"},{"Add":" , HH.br_"},{"Add":" , HH.text $ \"Filtered tracklets: \" <> fromMaybe \"N/A\" (show <<< length <$> filtered)"},{"Add":""},{"Add":" , HH.hr_"},{"Add":""},{"Add":" , HH.div [ classes [\"by-2\"] ]"},{"Add":" [ HH.text \"Tracklet Alpha:\""},{"Add":" , HH.input"},{"Add":" [ HP.type_ HP.InputRange"},{"Add":" , classes [\"slider\", \"custom-range\"]"},{"Add":" , HP.min 0.0"},{"Add":" , HP.max 255.0"},{"Add":" , HE.onValueInput (map (SetTrackletAlpha <<< (_ / 255.0)) <<< fromString)"},{"Add":" , HP.value $ show $ trackletAlpha * 255.0"},{"Add":" ]"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"by-2\"] ] $"},{"Add":" [ HH.text \"Show:\""},{"Add":" , HH.br_"},{"Add":" , HH.div [ classes [\"container\"] ]"},{"Add":" [ HH.div [ classes [\"row\"] ]"},{"Add":" (toArray (preparedFilters config.zones) <#> \\f -> HH.div [ classes [\"col-6\"] ]"},{"Add":" [ HH.input"},{"Add":" [ HP.type_ HP.InputRadio"},{"Add":" , HP.value \"Hello!\""},{"Add":" , HP.checked (f.name == filter.name)"},{"Add":" , HE.onClick $ const $ Just $ SetFilter f"},{"Add":" , classes [\"mx-2\"] ]"},{"Add":" , HH.text f.name"},{"Add":" ])"},{"Add":" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":""},{"Add":"seekingOptions :: forall m. MonadAff m => State -> H.ComponentHTML Action Slots m"},{"Add":"seekingOptions {info: Info info, seekPos, seekLen, fetching, trackletAlpha, tracklets, filtered, filter} = let"},{"Add":" maxSeek = fromMaybe info.last_dt $ adjust (negateDuration seekLen) info.last_dt"},{"Add":" in HH.div_"},{"Add":" [ HH.div [ classes [\"my-2\"] ] [ HH.text \"Seek:\" ]"},{"Add":" , HH.div [ classes [\"my-2\"] ]"},{"Add":" [ HH.input"},{"Add":" [ HP.type_ HP.InputRange"},{"Add":" , classes [\"slider\", \"custom-range\"]"},{"Add":" , HP.min $ datetimeToSeconds info.first_dt"},{"Add":" , HP.max $ datetimeToSeconds maxSeek"},{"Add":" , HE.onValueInput (map Seek <<< secondsToDateTime <=< fromString)"},{"Add":" , HP.value $ show $ dateTimeToSeconds $ seekPos `min` maxSeek"},{"Add":" ]"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"my-2\"] ] $ toArray seekLenChoices <#> \\d ->"},{"Add":" HH.button"},{"Add":" [ HE.onClick $ const $ Just (SetSeekLen d)"},{"Add":" , classes [\"btn\", if seekLen == d then \"btn-primary\" else \"btn-primary-outline\"]"},{"Add":" ] [HH.text $ show (round $ unwrap d) <> \" h\"]"},{"Add":" , HH.div [ classes [\"my-2\"] ]"},{"Add":" [ HH.button"},{"Add":" [ HE.onClick $ const $ Just FetchData"},{"Add":" , classes [\"btn\", \"btn-primary\", \"btn-outline\"]"},{"Add":" ] [HH.text \"Fetch Data\"]"},{"Add":" , HH.i [classes $ [\"m-2\"] <> if fetching then [\"fas\", \"fa-fw\", \"fa-hourglass\"] else []] []"},{"Add":" ]"},{"Add":" , HH.slot _plot unit Plot.component seekPlotOpts (const Nothing)"},{"Add":" ]"},{"Add":""},{"Add":"seekPlotOpts :: Opts"},{"Add":"seekPlotOpts = defaultOpts"},{"Add":" { series = [defaultSeries, {stroke: \"white\", fill: \"rgba(0, 0, 0, 0.1)\"}, defaultSeries ]"},{"Add":" }"},{"Add":""},{"Add":"render :: forall m. MonadAff m => State -> H.ComponentHTML Action Slots m"},{"Add":"render state = let"},{"Add":" {width, height} = imageShape state.mapImage"},{"Add":" in"},{"Add":" HH.div [ classes [\"row\"] ]"},{"Add":" [ HH.div [ classes [\"col-lg-7\"] ]"},{"Add":" [ card []"},{"Add":" [ HH.text \"Filtering\" ]"},{"Add":" [ filteringOptions state"},{"Add":" ]"},{"Add":" , card []"},{"Add":" [ HH.text \"Seeking\" ]"},{"Add":" [ seekingOptions state"},{"Add":" ]"},{"Add":" ]"},{"Add":" , card [\"col-lg-5\"]"},{"Add":" [ HH.text \"Tracklets\" ]"},{"Add":" [ HH.canvas [ HP.id_ \"heatmap-canvas\", HP.width width, HP.height height ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":"drawTracklets :: CanvasImageSource -> Box -> Array Tracklet -> Number -> Effect Unit"},{"Add":"drawTracklets mapImage box tracklets alpha = do"},{"Add":" mCanvas <- liftEffect $ getCanvasElementById \"heatmap-canvas\""},{"Add":" liftEffect case mCanvas of"},{"Add":" Nothing -> log \"Can't locate canvas.\""},{"Add":" Just canvas -> do"},{"Add":" ctx <- getContext2D canvas"},{"Add":" setGlobalAlpha ctx 1.0"},{"Add":" drawImage ctx mapImage 0.0 0.0"},{"Add":" log $ \"Drawing \" <> show (length tracklets) <> \" tracklets...\""},{"Add":" for_ tracklets (drawTracklet canvas box alpha)"},{"Add":""},{"Add":""},{"Add":"drawInstants :: forall s a output m d. Duration d =>"},{"Add":" Array MaybeInstant -> DateTime -> d -> H.HalogenM s a Slots output m Unit"},{"Add":"drawInstants instants seek window = do"},{"Add":" let"},{"Add":" inWindow t = let d = t `diff` seek in"},{"Add":" Hours 0.0 <= d && d < convertDuration window"},{"Add":" x = instants <#> (unwrap >>> _.timestamp >>> datetimeToSeconds >>> Just)"},{"Add":" y = instants <#> (unwrap >>> _.objects >>> map (A.length >>> toNumber))"},{"Add":" w = instants <#> \\i ->"},{"Add":" if inWindow (unwrap i).timestamp then Just 20.0 else Nothing"},{"Add":" void $ H.query _plot unit $ H.tell (\\a -> Plot.SetData [x, w, y] a)"},{"Add":""},{"Add":"handleAction :: forall output m. MonadAff m => Action -> H.HalogenM State Action Slots output m Unit"},{"Add":"handleAction = case _ of"},{"Add":" Initialize -> do"},{"Add":" {info: Info info, config: Config config, seekPos, seekLen} <- H.get"},{"Add":""},{"Add":" -- Number of tracklets over time"},{"Add":" instantRange <- liftAff $ fetchInstantInterval info.first_dt info.last_dt (Hours 0.2)"},{"Add":" for_ instantRange \\instants -> do -- Either"},{"Add":" H.modify_ $ _ { instants = Just instants }"},{"Add":" drawInstants instants seekPos seekLen"},{"Add":""},{"Add":" -- Tracklet heatmap"},{"Add":" handleAction FetchData"},{"Add":""},{"Add":" pure unit"},{"Add":""},{"Add":" SetInput { info, config } -> H.modify_ _ { info = info, config = config }"},{"Add":""},{"Add":" Seek time -> do"},{"Add":" {instants, seekPos, seekLen} <- H.get"},{"Add":" H.modify_ _ { seekPos = time }"},{"Add":" for_ instants \\i -> do"},{"Add":" drawInstants i time seekLen"},{"Add":" pure unit"},{"Add":""},{"Add":" SetSeekLen hours -> do"},{"Add":" {info: Info info, instants, seekPos} <- H.get"},{"Add":" let maxPos = fromMaybe info.last_dt $ adjust (negateDuration hours) info.last_dt"},{"Add":" newPos = seekPos `min` maxPos"},{"Add":" H.modify_ _ { seekLen = hours, seekPos = newPos }"},{"Add":" for_ instants \\i -> do"},{"Add":" drawInstants i newPos hours"},{"Add":""},{"Add":" FetchData -> do"},{"Add":" {info: Info info, config: Config config, mapImage, seekPos, seekLen, trackletAlpha, filter} <- H.get"},{"Add":" H.modify_ _ { fetching = true }"},{"Add":" let"},{"Add":" t1 = seekPos"},{"Add":" t2 = fromMaybe seekPos $ adjust seekLen seekPos"},{"Add":""},{"Add":" tracklets' <- liftAff $ fetchTracklets t1 t2 10"},{"Add":" case tracklets' of"},{"Add":" Left err -> log $ \"Tracklets weren't fetched:\" <> show err"},{"Add":" Right (Tracklets tracklets) -> do"},{"Add":" let filtered = A.filter filter.filter tracklets"},{"Add":" liftEffect $ drawTracklets mapImage config.bbox filtered trackletAlpha"},{"Add":" H.modify_ _ { filtered = Just filtered }"},{"Add":""},{"Add":" H.modify_ _ { fetching = false, tracklets = unwrap <$> hush tracklets' }"},{"Add":""},{"Add":" SetTrackletAlpha a -> do"},{"Add":" { config: Config config, mapImage, filtered } <- H.get"},{"Add":" H.modify_ _ { trackletAlpha = a }"},{"Add":" liftEffect $ drawTracklets mapImage config.bbox (fromMaybe [] filtered) a"},{"Add":""},{"Add":" SetFilter f -> do"},{"Add":" { config: Config config, mapImage, tracklets, trackletAlpha } <- H.get"},{"Add":" let filtered = A.filter f.filter $ fromMaybe [] tracklets"},{"Add":" log $ \"Setting filter to \" <> f.name"},{"Add":" H.modify_ _ { filter = f, filtered = Just filtered }"},{"Add":" liftEffect $ drawTracklets mapImage config.bbox filtered trackletAlpha"}]}},{"FileAdd":{"meta":{"basename":"Debounce.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"-- | Take incoming Aff requests, and perform them sequentially."},{"Add":"-- | In case a request is received while another is being performed,"},{"Add":"-- | queue the new request instead. The queued request will be performed once the"},{"Add":"-- | one before finishes. The request queue contains at most a single request;"},{"Add":"-- | in case multiple ones are added, only the newest one stays."},{"Add":"-- |"},{"Add":"-- | This ensures optimal semantics in the following sense: At every point in time,"},{"Add":"-- | the freshest possible result is returned to the caller."},{"Add":""},{"Add":"module Frontend.Component.Debounce where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Data.Newtype (class Newtype)"},{"Add":"import Effect.Aff (Aff)"},{"Add":"import Effect.Aff.Class (class MonadAff, liftAff)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":""},{"Add":""},{"Add":"newtype Output t = Output t"},{"Add":"derive instance newtypeOutput :: Newtype (Output t) _"},{"Add":""},{"Add":"data Query t a = Query (Aff t) a"},{"Add":""},{"Add":"type State t = { seeking :: Boolean, seekQueue :: Maybe (Aff t) }"},{"Add":""},{"Add":"debounce :: forall input t m. MonadAff m => H.Component HH.HTML (Query t) input (Output t) m"},{"Add":"debounce ="},{"Add":" H.mkComponent"},{"Add":" { initialState: \\_ -> { seeking: false, seekQueue: Nothing }"},{"Add":" , render: const $ HH.text \"\""},{"Add":" , eval: H.mkEval $ H.defaultEval { handleQuery = handleQuery }"},{"Add":" }"},{"Add":" where"},{"Add":""},{"Add":" handleQuery :: forall action a. Query t a -> H.HalogenM (State t) action () (Output t) m (Maybe a)"},{"Add":" handleQuery = case _ of"},{"Add":" Query computation a -> do"},{"Add":" H.modify_ _ { seekQueue = Just computation }"},{"Add":" seeking <- H.gets _.seeking"},{"Add":" case seeking of"},{"Add":" true -> pure (Just a)"},{"Add":" false -> do"},{"Add":" H.modify_ _ { seeking = true, seekQueue=Nothing }"},{"Add":" res <- liftAff computation"},{"Add":" H.modify_ _ { seeking = false }"},{"Add":" H.raise $ Output res"},{"Add":" q <- H.gets _.seekQueue"},{"Add":" case q of"},{"Add":" Nothing -> pure (Just a)"},{"Add":" Just v -> handleQuery (Query v a)"}]}},{"FileAdd":{"meta":{"basename":"Dashboard.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"module Frontend.Component.Dashboard where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import CSS (color)"},{"Add":"import Color (toHexString)"},{"Add":"import Data.Array (length)"},{"Add":"import Data.DateTime (diff)"},{"Add":"import Data.Foldable (for_)"},{"Add":"import Data.Formatter.Number (formatOrShowNumber)"},{"Add":"import Data.Int (floor, toNumber)"},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Data.Monoid (guard)"},{"Add":"import Data.Newtype (unwrap)"},{"Add":"import Data.Symbol (SProxy(..))"},{"Add":"import Data.Time.Duration (class Duration, Days(..), Hours(..), Minutes(..), Seconds(..), convertDuration)"},{"Add":"import Data.Tuple (Tuple(..))"},{"Add":"import Effect.Aff.Class (class MonadAff, liftAff)"},{"Add":"import Effect.Class.Console (log)"},{"Add":"import Frontend.Api (fetchInstantInterval)"},{"Add":"import Frontend.Component.Plot as Plot"},{"Add":"import Frontend.Dom (card)"},{"Add":"import Frontend.Draw (canvasShape, colorToCss, hashedColor, imageShape, metersToPixels)"},{"Add":"import Frontend.Route (Route(..), routeCodec)"},{"Add":"import Frontend.Types (Box(..), Config(..), Info(..), Vec2(..))"},{"Add":"import Frontend.UPlot (defaultOpts, defaultSeries, defaultXAxis, noAxis)"},{"Add":"import Frontend.Util (classes, datetimeToSeconds, enumerate, formatDateTime')"},{"Add":"import Graphics.Canvas (CanvasImageSource)"},{"Add":"import Graphics.Canvas as Canvas"},{"Add":"import Halogen (liftEffect)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":"import Halogen.HTML.CSS as CSS"},{"Add":"import Halogen.HTML.Properties as HP"},{"Add":"import Routing.Duplex (print)"},{"Add":""},{"Add":""},{"Add":"type State ="},{"Add":" { info :: Info"},{"Add":" , config :: Config"},{"Add":" , mapImage :: CanvasImageSource"},{"Add":" }"},{"Add":""},{"Add":"type Slots ="},{"Add":" ( plot :: H.Slot Plot.Query Void Unit"},{"Add":" )"},{"Add":""},{"Add":"data Action"},{"Add":" = Initialize"},{"Add":" | SetInput Input"},{"Add":""},{"Add":"type Input = { info :: Info, config :: Config, mapImage :: CanvasImageSource }"},{"Add":""},{"Add":"_plot = (SProxy :: SProxy \"plot\")"},{"Add":""},{"Add":"component :: forall query output m. MonadAff m => H.Component HH.HTML query Input output m"},{"Add":"component = H.mkComponent"},{"Add":" { initialState: \\{info, config, mapImage} ->"},{"Add":" { info"},{"Add":" , config"},{"Add":" , mapImage"},{"Add":" }"},{"Add":" , render"},{"Add":" , eval: H.mkEval H.defaultEval"},{"Add":" { handleAction = handleAction"},{"Add":" , initialize = Just Initialize"},{"Add":" , receive = Just <<< SetInput"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":"tableRow :: forall a s m. String -> String -> H.ComponentHTML a s m"},{"Add":"tableRow label value = HH.tr_"},{"Add":" [ HH.td_ [ HH.text label ]"},{"Add":" , HH.td_ [ HH.text value ]"},{"Add":" ]"},{"Add":""},{"Add":"formatDuration :: forall d. Duration d => d -> String"},{"Add":"formatDuration duration = let"},{"Add":" Days d = convertDuration duration"},{"Add":" Hours h = convertDuration duration"},{"Add":" ds = show $ floor d"},{"Add":" hs = show $ floor h - (floor d * 24)"},{"Add":" in guard (floor d > 0) (ds <> \" days \") <> hs <> \" hours\""},{"Add":""},{"Add":"basicInformation :: forall a s m. MonadAff m => String -> Info -> Config -> H.ComponentHTML a s m"},{"Add":"basicInformation cls (Info info) (Config config) ="},{"Add":" card [cls]"},{"Add":" [ HH.text \"Basic Information\" ]"},{"Add":" [ HH.table [ classes [\"info-table\"] ]"},{"Add":" [ tableRow \"Recording Start\" $"},{"Add":" formatDateTime' info.first_dt"},{"Add":" , tableRow \"Recording End\" $"},{"Add":" formatDateTime' info.last_dt"},{"Add":" , tableRow \"Time Span\" $"},{"Add":" formatDuration (info.last_dt `diff` info.first_dt :: Days)"},{"Add":" , tableRow \"Number of Data Points\" $"},{"Add":" formatOrShowNumber \"0,0\" (toNumber info.n_entries)"},{"Add":" , tableRow \"Recording Length\" $"},{"Add":" formatDuration (Seconds $ toNumber info.n_entries * config.predict_stride)"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":"sceneConfiguration :: forall a s m. MonadAff m => String -> Config -> H.ComponentHTML a s m"},{"Add":"sceneConfiguration cls (Config config) ="},{"Add":" card [cls]"},{"Add":" [ HH.text \"Scene Configuration\" ]"},{"Add":" [ HH.table [ classes [\"info-table\"] ]"},{"Add":" [ tableRow \"Number of Cameras\" $"},{"Add":" show (length config.cameras)"},{"Add":" , tableRow \"Frames per Second\" $"},{"Add":" formatOrShowNumber \"0.0\" (1.0 / config.predict_stride)"},{"Add":" , tableRow \"Maximum Number of Objects\" $"},{"Add":" show config.n_objects"},{"Add":" , tableRow \"Minimum Tracklet Length\" $"},{"Add":" show config.min_tracklet_len <> \" frames\""},{"Add":" , tableRow \"Warmup Period\" $"},{"Add":" show config.toss_first <> \" frames\""},{"Add":" , tableRow \"Quantization\" $"},{"Add":" show config.grid_px_size <> \" m\""},{"Add":" , tableRow \"Bounding Box\" $"},{"Add":" show config.bbox"},{"Add":" , tableRow \"GPU ID\" $"},{"Add":" show config.gpu"},{"Add":" ]"},{"Add":" , HH.div [ classes [] ]"},{"Add":" [ HH.text \"Zones:\""},{"Add":" , HH.br_"},{"Add":" , HH.ul [] $ enumerate config.zones <#> \\(Tuple i zone) ->"},{"Add":" HH.li [CSS.style (color $ colorToCss (hashedColor i))] [HH.text zone.name]"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"mt-4\"] ]"},{"Add":" [ HH.i_ [ HH.a [ HP.href (\"/web/#\" <> print routeCodec Cameras) ] [ HH.text \"show cameras\" ] ]"},{"Add":" , HH.br_"},{"Add":" , HH.i_"},{"Add":" [ HH.text \"show raw config:\""},{"Add":" , HH.a [ classes [\"mx-1\"], HP.href \"/info/tracker.yaml\" ] [ HH.text \"yaml\" ]"},{"Add":" , HH.text \"|\""},{"Add":" , HH.a [ classes [\"mx-1\"], HP.href \"/config\" ] [ HH.text \"json\" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":"sceneMap :: forall a s m. MonadAff m => CanvasImageSource -> H.ComponentHTML a s m"},{"Add":"sceneMap mapImage = let"},{"Add":" {width, height} = imageShape mapImage"},{"Add":" in card []"},{"Add":" [ HH.text \"Scene Map\" ]"},{"Add":" [ HH.canvas [ HP.id_ \"map-canvas\", HP.width width, HP.height height ]"},{"Add":" ]"},{"Add":""},{"Add":"render :: forall a m. MonadAff m => State -> H.ComponentHTML a Slots m"},{"Add":"render state = let"},{"Add":" plotOpts = defaultOpts"},{"Add":" { height = 100.0"},{"Add":" , axes = [defaultXAxis, noAxis]"},{"Add":" , series = [defaultSeries, defaultSeries { fill=\"#4e73df\" }]"},{"Add":" }"},{"Add":" in"},{"Add":" HH.div [ classes [\"row\"] ]"},{"Add":" [ HH.div [ classes [\"col-lg-8\"]]"},{"Add":" [ card []"},{"Add":" [ HH.text \"Recording History\" ]"},{"Add":" [ HH.slot _plot unit Plot.component plotOpts (const Nothing)"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"row\"] ]"},{"Add":" [ basicInformation \"col-xl-6\" state.info state.config"},{"Add":" , sceneConfiguration \"col-xl-6\" state.config"},{"Add":" ]"},{"Add":" ]"},{"Add":" , HH.div [ classes [\"col-lg-4\"] ]"},{"Add":" [ sceneMap state.mapImage"},{"Add":" ]"},{"Add":" ]"},{"Add":""},{"Add":"handleAction :: forall output m. MonadAff m => Action -> H.HalogenM State Action Slots output m Unit"},{"Add":"handleAction = case _ of"},{"Add":" Initialize -> do"},{"Add":" {info: Info info, config: Config config, mapImage} <- H.get"},{"Add":""},{"Add":" -- Draw recording timeline"},{"Add":" instantRange <- liftAff $ fetchInstantInterval info.first_dt info.last_dt (Minutes 10.0)"},{"Add":" for_ instantRange \\instants -> do"},{"Add":" let x = instants <#> (unwrap >>> _.timestamp >>> datetimeToSeconds >>> Just)"},{"Add":" y = instants <#> (unwrap >>> _.objects >>> map (const 1.0))"},{"Add":" void $ H.query _plot unit $ H.tell (\\a -> Plot.SetData [x, y] a)"},{"Add":""},{"Add":" -- draw the map"},{"Add":" mCanvas <- liftEffect $ Canvas.getCanvasElementById \"map-canvas\""},{"Add":" liftEffect case mCanvas of"},{"Add":" Nothing -> log \"Can't locate canvas.\""},{"Add":" Just canvas -> do"},{"Add":" ctx <- Canvas.getContext2D canvas"},{"Add":" Canvas.setGlobalAlpha ctx 1.0"},{"Add":" Canvas.drawImage ctx mapImage 0.0 0.0"},{"Add":" Canvas.setGlobalAlpha ctx 0.1"},{"Add":" cshape <- canvasShape canvas"},{"Add":" for_ (enumerate config.zones) \\(Tuple i zone) -> do"},{"Add":" let Box {x0, x1, y0, y1} = zone.box"},{"Add":" V2 x y = metersToPixels cshape config.bbox (V2 x0 y0)"},{"Add":" V2 xx yy = metersToPixels cshape config.bbox (V2 x1 y1)"},{"Add":" Canvas.setFillStyle ctx (toHexString $ hashedColor i)"},{"Add":" Canvas.beginPath ctx"},{"Add":" Canvas.rect ctx {x, y, width: xx - x, height: yy - y}"},{"Add":" Canvas.fill ctx"},{"Add":""},{"Add":" SetInput { info, config } -> do"},{"Add":" H.modify_ _ { info = info, config = config }"},{"Add":" handleAction Initialize"}]}},{"FileAdd":{"meta":{"basename":"Cameras.hs","metadata":420},"context":[{"change":0,"pos":22809}],"contents":[{"Add":"module Frontend.Component.Cameras where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Maybe (Maybe(..))"},{"Add":"import Effect.Aff.Class (class MonadAff)"},{"Add":"import Frontend.Dom (card)"},{"Add":"import Frontend.Types (Config(..))"},{"Add":"import Frontend.Util (classes)"},{"Add":"import Halogen as H"},{"Add":"import Halogen.HTML as HH"},{"Add":"import Halogen.HTML.Properties as HP"},{"Add":""},{"Add":""},{"Add":"type State ="},{"Add":" { config :: Config"},{"Add":" }"},{"Add":""},{"Add":"data Action"},{"Add":" = Initialize"},{"Add":""},{"Add":"type Input = { config :: Config }"},{"Add":""},{"Add":""},{"Add":"component :: forall query output m. MonadAff m => H.Component HH.HTML query Input output m"},{"Add":"component = H.mkComponent"},{"Add":" { initialState: identity"},{"Add":" , render"},{"Add":" , eval: H.mkEval H.defaultEval"},{"Add":" { initialize = Just Initialize"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":""},{"Add":"render :: forall s m. MonadAff m => State -> H.ComponentHTML Action s m"},{"Add":"render { config: Config config } ="},{"Add":" HH.div [ classes [\"row\"] ] $"},{"Add":" config.cameras <#> \\info ->"},{"Add":" card [\"col-lg-6\"]"},{"Add":" [ HH.text \"Camera View\" ]"},{"Add":" [ HH.b_ [ HH.text $ \"Name: \" <> info.name ]"},{"Add":" , HH.br_"},{"Add":" , HH.text $ \"Resolution: \" <> show info.width <> \"×\" <> show info.height"},{"Add":" , HH.br_"},{"Add":" , HH.a [ HP.href $ \"/info/\" <> info.image ]"},{"Add":" [ HH.img [ classes [\"camera-preview\"], HP.src $ \"/info/\" <> info.image ]"},{"Add":" ]"},{"Add":" ]"},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"Cache.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Cache where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Data.Foldable (class Foldable)"},{"Add":"import Data.Map as M"},{"Add":"import Data.Maybe (Maybe)"},{"Add":"import Data.Tuple (Tuple(..), snd)"},{"Add":""},{"Add":"-- TODO: limit capacity"},{"Add":""},{"Add":"data Cache a = Cache"},{"Add":" { cache :: M.Map Int (Tuple Int a)"},{"Add":" , i :: Int"},{"Add":" }"},{"Add":""},{"Add":"empty :: forall a. Cache a"},{"Add":"empty = Cache { cache: M.empty, i: 0 }"},{"Add":""},{"Add":"insert :: forall a. Int -> a -> Cache a -> Cache a"},{"Add":"insert k v (Cache c) = Cache"},{"Add":" { cache: M.insert k (Tuple c.i v) c.cache"},{"Add":" , i: c.i + 1"},{"Add":" }"},{"Add":""},{"Add":"insertFoldable :: forall a f. Foldable f => Functor f => f (Tuple Int a) -> Cache a -> Cache a"},{"Add":"insertFoldable f (Cache c) = Cache"},{"Add":" { cache: M.fromFoldable (map (\\(Tuple k v) -> Tuple k (Tuple c.i v)) f) `M.union` c.cache"},{"Add":" , i: c.i + 1"},{"Add":" }"},{"Add":""},{"Add":"size :: forall a. Cache a -> Int"},{"Add":"size (Cache c) = M.size c.cache"},{"Add":""},{"Add":"lookup :: forall v. Int -> Cache v -> Maybe v"},{"Add":"lookup v (Cache c) = snd <$> M.lookup v c.cache"}]}},{"FileAdd":{"meta":{"basename":"Assets.js","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"\"use strict\";"},{"Add":""},{"Add":"exports.logoWhite = require(\"../../static/logo-white.svg\");"},{"Add":"exports.certiconLogo = require(\"../../static/certicon-logo.svg\");"}]}},{"FileAdd":{"meta":{"basename":"Assets.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Assets where"},{"Add":""},{"Add":"foreign import logoWhite :: String"},{"Add":"foreign import certiconLogo :: String"}]}},{"FileAdd":{"meta":{"basename":"Api.hs","metadata":420},"context":[{"change":0,"pos":6}],"contents":[{"Add":"module Frontend.Api where"},{"Add":""},{"Add":"import Prelude"},{"Add":""},{"Add":"import Affjax as AX"},{"Add":"import Affjax.ResponseFormat as ResponseFormat"},{"Add":"import Data.Argonaut.Decode (class DecodeJson, decodeJson, (.:))"},{"Add":"import Data.Bifunctor (lmap)"},{"Add":"import Data.DateTime (DateTime)"},{"Add":"import Data.Either (Either(..))"},{"Add":"import Data.Newtype (unwrap)"},{"Add":"import Data.Time.Duration (class Duration, Seconds, convertDuration)"},{"Add":"import Effect.Aff (Aff)"},{"Add":"import Effect.Class (liftEffect)"},{"Add":"import Frontend.Tracklets (TrackletSOA)"},{"Add":"import Frontend.Types (Config, Info, Instant, MaybeInstant, Tracklets)"},{"Add":"import Frontend.Util (datetimeToSeconds, loadImage)"},{"Add":"import Graphics.Canvas (CanvasImageSource)"},{"Add":"import Web.File.Url (createObjectURL)"},{"Add":""},{"Add":"fetchInfo :: Aff (Either String Info)"},{"Add":"fetchInfo = getJson \"/info\""},{"Add":""},{"Add":"fetchConfig :: Aff (Either String Config)"},{"Add":"fetchConfig = getJson \"/config\""},{"Add":""},{"Add":"fetchInfoImage :: String -> Aff (Either String CanvasImageSource)"},{"Add":"fetchInfoImage url = do"},{"Add":" result <- lmap AX.printError <$> AX.get ResponseFormat.blob (\"/info/\" <> url)"},{"Add":" case result of"},{"Add":" Left err -> pure $ Left err"},{"Add":" Right response -> do"},{"Add":" blobUrl <- liftEffect $ createObjectURL response.body"},{"Add":" image <- loadImage blobUrl"},{"Add":" pure (Right image)"},{"Add":""},{"Add":""},{"Add":"fetchTracklets :: DateTime -> DateTime -> Int -> Aff (Either String Tracklets)"},{"Add":"fetchTracklets from to stride = let"},{"Add":" from' = show $ datetimeToSeconds from"},{"Add":" to' = show $ datetimeToSeconds to"},{"Add":" stride' = show stride"},{"Add":" in getJson $ \"/tracklet_pos?from=\" <> from' <> \"&to=\" <> to' <> \"&stride=\" <> stride'"},{"Add":""},{"Add":""},{"Add":"fetchTrackletsSOA :: DateTime -> DateTime -> Int -> Aff (Either String (Array TrackletSOA))"},{"Add":"fetchTrackletsSOA from to stride = let"},{"Add":" from' = show $ datetimeToSeconds from"},{"Add":" to' = show $ datetimeToSeconds to"},{"Add":" stride' = show stride"},{"Add":" in getJson $ \"/tracklet_pos?from=\" <> from' <> \"&to=\" <> to' <> \"&stride=\" <> stride'"},{"Add":""},{"Add":"fetchInstantInterval :: forall d. Duration d => DateTime -> DateTime -> d -> Aff (Either String (Array MaybeInstant))"},{"Add":"fetchInstantInterval from to stride = let"},{"Add":" from' = show $ datetimeToSeconds from"},{"Add":" to' = show $ datetimeToSeconds to"},{"Add":" stride' = show $ unwrap (convertDuration stride :: Seconds)"},{"Add":" in getJson $ \"/time_range_t?from=\" <> from' <> \"&to=\" <> to' <> \"&stride=\" <> stride'"},{"Add":""},{"Add":"fetchInstantRange :: DateTime -> DateTime -> Number -> Aff (Either String (Array Instant))"},{"Add":"fetchInstantRange from to stride = let"},{"Add":" from' = show $ datetimeToSeconds from"},{"Add":" to' = show $ datetimeToSeconds to"},{"Add":" stride' = show stride"},{"Add":" in getJson $ \"/time_range_n?from=\" <> from' <> \"&to=\" <> to' <> \"&stride=\" <> stride'"},{"Add":""},{"Add":"getJson :: forall a. DecodeJson a => String -> Aff (Either String a)"},{"Add":"getJson url = do"},{"Add":" result <- lmap AX.printError <$> AX.get ResponseFormat.json url"},{"Add":" pure $ do"},{"Add":" response <- result"},{"Add":" o <- lmap show $ decodeJson response.body"},{"Add":" ok <- lmap show $ o .: \"Ok\""},{"Add":" lmap show $ decodeJson ok"}]}}],"owner":"potocpav","repo":"frontend","token":"JnlG6aZYGA7jmYV6DtGMl20zRRPbWavDxmHWRhWoiaM=","login":null}

…

Dependencies

Change contents