Skip to the content.

RemoteDev integration

WebSharper.Mvu integrates seamlessly with RemoteDev. This tool allows you to inspect the successive messages and states of your model, and even to replay old states and see the effect on your view.

RemoteDev screenshot

Installing and starting the tool

RemoteDev can be used in multiple ways, documented on its website. We recommend the following setup:

Note that at the time of writing, remotedev-server is compatible with nodejs 6.x, but not 8.x.

Code integration

RemoteDev integration is applied using a single call to App.WithRemoteDev, which takes RemoteDev options as argument. Here is an example with options appropriate for use with remotedev-server:

let Main() =
    App.Create initialModel update render
    |> App.WithRemoteDev (RemoteDev.Options(hostname = "localhost", port = 8000))
    |> App.Run

This integration uses WebSharper.Json serialization to communicate with RemoteDev. The tool expects message values to be objects with a "type" field; therefore, you should use as Message type a discriminated union annotated like follows:

[<NamedUnionCases "type">]
type Message =
    | Message1 of id: int * value: string
    | // other message types...

Given the above, the value:

Message1 (42, "Hello world!")

will be sent to RemoteDev as:

{ "type": "Message1", "id": 42, "value": "Hello world!" }