Loïc Denuzière Tarmil
Tarmil
/ Endpoint_Gadt.fsx
Last active
May 25, 2018 08:06
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type User = { name: string; (* ... *) } | |
| type UserId = int | |
| type EndPoint<_> = | |
| | [<EndPoint "GET /user/{id}">] | |
| GetUser : id: UserId -> EndPoint<Json<User>> | |
| | [<EndPoint "POST /user"; Json "userData">] | |
| CreateUser : userData: User -> EndPoint<Json<UserId>> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| namespace Sample | |
| open WebSharper | |
| open WebSharper.JavaScript | |
| open WebSharper.UI | |
| open WebSharper.UI.Client | |
| open WebSharper.UI.Html | |
| open WebSharper.Highcharts | |
| open WebSharper.JQuery |
Tarmil
/ ClientSide.fs
Last active
November 22, 2017 11:23
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open WebSharper | |
| open WebSharper.JavaScript | |
| open WebSharper.UI.Next | |
| open WebSharper.UI.Next.Client | |
| open WebSharper.UI.Next.Html | |
| open WebSharper.UI.Next.Notation | |
| [<JavaScript>] | |
| module Client = |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* | |
| # Setup.fsx | |
| Adds registry keys for proper F# Web project support. | |
| **Problem**: pure-F# Web projects do not work well in Visual Studio by default, | |
| in particular adding a new item to the project is not possible. | |
| **Solution**: This will hopefully be addressed in future VS versions. |
Tarmil
/ Main.fs
Last active
May 1, 2017 12:20
— forked from Youenn-Bouglouan/Main.fs
Websharper - issue with POST expecting a JSON body
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Issue decribed here: http://websharper.com/question/82758/post-endpoint-with-a-json-body-cannot-be-reached | |
| namespace HelloWebSharper | |
| open WebSharper.Html.Server | |
| open WebSharper | |
| open WebSharper.Sitelets | |
| module Site = |
Tarmil
/ gist:98cb7a0fb78e22aa4fde
Last active
November 28, 2016 14:02
Compile a quotation with WebSharper.Compiler
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // NuGet reference: WebSharper.Compiler | |
| open WebSharper | |
| type AR = IntelliFactory.Core.AssemblyResolution.AssemblyResolver | |
| module FE = WebSharper.Compiler.FrontEnd | |
| let compile (expr: Microsoft.FSharp.Quotations.Expr) : string option = | |
| let loader = FE.Loader.Create (AR.Create()) (eprintfn "%O") | |
| let options = | |
| { FE.Options.Default with |
Tarmil
/ Counter.fs
Last active
October 6, 2016 22:16
Port of the first example from https://github.com/evancz/elm-architecture-tutorial to WebSharper
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| namespace Example1 | |
| open WebSharper | |
| open WebSharper.UI.Next | |
| open WebSharper.UI.Next.Html | |
| open WebSharper.UI.Next.Client | |
| [<JavaScript>] | |
| module Counter = |
Tarmil
/ MergeSort.fs
Last active
August 25, 2016 08:16
Translated from https://github.com/ghc/ghc/blob/5d98b8bf249fab9bb0be6c5d4e8ddd4578994abb/libraries/base/Data/OldList.hs#L840
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module MergeSort | |
| let sortBy cmp xs = | |
| let rec sequences xs = | |
| match xs with | |
| | a :: b :: xs -> | |
| if cmp a b > 0 | |
| then descending b [a] xs | |
| else ascending b (fun ys -> a :: ys) xs | |
| | xs -> [xs] |
Tarmil
/ TestLensMacro.fs
Created
May 1, 2016 07:12
A WebSharper macro to reduce boilerplate for lenses on records
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| namespace TestLensMacro | |
| open WebSharper | |
| open WebSharper.JavaScript | |
| open WebSharper.JQuery | |
| open WebSharper.UI.Next | |
| open WebSharper.UI.Next.Client | |
| module Extensions = | |
| module M = WebSharper.Core.Macros |
Tarmil
/ gist:8005892
Created
December 17, 2013 14:40
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open IntelliFactory.WebSharper | |
| open Microsoft.FSharp | |
| let hasRefDef (t: System.Type) = | |
| match t.GetMethods() |> Seq.find (fun m -> m.Name = "get_Body") with | |
| | Quotations.DerivedPatterns.MethodWithReflectedDefinition d -> true | |
| | _ -> false | |
| type Foo() = | |
| inherit Web.Control() |