Compose Websharper Sitelets With Fsx Files FSharp

Mar 23rd, 2016 - written by Kimserey with .

Lately I’ve been very happy about how WebSharper.Warp allows me to iterate quickly and without pain. Last week, I covered how we could use WebSharper.Warp to build prototypes quickly. Check it out if you haven’t read it yet. Today, I decided to explore how WebSharper.Warp actually works behind the scene.

By looking at how WebSharper.Warp works, we will learn two things:

  1. The process of compiling F# to WebSharper using WebSharper.Compiler
  2. When does the JS files get created

Exploring WebSharper.Warp

WebSharper.Warp is a library which allows us to boot a sitelet from a .fsx file and run the sitelet from the FSI.

Here’s a short example - if you want better explanation, I covered it in last week post.

The following script can be run in a .fsx. It boots up a SPA served on localhost:9000, with JS code and makes one call to a backend endpoint to get a Hello!. We basically get all the power of WebSharper to be run from FSI. It makes it easy to rapidly scribble some prototype and run a complete WebSharper webapp.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#I "../packages/"
#load "WebSharper.Warp/tools/reference-nover.fsx"
open WebSharper
open WebSharper.JavaScript
open WebSharper.Sitelets
open WebSharper.UI.Next
open WebSharper.UI.Next.Html
open WebSharper.UI.Next.Client

module Remoting =
    [<Rpc>]
    let sayHello() = 
        async.Return "Hello!"

[<JavaScript>]
module Client =
    let main() =
        View.Const ()
        |> View.MapAsync Remoting.sayHello
        |> View.Map text
        |> Doc.EmbedView

module Server =
    let site =
        Application.SinglePage (fun _-> 
            Content.Page [ client <@ Client.main() @> ])


do Warp.RunAndWaitForInput Server.site |> ignore

How does it work?

WebSharper.Warp is quite fascinating. All the code is contained in a single file Warp.fs. It combines three steps:

  1. Compiles the files to JS,
  2. Boots up a server
  3. Serves a single endpoint.

It also provides some helper functions to rapidly create sitelets. It is interesting to look at how WebSharper.Warp works as it is almost the same code that runs during MSbuild when unpacking scripts and content files.

Using WebSharper.Compiler

The main function in WebSharper.Warp is the compile function. It is located in the Compilation module and uses WebSharper.Compiler.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
let compile (asm: System.Reflection.Assembly) =
    let loader = getLoader()
    let refs = getRefs loader
    let opts = { FE.Options.Default with References = refs }
    let compiler = FE.Prepare opts (eprintfn "%O")
    compiler.Compile(asm)
    |> Option.map (fun asm ->
        {
            ReadableJavaScript = asm.ReadableJavaScript
            CompressedJavaScript = asm.CompressedJavaScript
            Info = asm.Info
            References = refs
        }
    )

This function is used to compile a dynamic assembly which is exactly our case since we are handling a running in FSI. The output of compile is a CompiledAssembly which exposes intesting members like ReadableJavaScript, CompressedJavaScript and Info.

1
2
3
4
5
6
7
type CompiledAssembly =
{
    ReadableJavaScript : string
    CompressedJavaScript : string
    Info : WebSharper.Core.Metadata.Info
    References : list<WebSharper.Compiler.Assembly>
}

The first part of the code in the compile function is to get the references from the current assembly with getRefs.

1
2
let loader = getLoader()
let refs = getRefs loader

It does a bunch of recursive calls to get the full tree of references (references of references etc) by doing some clever filtering to avoid duplicated references. The full code of getRefs can be found here. Then it passes those references to a loader which will transform it to a WebSharper.Compiler.Assembly (to not be confused by the CompiledAssembly). These references are then used to build the options needed to instantiate the WebSharper.Compiler.

1
2
3
let opts = { FE.Options.Default with References = refs }
let compiler = FE.Prepare opts (eprintfn "%O")
compiler.Compile(asm)

The compiler is then used to compile and map the result to a CompiledAssembly.

1
2
3
4
5
6
7
8
9
compiler.Compile(asm)
|> Option.map (fun asm ->
    {
        ReadableJavaScript = asm.ReadableJavaScript
        CompressedJavaScript = asm.CompressedJavaScript
        Info = asm.Info
        References = refs
    }
)

Compile is a function from WebSharper.Compiler which can be used to compile quotation code or assemblies https://github.com/intellifactory/websharper/blob/master/src/compiler/WebSharper.Compiler/FrontEnd.fs#L57.

1
2
/// Attempts to compile an expression potentially coming from a dynamic assembly.
member Compile : quotation: Quotations.Expr * context: System.Reflection.Assembly * ?name: string -> option<CompiledAssembly>

Here’s a reminder of the full function:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
let compile (asm: System.Reflection.Assembly) =
    let loader = getLoader()
    let refs = getRefs loader
    let opts = { FE.Options.Default with References = refs }
    let compiler = FE.Prepare opts (eprintfn "%O")
    compiler.Compile(asm)
    |> Option.map (fun asm ->
        {
            ReadableJavaScript = asm.ReadableJavaScript
            CompressedJavaScript = asm.CompressedJavaScript
            Info = asm.Info
            References = refs
        }
    )

The next step is to write out the ReadableJavaScript and the CompressedJavaScript from the CompiledAssembly. The code which is in charge of that is located under the two functions outputFiles and outputFile.

Output the files

In the previous code, we loaded the references using the Loader. This “loaded assembly” are of type WebSharper.Core.Assembly. They are special in the sense that they carry embedded resources (more on embedded resources can be found in the doc) and also the same properties as the CompiledAssembly, ReadableJavaScript and CompressedJavaScript. The following function extracts all the data contained within a WebSharper assembly:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
let outputFiles root (refs: Compiler.Assembly list) =
    let pc = PC.PathUtility.FileSystem(root)
    let writeTextFile path contents =
        Directory.CreateDirectory (Path.GetDirectoryName path) |> ignore
        File.WriteAllText(path, contents)
    let writeBinaryFile path contents =
        Directory.CreateDirectory (Path.GetDirectoryName path) |> ignore
        File.WriteAllBytes(path, contents)
    let emit text path =
        match text with
        | Some text -> writeTextFile path text
        | None -> ()
    let script = PC.ResourceKind.Script
    let content = PC.ResourceKind.Content
    for a in refs do
        let aid = PC.AssemblyId.Create(a.FullName)
        emit a.ReadableJavaScript (pc.JavaScriptPath aid)
        emit a.CompressedJavaScript (pc.MinifiedJavaScriptPath aid)
        let writeText k fn c =
            let p = pc.EmbeddedPath(PC.EmbeddedResource.Create(k, aid, fn))
            writeTextFile p c
        let writeBinary k fn c =
            let p = pc.EmbeddedPath(PC.EmbeddedResource.Create(k, aid, fn))
            writeBinaryFile p c
        for r in a.GetScripts() do
            writeText script r.FileName r.Content
        for r in a.GetContents() do
            writeBinary content r.FileName (r.GetContentData())

For each references, it writes the readable JS and compressed JS into its own file. Then move on to get all the scripts linked from resources, writes those in files. And finally gets all the contents like Css files or images, and writes those in files as well.

For the CompiledAssembly, it is straightforward as the only step needed is to write the readable JS and compressed JS into files.

1
2
3
4
5
let outputFile root (asm: CompiledAssembly) =
    let dir = root +/ "Scripts" +/ "WebSharper"
    Directory.CreateDirectory(dir) |> ignore
    File.WriteAllText(dir +/ "WebSharper.EntryPoint.js", asm.ReadableJavaScript)
    File.WriteAllText(dir +/ "WebSharper.EntryPoint.min.js", asm.CompressedJavaScript)

This is why, at the moment, compiling with WebSharper is a two step process:

  1. Compile with msbuild which makes a .dll
  2. Compile that .dll with WebSharper.Compiler which makes a CompiledAssembly

Conclusion

By understanding WebSharper.Warp, we got a better insight on the steps required by WebSharper to compile an assembly. It also showed us how .fsx files could be compiled and translated to JS and at which moment were the JS files actually created. Hope this helped you understand better the mystery behind WebSharper.Warp. Again if you are interested in WebSharper.Warp, check out my last week post on how to quickly prototype with WebSharper.Warp. If you have any comments, leave a message here or hit me on Twitter @Kimserey_Lam. Thanks for reading!

Designed, built and maintained by Kimserey Lam.