2017-07-17 09:25:57 +00:00
|
|
|
module Messages exposing (Msg(..))
|
|
|
|
|
|
|
|
-- Local modules
|
|
|
|
|
2017-07-18 11:35:17 +00:00
|
|
|
import Models exposing (Day, EventType, EventLocation, EventInstance)
|
2017-07-17 09:25:57 +00:00
|
|
|
|
|
|
|
|
|
|
|
-- External modules
|
|
|
|
|
|
|
|
import Navigation exposing (Location)
|
|
|
|
|
|
|
|
|
|
|
|
type Msg
|
|
|
|
= NoOp
|
|
|
|
| WebSocketPayload String
|
|
|
|
| ToggleEventTypeFilter EventType
|
|
|
|
| ToggleEventLocationFilter EventLocation
|
2017-07-18 11:35:17 +00:00
|
|
|
| ToggleVideoRecordingFilter { name : String, filter : EventInstance -> Bool }
|
2017-07-17 09:25:57 +00:00
|
|
|
| OnLocationChange Location
|
2017-07-19 16:30:50 +00:00
|
|
|
| BackInHistory
|