The Message.Navigation module defines and handles messages for navigation requests from the client app to the host app.
Url
Navigation requests are represented with an alias to the Url type.
encode : Navigation -> Json.Encode.Value
Encodes a Navigation request to JSON and tags it with label
.
decoder : Json.Decode.Decoder Navigation
Decodes a Navigation request from JSON, if it is tagged with label
.
urlDecoder : Json.Decode.Decoder Navigation
Decodes a Navigation request from a URL string, if it is tagged with label
.
label : String
This is the label that navigation events are tagged with when serialized to JSON. Other modules should not need to reference it, but it is exposed to force a package version bump if it changes.