rustd-resolved 0.2.1

A compatibility-oriented reimplementation of systemd-resolved
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

-- SPDX-License-Identifier: LGPL-2.1-or-later
module Resolved.Transaction

%default total

public export
record AttemptBudget where
  constructor MkAttemptBudget
  maximum : Nat
  used : Nat

public export
defaultAttempts : Nat
defaultAttempts = 24

public export
queryDeadlineSeconds : Nat
queryDeadlineSeconds = 120

public export
data Transport = Datagram | Stream

public export
transportTimeoutSeconds : Transport -> Nat
transportTimeoutSeconds Datagram = 5
transportTimeoutSeconds Stream = 10

public export
freshBudget : AttemptBudget
freshBudget = MkAttemptBudget defaultAttempts 0

public export
remaining : AttemptBudget -> Nat
remaining budget = minus (maximum budget) (used budget)

public export
canEmit : AttemptBudget -> Bool
canEmit budget = used budget < maximum budget

public export
consume : AttemptBudget -> Maybe AttemptBudget
consume budget =
  if canEmit budget
     then Just (MkAttemptBudget (maximum budget) (S (used budget)))
     else Nothing

public export
data AddressWork = IPv4Only | IPv6Only | BothFamilies

public export
parallelWidth : AddressWork -> Nat
parallelWidth IPv4Only = 1
parallelWidth IPv6Only = 1
parallelWidth BothFamilies = 2