package sihl

  1. Overview
  2. Docs
The modular functional web framework

Install

Dune Dependency

Authors

Maintainers

Sources

sihl-0.1.2.tbz
sha256=69705a3a35f204acfdda62f61056e3f0ec3ef5bcd1df1508be65b066a0b1df9c
sha512=1987d211f56d0261eefbae978065a4e6781d60ad94b08597875307e5cf6e5a1b79787d9c79f784f5a9f77c35203cfd0b488841a07adfd87b0710d6fd65422b94

doc/src/sihl.middleware/middleware_authn.ml.html

Source file middleware_authn.ml

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
32
33
34
35
36
37
38
39
40
41
42
43
open Lwt.Syntax

module Make
    (AuthnService : Authn.Service.Sig.SERVICE)
    (UserService : User.Service.Sig.SERVICE) =
struct
  let session () =
    let filter handler ctx =
      let* user = AuthnService.find_user_in_session_opt ctx in
      match user with
      | Some user ->
          let ctx = UserService.add_user user ctx in
          handler ctx
      | None -> handler ctx
    in
    Middleware_core.create ~name:"authn_session" filter

  let require_user ~login_path_f =
    let filter handler ctx =
      let user = UserService.require_user_opt ctx in
      match user with
      | Some _ -> handler ctx
      | None ->
          let login_path = login_path_f () in
          Http.Res.redirect login_path |> Lwt.return
    in
    Middleware_core.create ~name:"user_require_user" filter

  let require_admin ~login_path_f =
    let filter handler ctx =
      let user = UserService.require_user_opt ctx in
      match user with
      | Some user ->
          if User.is_admin user then handler ctx
          else
            let login_path = login_path_f () in
            Http.Res.redirect login_path |> Lwt.return
      | None ->
          let login_path = login_path_f () in
          Http.Res.redirect login_path |> Lwt.return
    in
    Middleware_core.create ~name:"user_require_admin" filter
end
OCaml

Innovation. Community. Security.