blob: 76237794f3fde09ac500484dcc12d3e7cffb0220 (
plain)
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
30
31
|
module TJLaskuri.Web.Modules.Index
open System
open Falco
open TJLaskuri.Core
[<AutoOpen>]
module Views =
open TJLaskuri.Core.Views
type Model = {
Counter : Main.Model
}
let view model =
Main.view model.Counter
|> Document.view
let get : HttpHandler =
fun ctx ->
let time = DateTime.Now
let kontingent = kontingent 2 2025
let timeLeft = Domain.getTimeLeft kontingent ThreeFourSeven time |> Option.get
let completed = Domain.getTimeCompleted kontingent time |> Option.get
view {
Counter = {
TimeLeft = timeLeft
TimeCompleted = completed
}
} |> Response.ofHtml <| ctx
|
