2017-07-17 09:25:57 +00:00
|
|
|
module Messages exposing (Msg(..))
|
|
|
|
|
|
|
|
-- Local modules
|
|
|
|
|
2017-08-02 20:20:38 +00:00
|
|
|
import Models exposing (Day, EventType, EventLocation, EventInstance, VideoRecordingFilter)
|
2017-07-17 09:25:57 +00:00
|
|
|
|
|
|
|
|
|
|
|
-- External modules
|
|
|
|
|
|
|
|
import Navigation exposing (Location)
|
|
|
|
|
|
|
|
|
|
|
|
type Msg
|
|
|
|
= NoOp
|
|
|
|
| WebSocketPayload String
|
|
|
|
| ToggleEventTypeFilter EventType
|
|
|
|
| ToggleEventLocationFilter EventLocation
|
2017-08-02 20:20:38 +00:00
|
|
|
| ToggleVideoRecordingFilter VideoRecordingFilter
|
2017-07-17 09:25:57 +00:00
|
|
|
| OnLocationChange Location
|
2017-07-19 16:30:50 +00:00
|
|
|
| BackInHistory
|