MattCheely / tryframe-coordinator / Message.Navigation

The Message.Navigation module defines and handles messages for navigation requests from the client app to the host app.


type alias Navigation =
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.