Kimserey Lam Kimserey
Kimserey
/ Counter.fs
Created
March 21, 2016 09:53
— forked from Tarmil/Counter.fs
Port of the first example from https://github.com/evancz/elm-architecture-tutorial to WebSharper; lens-based version
This file contains hidden or 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 = |
This file contains hidden or 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
| /* events per day */ | |
| SELECT | |
| DATE(timestamp / 10000000 - 62135596800, 'unixepoch') AS date, | |
| (CASE | |
| WHEN strftime('%w', DATE(timestamp / 10000000 - 62135596800, 'unixepoch')) == '0' THEN 'Sunday' | |
| WHEN strftime('%w', DATE(timestamp / 10000000 - 62135596800, 'unixepoch')) == '1' THEN 'Monday' | |
| WHEN strftime('%w', DATE(timestamp / 10000000 - 62135596800, 'unixepoch')) == '2' THEN 'Tuesday' | |
| WHEN strftime('%w', DATE(timestamp / 10000000 - 62135596800, 'unixepoch')) == '3' THEN 'Wednesday' | |
| WHEN strftime('%w', DATE(timestamp / 10000000 - 62135596800, 'unixepoch')) == '4' THEN 'Thursday' | |
| WHEN strftime('%w', DATE(timestamp / 10000000 - 62135596800, 'unixepoch')) == '5' THEN 'Friday' |
This file contains hidden or 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
| #I __SOURCE_DIRECTORY__ | |
| #r @"..\packages\SQLite.Net-PCL\lib\portable-win8+net45+wp8+wpa81+MonoAndroid1+MonoTouch1\SQLite.Net.dll" | |
| #r @"..\packages\SQLite.Net-PCL\lib\net40\SQLite.Net.Platform.Generic.dll" | |
| #r @"..\packages\System.Data.SQLite.Core\lib\net46\System.Data.SQLite.dll" | |
| open System | |
| open System.IO | |
| open System.Data.SQLite | |
| open SQLite.Net |
This file contains hidden or 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 | |
| /// Wraps cropbox.js functionalities to be able to be used with WebSharper. | |
| /// cropbox is a plugin to crop avatar. | |
| /// https://github.com/hongkhanh/cropbox/tree/master/javascript | |
| [<JavaScript>] | |
| module Cropbox = | |
| type Identifiers = { |
Kimserey
/ TagInput.fs
Last active
January 30, 2016 01:27
Tag input and type ahead with Bootstrap-taginput and typeahead.js in WebSharper. http://bootstrap-tagsinput.github.io/bootstrap-tagsinput/examples/ https://twitter.github.io/typeahead.js/
This file contains hidden or 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.JQuery | |
| open WebSharper.UI.Next | |
| open WebSharper.UI.Next.Html | |
| open WebSharper.UI.Next.Client | |
| [<JavaScript; AutoOpen>] | |
| module JQuery = |
This file contains hidden or 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 OperationTest = | |
| | Increment | |
| | Decrement | |
| let agent = MailboxProcessor.Start(fun inbox -> | |
| let rec loop state: Async<unit> = async { | |
| let! msg = inbox.Receive() | |
| match msg with | |
| | Increment -> return! loop (state + 1) |
This file contains hidden or 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 private CountdownExpiryAgent = | |
| open Modal | |
| type Operation = | |
| | Reset of remainingSecs: int | |
| | Tick | |
| | RegisterHandler of logout: (unit -> unit) | |
| let agent (rv: Var<int>) courtesy = | |
| MailboxProcessor.Start(fun inbox -> |
This file contains hidden or 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.JQuery | |
| open WebSharper.UI.Next | |
| open WebSharper.UI.Next.Html | |
| open WebSharper.UI.Next.Client | |
| [<JavaScript>] | |
| module Bootstrap = |
This file contains hidden or 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 App2 | |
| open System | |
| open Android.App | |
| open Android.Content | |
| open Android.OS | |
| open Android.Runtime | |
| open Android.Views | |
| open Android.Widget |
This file contains hidden or 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
| @echo off | |
| cls | |
| ..\packages\FAKE\tools\FAKE.exe BuildJS.fsx %* |