1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

    let RedirectToHttps (f: Context<'T> -> 'T -> Async<Content<'T>>) =
        fun (ctx: Context<'T>) (ep: 'T) ->
            match ctx.RequestUri.Scheme with
            | "https" -> f ctx ep
            | _ ->
                System.UriBuilder(ctx.RequestUri, 
                    Scheme = "https",
                    Port = (if ctx.RequestUri.IsDefaultPort then -1 else ctx.RequestUri.Port)
                ).ToString()
                |> Content.RedirectPermanentToUrl

// Example use:
    let MySite =
        Application.MultiPage (RedirectToHttps <| fun ctx endpoint ->
            // ...
        )

1
2
3
4
5
6
7
8
9
10
11
12
13
14

    let Authorize (f: Context<EndPoint> -> Database.UserData -> Async<Content<EndPoint>>) (ctx: Context<EndPoint>) = async {
        let! loggedIn = ctx.UserSession.GetLoggedInUser()
        match loggedIn |> Option.bind Database.TryGetUser with
        | Some user -> return! f ctx user
        | None -> return! Templating.Main ctx EndPoint.Private "Log in" [NotLoggedInErrorMessage ctx]
    }

    let PrivatePage = Authorize <| fun ctx user -> async {
        let body =
            Templating.MainTemplate.PrivateNotLoggedInContent()
                .Username(user.DisplayName)
                .Doc()
        return! Templating.Main ctx EndPoint.Private "Private section" [body]
    }