Router<'ep, 'model, 'msg> Type

A simple router where the endpoint corresponds to a value easily gettable from the model.

Record fields

Record Field Description

getEndPoint

Full Usage: getEndPoint

Field type: 'model -> 'ep

Extract the current endpoint from the model.

Field type: 'model -> 'ep

getRoute

Full Usage: getRoute

Field type: 'ep -> string

Get the uri corresponding to an endpoint.

Field type: 'ep -> string

setRoute

Full Usage: setRoute

Field type: string -> 'msg option

Get the message to send when the page navigates to an uri.

Field type: string -> 'msg option

Instance members

Instance member Description

this.Link

Full Usage: this.Link

Parameters:
    endpoint : 'ep

Returns: string

Get the uri for the given endpoint.

endpoint : 'ep
Returns: string