package krb

You can search for identifiers within the package.

in-package search v0.2.0

A library for using Kerberos for both Rpc and Tcp communication

Install

Dune Dependency

github.com MIT License Edit opam file Versions (2)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

krb-v0.16.0.tar.gz

sha256=353675621e4c5a888f2483dc1bb7281bd17ce4ed7dfd2f40142257f98db7c77d

doc/src/krb.public/mode.ml.html

Source file `mode.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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
module Stable = struct
  open! Core.Core_stable
  module Conn_type_preference = Conn_type_preference.Stable
  module Server_key_source = Server_key_source.Stable
  module Principal = Principal.Stable

  module V4 = struct
    type 'a mode =
      | Kerberized of 'a
      | Test_with_principal of Principal.Name.V1.t
    [@@deriving bin_io, compare, sexp]

    module Client = struct
      type t = Conn_type_preference.V1.t mode [@@deriving bin_io, compare, sexp]
    end

    module Server = struct
      type t = (Server_key_source.V2.t * Conn_type_preference.V1.t) mode
      [@@deriving bin_io, compare, sexp]
    end

    module Client_with_auth_conn_type = struct
      type t = unit mode [@@deriving bin_io, compare, sexp]
    end

    module Server_with_auth_conn_type = struct
      type t = Server_key_source.V2.t mode [@@deriving bin_io, compare, sexp]
    end
  end
end

open! Core

type 'a mode = 'a Stable.V4.mode =
  | Kerberized of 'a
  | Test_with_principal of Principal.Name.t
[@@deriving compare, hash, sexp_of]

let default_test_principal = lazy (Principal.Name.User (Core_unix.getlogin ()))

let test_with_principal ?(test_principal = force default_test_principal) () =
  Test_with_principal test_principal
;;

module Client = struct
  type t = Conn_type_preference.t mode [@@deriving compare, hash, sexp_of]

  let kerberized ?(conn_type_preference = Conn_type_preference.accept_all) () =
    Kerberized conn_type_preference
  ;;

  let test_with_principal = test_with_principal
end

module Server = struct
  type t = (Server_key_source.t * Conn_type_preference.t) mode
  [@@deriving compare, hash, sexp_of]

  let[@warning "-16"] kerberized
                        ?(conn_type_preference = Conn_type_preference.accept_all)
                        ~key_source
    =
    Kerberized (key_source, conn_type_preference)
  ;;

  let test_with_principal = test_with_principal
end

module Client_with_auth_conn_type = struct
  type t = unit mode [@@deriving compare, hash, sexp_of]

  let kerberized () = Kerberized ()
  let test_with_principal = test_with_principal

  let full_mode t =
    match (t : t) with
    | Test_with_principal _ as t -> t
    | Kerberized () -> Kerberized (Conn_type_preference.accept_only Conn_type.Auth)
  ;;
end

module Server_with_auth_conn_type = struct
  type t = Server_key_source.t mode [@@deriving compare, hash, sexp_of]

  let kerberized ~key_source = Kerberized key_source
  let test_with_principal = test_with_principal

  let full_mode t =
    match (t : t) with
    | Test_with_principal _ as t -> t
    | Kerberized s -> Kerberized (s, Conn_type_preference.accept_only Conn_type.Auth)
  ;;
end