-
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
-
94
-
95
-
96
-
97
-
98
-
99
-
100
-
101
-
102
-
103
-
104
-
105
-
106
-
107
-
108
-
109
-
110
-
111
-
112
-
113
-
114
-
115
-
116
-
117
-
118
-
119
-
120
-
121
-
122
-
123
-
124
-
125
-
126
-
127
-
128
-
129
-
130
-
131
-
132
-
133
-
134
-
135
-
136
-
137
-
138
-
139
-
140
-
141
-
142
-
143
-
144
-
145
-
146
-
147
-
148
-
149
-
150
-
151
-
152
-
153
-
154
-
155
-
156
-
157
-
158
-
159
-
160
-
161
-
162
-
163
-
164
-
165
-
166
-
167
-
168
-
169
-
170
-
171
-
172
-
173
-- Copyright 2026 Shota FUJI
--
-- This Source Code Form is subject to the terms of the Mozilla Public
-- License, v. 2.0. If a copy of the MPL was not distributed with this
-- file, You can obtain one at https://mozilla.org/MPL/2.0/.
--
-- SPDX-License-Identifier: MPL-2.0
module Preferences exposing
( DictKeyMode(..)
, FieldHighlight(..)
, Preferences
, PreviewTheme(..)
, decoder
, defaultPreferences
, encode
)
import Json.Decode as Decode
import Json.Encode as Encode
type PreviewTheme
= SystemTheme
| PrintTheme
previewThemeDecoder : Decode.Decoder PreviewTheme
previewThemeDecoder =
Decode.string
|> Decode.andThen
(\str ->
case str of
"system" ->
Decode.succeed SystemTheme
"print" ->
Decode.succeed PrintTheme
_ ->
Decode.fail ("\"" ++ str ++ "\" is not a valid PreviewTheme")
)
encodePreviewTheme : PreviewTheme -> Encode.Value
encodePreviewTheme theme =
Encode.string
(case theme of
SystemTheme ->
"system"
PrintTheme ->
"print"
)
type FieldHighlight
= HighlightOnPreview
| DoNotHighlight
fieldHighlightDecoder : Decode.Decoder FieldHighlight
fieldHighlightDecoder =
Decode.string
|> Decode.andThen
(\str ->
case str of
"highlight_on_preview" ->
Decode.succeed HighlightOnPreview
"do_not_highlight" ->
Decode.succeed DoNotHighlight
_ ->
Decode.fail ("\"" ++ str ++ "\" is not a valid FieldHighlight value")
)
encodeFieldHighlight : FieldHighlight -> Decode.Value
encodeFieldHighlight status =
Encode.string
(case status of
HighlightOnPreview ->
"highlight_on_preview"
DoNotHighlight ->
"do_not_highlight"
)
type DictKeyMode
= Regular
| Compact
dictKeyModeDecoder : Decode.Decoder DictKeyMode
dictKeyModeDecoder =
Decode.string
|> Decode.andThen
(\str ->
case str of
"regular" ->
Decode.succeed Regular
"compact" ->
Decode.succeed Compact
_ ->
Decode.fail ("\"" ++ str ++ "\" is not a valid DictKeyMode value")
)
encodeDictKeyMode : DictKeyMode -> Encode.Value
encodeDictKeyMode mode =
Encode.string
(case mode of
Regular ->
"regular"
Compact ->
"compact"
)
{-| User preferences. This is not supposed to be shared.
-}
type alias Preferences =
{ previewTheme : PreviewTheme
, fieldHighlight : FieldHighlight
, urlKeyMode : DictKeyMode
}
defaultPreferences : Preferences
defaultPreferences =
{ previewTheme = SystemTheme
, fieldHighlight = DoNotHighlight
, urlKeyMode = Compact
}
{-| This decoder should not fail for backwards/forwards compatibility.
Always fallback to safe defaults.
-}
decoder : Decode.Decoder Preferences
decoder =
Decode.map3
Preferences
(Decode.oneOf
[ Decode.field "preview_theme" previewThemeDecoder
, Decode.succeed defaultPreferences.previewTheme
]
)
(Decode.oneOf
[ Decode.field "field_highlight" fieldHighlightDecoder
, Decode.succeed defaultPreferences.fieldHighlight
]
)
(Decode.oneOf
[ Decode.field "url_key_mode" dictKeyModeDecoder
, Decode.succeed defaultPreferences.urlKeyMode
]
)
encode : Preferences -> Encode.Value
encode p =
Encode.object
[ ( "preview_theme", encodePreviewTheme p.previewTheme )
, ( "field_highlight", encodeFieldHighlight p.fieldHighlight )
, ( "url_key_mode", encodeDictKeyMode p.urlKeyMode )
]