Skip to content

Instantly share code, notes, and snippets.

{
"filterLayers": [
{
"url": "https://geodata.antwerpen.be/arcgissql/rest/services/P_ATODO/ATODO/MapServer",
"layerId": 154
},
{
"url": "https://geodata.antwerpen.be/arcgissql/rest/services/P_ATODO/ATODO/MapServer",
"layerId": 78
}
type State = {
Domains: Domain list
Counter: int
}
// Imagine having a function somewhere dat increments our counter automatically (or manual whatever floats your boat)
let view .... =
div [] [
counter state.Counter
let writeResult =
Sql.connectFromConfig conn
|> Sql.executeTransaction [
"INSERT INTO test VALUES (@crsnummers)", [
[
"@crsnummers " , Sql.intArray [| 1; 3; 7; |]
]
]
]
module Page
type Person = {
Name : string
Age: int
}
let printPerson =
FunctionComponent.Of (
(fun (props: {| Person: Person; Dispatch: Msg -> unit |}) ->
let foo = async {
return 1;
}
let bar = async {
return ();
}
let (foo, bar) = [ foo; bar; ] |> Async.Parallel
@jonasdw
jonasdw / aesctr.cs
Last active November 21, 2019 08:00
public static byte[] Encrypt([ReadOnlyArray]byte[] psk, [ReadOnlyArray]byte[] iv, [ReadOnlyArray]byte[] inData) {
var aesObj = Aes.Create();
aesObj.Mode = CipherMode.ECB;
aesObj.Padding = PaddingMode.None;
var zeroIv = new byte[16];
var Encryptor = aesObj.CreateEncryptor(psk, zeroIv);
var counter = new byte[16]; // copy input iv (do not modify it)
for (var i = 0; i < 16; i++) {
counter[i] = iv[i];
}
person | version | date | created_at | data
1 | 1 | 01/01/2019 | 05/08/2019 | null
2 | 1 | 01/01/2019 | 05/08/2019 | null
1 | 1 | 02/01/2019 | 05/08/2019 | null
2 | 1 | 02/01/2019 | 05/08/2019 | null
1 | 2 | 01/01/2019 | 06/08/2019 | "some data"
1 | 3 | 01/01/2019 | 06/08/2019 | "some altered data"
1 | 3 | 01/01/2019 | 05/08/2019 | "also altered data"
@jonasdw
jonasdw / broken.fs
Last active December 19, 2018 16:43
module Server
let historiek =
dagHistoriek
|> List.append werknemerHistoriek
|> List.sortBy (fun h -> h.At)
|> List.map (fun h -> { Naam = h.Naam })
return { Historiek = historiek}
.AddCookie(options =>
{
options.AccessDeniedPath = new PathString(System.Net.WebUtility.HtmlEncode("/Error/Error"));
options.ReturnUrlParameter = System.Net.WebUtility.HtmlEncode("statuscode=403");
})
// https://626ae64b.ngrok.io/Error/Error?statuscode%3D403=%2F