@@ -8,565 +8,17 @@ import Dict exposing (Dict)
88import Set exposing (Set)
99
1010
11−type alias Cipher_CardCipher_brand_Maybe = (Maybe String)
12−
13−jsonDecCipher_CardCipher_brand_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_brand_Maybe )
14−jsonDecCipher_CardCipher_brand_Maybe =
15− Json.Decode.maybe (Json.Decode.string)
16−
17−jsonEncCipher_CardCipher_brand_Maybe : Cipher_CardCipher_brand_Maybe -> Value
18−jsonEncCipher_CardCipher_brand_Maybe val = (maybeEncode (Json.Encode.string)) val
19−
20−
21−
22−type alias Cipher_CardCipher_cardholderName_Maybe = (Maybe String)
23−
24−jsonDecCipher_CardCipher_cardholderName_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_cardholderName_Maybe )
25−jsonDecCipher_CardCipher_cardholderName_Maybe =
26− Json.Decode.maybe (Json.Decode.string)
27−
28−jsonEncCipher_CardCipher_cardholderName_Maybe : Cipher_CardCipher_cardholderName_Maybe -> Value
29−jsonEncCipher_CardCipher_cardholderName_Maybe val = (maybeEncode (Json.Encode.string)) val
30−
31−
32−
33−type alias Cipher_CardCipher_code_Maybe = (Maybe String)
34−
35−jsonDecCipher_CardCipher_code_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_code_Maybe )
36−jsonDecCipher_CardCipher_code_Maybe =
37− Json.Decode.maybe (Json.Decode.string)
38−
39−jsonEncCipher_CardCipher_code_Maybe : Cipher_CardCipher_code_Maybe -> Value
40−jsonEncCipher_CardCipher_code_Maybe val = (maybeEncode (Json.Encode.string)) val
41−
42−
43−
44−type alias Cipher_CardCipher_expMonth_Maybe = (Maybe String)
45−
46−jsonDecCipher_CardCipher_expMonth_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_expMonth_Maybe )
47−jsonDecCipher_CardCipher_expMonth_Maybe =
48− Json.Decode.maybe (Json.Decode.string)
49−
50−jsonEncCipher_CardCipher_expMonth_Maybe : Cipher_CardCipher_expMonth_Maybe -> Value
51−jsonEncCipher_CardCipher_expMonth_Maybe val = (maybeEncode (Json.Encode.string)) val
52−
53−
54−
55−type alias Cipher_CardCipher_expYear_Maybe = (Maybe String)
56−
57−jsonDecCipher_CardCipher_expYear_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_expYear_Maybe )
58−jsonDecCipher_CardCipher_expYear_Maybe =
59− Json.Decode.maybe (Json.Decode.string)
60−
61−jsonEncCipher_CardCipher_expYear_Maybe : Cipher_CardCipher_expYear_Maybe -> Value
62−jsonEncCipher_CardCipher_expYear_Maybe val = (maybeEncode (Json.Encode.string)) val
63−
64−
65−
66−type alias Cipher_CardCipher_number_Maybe = (Maybe String)
67−
68−jsonDecCipher_CardCipher_number_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_number_Maybe )
69−jsonDecCipher_CardCipher_number_Maybe =
70− Json.Decode.maybe (Json.Decode.string)
71−
72−jsonEncCipher_CardCipher_number_Maybe : Cipher_CardCipher_number_Maybe -> Value
73−jsonEncCipher_CardCipher_number_Maybe val = (maybeEncode (Json.Encode.string)) val
74−
75−
76−
77−type alias Cipher_CardCipher =
78− { brand: Cipher_CardCipher_brand_Maybe
79− , cardholderName: Cipher_CardCipher_cardholderName_Maybe
80− , code: Cipher_CardCipher_code_Maybe
81− , expMonth: Cipher_CardCipher_expMonth_Maybe
82− , expYear: Cipher_CardCipher_expYear_Maybe
83− , number: Cipher_CardCipher_number_Maybe
84− }
85−
86−jsonDecCipher_CardCipher : Json.Decode.Decoder ( Cipher_CardCipher )
87−jsonDecCipher_CardCipher =
88− Json.Decode.succeed (\pbrand pcardholderName pcode pexpMonth pexpYear pnumber -> {brand = pbrand, cardholderName = pcardholderName, code = pcode, expMonth = pexpMonth, expYear = pexpYear, number = pnumber})
89− |> required "brand" (jsonDecCipher_CardCipher_brand_Maybe)
90− |> required "cardholderName" (jsonDecCipher_CardCipher_cardholderName_Maybe)
91− |> required "code" (jsonDecCipher_CardCipher_code_Maybe)
92− |> required "expMonth" (jsonDecCipher_CardCipher_expMonth_Maybe)
93− |> required "expYear" (jsonDecCipher_CardCipher_expYear_Maybe)
94− |> required "number" (jsonDecCipher_CardCipher_number_Maybe)
95−
96−jsonEncCipher_CardCipher : Cipher_CardCipher -> Value
97−jsonEncCipher_CardCipher val =
98− Json.Encode.object
99− [ ("brand", jsonEncCipher_CardCipher_brand_Maybe val.brand)
100− , ("cardholderName", jsonEncCipher_CardCipher_cardholderName_Maybe val.cardholderName)
101− , ("code", jsonEncCipher_CardCipher_code_Maybe val.code)
102− , ("expMonth", jsonEncCipher_CardCipher_expMonth_Maybe val.expMonth)
103− , ("expYear", jsonEncCipher_CardCipher_expYear_Maybe val.expYear)
104− , ("number", jsonEncCipher_CardCipher_number_Maybe val.number)
105− ]
106−
107−
108−
109−type alias Cipher_IdentityCipher_address1_Maybe = (Maybe String)
110−
111−jsonDecCipher_IdentityCipher_address1_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_address1_Maybe )
112−jsonDecCipher_IdentityCipher_address1_Maybe =
113− Json.Decode.maybe (Json.Decode.string)
114−
115−jsonEncCipher_IdentityCipher_address1_Maybe : Cipher_IdentityCipher_address1_Maybe -> Value
116−jsonEncCipher_IdentityCipher_address1_Maybe val = (maybeEncode (Json.Encode.string)) val
117−
118−
119−
120−type alias Cipher_IdentityCipher_address2_Maybe = (Maybe String)
121−
122−jsonDecCipher_IdentityCipher_address2_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_address2_Maybe )
123−jsonDecCipher_IdentityCipher_address2_Maybe =
124− Json.Decode.maybe (Json.Decode.string)
125−
126−jsonEncCipher_IdentityCipher_address2_Maybe : Cipher_IdentityCipher_address2_Maybe -> Value
127−jsonEncCipher_IdentityCipher_address2_Maybe val = (maybeEncode (Json.Encode.string)) val
128−
129−
130−
131−type alias Cipher_IdentityCipher_address3_Maybe = (Maybe String)
132−
133−jsonDecCipher_IdentityCipher_address3_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_address3_Maybe )
134−jsonDecCipher_IdentityCipher_address3_Maybe =
135− Json.Decode.maybe (Json.Decode.string)
136−
137−jsonEncCipher_IdentityCipher_address3_Maybe : Cipher_IdentityCipher_address3_Maybe -> Value
138−jsonEncCipher_IdentityCipher_address3_Maybe val = (maybeEncode (Json.Encode.string)) val
139−
140−
141−
142−type alias Cipher_IdentityCipher_city_Maybe = (Maybe String)
143−
144−jsonDecCipher_IdentityCipher_city_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_city_Maybe )
145−jsonDecCipher_IdentityCipher_city_Maybe =
146− Json.Decode.maybe (Json.Decode.string)
147−
148−jsonEncCipher_IdentityCipher_city_Maybe : Cipher_IdentityCipher_city_Maybe -> Value
149−jsonEncCipher_IdentityCipher_city_Maybe val = (maybeEncode (Json.Encode.string)) val
150−
151−
152−
153−type alias Cipher_IdentityCipher_company_Maybe = (Maybe String)
154−
155−jsonDecCipher_IdentityCipher_company_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_company_Maybe )
156−jsonDecCipher_IdentityCipher_company_Maybe =
157− Json.Decode.maybe (Json.Decode.string)
158−
159−jsonEncCipher_IdentityCipher_company_Maybe : Cipher_IdentityCipher_company_Maybe -> Value
160−jsonEncCipher_IdentityCipher_company_Maybe val = (maybeEncode (Json.Encode.string)) val
161−
162−
163−
164−type alias Cipher_IdentityCipher_country_Maybe = (Maybe String)
165−
166−jsonDecCipher_IdentityCipher_country_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_country_Maybe )
167−jsonDecCipher_IdentityCipher_country_Maybe =
168− Json.Decode.maybe (Json.Decode.string)
169−
170−jsonEncCipher_IdentityCipher_country_Maybe : Cipher_IdentityCipher_country_Maybe -> Value
171−jsonEncCipher_IdentityCipher_country_Maybe val = (maybeEncode (Json.Encode.string)) val
172−
173−
174−
175−type alias Cipher_IdentityCipher_email_Maybe = (Maybe String)
176−
177−jsonDecCipher_IdentityCipher_email_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_email_Maybe )
178−jsonDecCipher_IdentityCipher_email_Maybe =
179− Json.Decode.maybe (Json.Decode.string)
180−
181−jsonEncCipher_IdentityCipher_email_Maybe : Cipher_IdentityCipher_email_Maybe -> Value
182−jsonEncCipher_IdentityCipher_email_Maybe val = (maybeEncode (Json.Encode.string)) val
183−
184−
185−
186−type alias Cipher_IdentityCipher_firstName_Maybe = (Maybe String)
187−
188−jsonDecCipher_IdentityCipher_firstName_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_firstName_Maybe )
189−jsonDecCipher_IdentityCipher_firstName_Maybe =
190− Json.Decode.maybe (Json.Decode.string)
191−
192−jsonEncCipher_IdentityCipher_firstName_Maybe : Cipher_IdentityCipher_firstName_Maybe -> Value
193−jsonEncCipher_IdentityCipher_firstName_Maybe val = (maybeEncode (Json.Encode.string)) val
194−
195−
196−
197−type alias Cipher_IdentityCipher_lastName_Maybe = (Maybe String)
198−
199−jsonDecCipher_IdentityCipher_lastName_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_lastName_Maybe )
200−jsonDecCipher_IdentityCipher_lastName_Maybe =
201− Json.Decode.maybe (Json.Decode.string)
202−
203−jsonEncCipher_IdentityCipher_lastName_Maybe : Cipher_IdentityCipher_lastName_Maybe -> Value
204−jsonEncCipher_IdentityCipher_lastName_Maybe val = (maybeEncode (Json.Encode.string)) val
205−
206−
207−
208−type alias Cipher_IdentityCipher_licenseNumber_Maybe = (Maybe String)
209−
210−jsonDecCipher_IdentityCipher_licenseNumber_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_licenseNumber_Maybe )
211−jsonDecCipher_IdentityCipher_licenseNumber_Maybe =
212− Json.Decode.maybe (Json.Decode.string)
213−
214−jsonEncCipher_IdentityCipher_licenseNumber_Maybe : Cipher_IdentityCipher_licenseNumber_Maybe -> Value
215−jsonEncCipher_IdentityCipher_licenseNumber_Maybe val = (maybeEncode (Json.Encode.string)) val
216−
217−
218−
219−type alias Cipher_IdentityCipher_middleName_Maybe = (Maybe String)
220−
221−jsonDecCipher_IdentityCipher_middleName_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_middleName_Maybe )
222−jsonDecCipher_IdentityCipher_middleName_Maybe =
223− Json.Decode.maybe (Json.Decode.string)
224−
225−jsonEncCipher_IdentityCipher_middleName_Maybe : Cipher_IdentityCipher_middleName_Maybe -> Value
226−jsonEncCipher_IdentityCipher_middleName_Maybe val = (maybeEncode (Json.Encode.string)) val
227−
228−
229−
230−type alias Cipher_IdentityCipher_passportNumber_Maybe = (Maybe String)
231−
232−jsonDecCipher_IdentityCipher_passportNumber_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_passportNumber_Maybe )
233−jsonDecCipher_IdentityCipher_passportNumber_Maybe =
234− Json.Decode.maybe (Json.Decode.string)
235−
236−jsonEncCipher_IdentityCipher_passportNumber_Maybe : Cipher_IdentityCipher_passportNumber_Maybe -> Value
237−jsonEncCipher_IdentityCipher_passportNumber_Maybe val = (maybeEncode (Json.Encode.string)) val
238−
239−
240−
241−type alias Cipher_IdentityCipher_phone_Maybe = (Maybe String)
242−
243−jsonDecCipher_IdentityCipher_phone_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_phone_Maybe )
244−jsonDecCipher_IdentityCipher_phone_Maybe =
245− Json.Decode.maybe (Json.Decode.string)
246−
247−jsonEncCipher_IdentityCipher_phone_Maybe : Cipher_IdentityCipher_phone_Maybe -> Value
248−jsonEncCipher_IdentityCipher_phone_Maybe val = (maybeEncode (Json.Encode.string)) val
249−
250−
251−
252−type alias Cipher_IdentityCipher_postalCode_Maybe = (Maybe String)
253−
254−jsonDecCipher_IdentityCipher_postalCode_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_postalCode_Maybe )
255−jsonDecCipher_IdentityCipher_postalCode_Maybe =
256− Json.Decode.maybe (Json.Decode.string)
257−
258−jsonEncCipher_IdentityCipher_postalCode_Maybe : Cipher_IdentityCipher_postalCode_Maybe -> Value
259−jsonEncCipher_IdentityCipher_postalCode_Maybe val = (maybeEncode (Json.Encode.string)) val
260−
261−
262−
263−type alias Cipher_IdentityCipher_ssn_Maybe = (Maybe String)
264−
265−jsonDecCipher_IdentityCipher_ssn_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_ssn_Maybe )
266−jsonDecCipher_IdentityCipher_ssn_Maybe =
267− Json.Decode.maybe (Json.Decode.string)
268−
269−jsonEncCipher_IdentityCipher_ssn_Maybe : Cipher_IdentityCipher_ssn_Maybe -> Value
270−jsonEncCipher_IdentityCipher_ssn_Maybe val = (maybeEncode (Json.Encode.string)) val
271−
272−
273−
274−type alias Cipher_IdentityCipher_state_Maybe = (Maybe String)
275−
276−jsonDecCipher_IdentityCipher_state_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_state_Maybe )
277−jsonDecCipher_IdentityCipher_state_Maybe =
278− Json.Decode.maybe (Json.Decode.string)
279−
280−jsonEncCipher_IdentityCipher_state_Maybe : Cipher_IdentityCipher_state_Maybe -> Value
281−jsonEncCipher_IdentityCipher_state_Maybe val = (maybeEncode (Json.Encode.string)) val
282−
283−
284−
285−type alias Cipher_IdentityCipher_title_Maybe = (Maybe String)
286−
287−jsonDecCipher_IdentityCipher_title_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_title_Maybe )
288−jsonDecCipher_IdentityCipher_title_Maybe =
289− Json.Decode.maybe (Json.Decode.string)
290−
291−jsonEncCipher_IdentityCipher_title_Maybe : Cipher_IdentityCipher_title_Maybe -> Value
292−jsonEncCipher_IdentityCipher_title_Maybe val = (maybeEncode (Json.Encode.string)) val
293−
294−
295−
296−type alias Cipher_IdentityCipher_username_Maybe = (Maybe String)
297−
298−jsonDecCipher_IdentityCipher_username_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_username_Maybe )
299−jsonDecCipher_IdentityCipher_username_Maybe =
300− Json.Decode.maybe (Json.Decode.string)
301−
302−jsonEncCipher_IdentityCipher_username_Maybe : Cipher_IdentityCipher_username_Maybe -> Value
303−jsonEncCipher_IdentityCipher_username_Maybe val = (maybeEncode (Json.Encode.string)) val
304−
305−
306−
307−type alias Cipher_IdentityCipher =
308− { address1: Cipher_IdentityCipher_address1_Maybe
309− , address2: Cipher_IdentityCipher_address2_Maybe
310− , address3: Cipher_IdentityCipher_address3_Maybe
311− , city: Cipher_IdentityCipher_city_Maybe
312− , company: Cipher_IdentityCipher_company_Maybe
313− , country: Cipher_IdentityCipher_country_Maybe
314− , email: Cipher_IdentityCipher_email_Maybe
315− , firstName: Cipher_IdentityCipher_firstName_Maybe
316− , lastName: Cipher_IdentityCipher_lastName_Maybe
317− , licenseNumber: Cipher_IdentityCipher_licenseNumber_Maybe
318− , middleName: Cipher_IdentityCipher_middleName_Maybe
319− , passportNumber: Cipher_IdentityCipher_passportNumber_Maybe
320− , phone: Cipher_IdentityCipher_phone_Maybe
321− , postalCode: Cipher_IdentityCipher_postalCode_Maybe
322− , ssn: Cipher_IdentityCipher_ssn_Maybe
323− , state: Cipher_IdentityCipher_state_Maybe
324− , title: Cipher_IdentityCipher_title_Maybe
325− , username: Cipher_IdentityCipher_username_Maybe
326− }
327−
328−jsonDecCipher_IdentityCipher : Json.Decode.Decoder ( Cipher_IdentityCipher )
329−jsonDecCipher_IdentityCipher =
330− Json.Decode.succeed (\paddress1 paddress2 paddress3 pcity pcompany pcountry pemail pfirstName plastName plicenseNumber pmiddleName ppassportNumber pphone ppostalCode pssn pstate ptitle pusername -> {address1 = paddress1, address2 = paddress2, address3 = paddress3, city = pcity, company = pcompany, country = pcountry, email = pemail, firstName = pfirstName, lastName = plastName, licenseNumber = plicenseNumber, middleName = pmiddleName, passportNumber = ppassportNumber, phone = pphone, postalCode = ppostalCode, ssn = pssn, state = pstate, title = ptitle, username = pusername})
331− |> required "address1" (jsonDecCipher_IdentityCipher_address1_Maybe)
332− |> required "address2" (jsonDecCipher_IdentityCipher_address2_Maybe)
333− |> required "address3" (jsonDecCipher_IdentityCipher_address3_Maybe)
334− |> required "city" (jsonDecCipher_IdentityCipher_city_Maybe)
335− |> required "company" (jsonDecCipher_IdentityCipher_company_Maybe)
336− |> required "country" (jsonDecCipher_IdentityCipher_country_Maybe)
337− |> required "email" (jsonDecCipher_IdentityCipher_email_Maybe)
338− |> required "firstName" (jsonDecCipher_IdentityCipher_firstName_Maybe)
339− |> required "lastName" (jsonDecCipher_IdentityCipher_lastName_Maybe)
340− |> required "licenseNumber" (jsonDecCipher_IdentityCipher_licenseNumber_Maybe)
341− |> required "middleName" (jsonDecCipher_IdentityCipher_middleName_Maybe)
342− |> required "passportNumber" (jsonDecCipher_IdentityCipher_passportNumber_Maybe)
343− |> required "phone" (jsonDecCipher_IdentityCipher_phone_Maybe)
344− |> required "postalCode" (jsonDecCipher_IdentityCipher_postalCode_Maybe)
345− |> required "ssn" (jsonDecCipher_IdentityCipher_ssn_Maybe)
346− |> required "state" (jsonDecCipher_IdentityCipher_state_Maybe)
347− |> required "title" (jsonDecCipher_IdentityCipher_title_Maybe)
348− |> required "username" (jsonDecCipher_IdentityCipher_username_Maybe)
349−
350−jsonEncCipher_IdentityCipher : Cipher_IdentityCipher -> Value
351−jsonEncCipher_IdentityCipher val =
352− Json.Encode.object
353− [ ("address1", jsonEncCipher_IdentityCipher_address1_Maybe val.address1)
354− , ("address2", jsonEncCipher_IdentityCipher_address2_Maybe val.address2)
355− , ("address3", jsonEncCipher_IdentityCipher_address3_Maybe val.address3)
356− , ("city", jsonEncCipher_IdentityCipher_city_Maybe val.city)
357− , ("company", jsonEncCipher_IdentityCipher_company_Maybe val.company)
358− , ("country", jsonEncCipher_IdentityCipher_country_Maybe val.country)
359− , ("email", jsonEncCipher_IdentityCipher_email_Maybe val.email)
360− , ("firstName", jsonEncCipher_IdentityCipher_firstName_Maybe val.firstName)
361− , ("lastName", jsonEncCipher_IdentityCipher_lastName_Maybe val.lastName)
362− , ("licenseNumber", jsonEncCipher_IdentityCipher_licenseNumber_Maybe val.licenseNumber)
363− , ("middleName", jsonEncCipher_IdentityCipher_middleName_Maybe val.middleName)
364− , ("passportNumber", jsonEncCipher_IdentityCipher_passportNumber_Maybe val.passportNumber)
365− , ("phone", jsonEncCipher_IdentityCipher_phone_Maybe val.phone)
366− , ("postalCode", jsonEncCipher_IdentityCipher_postalCode_Maybe val.postalCode)
367− , ("ssn", jsonEncCipher_IdentityCipher_ssn_Maybe val.ssn)
368− , ("state", jsonEncCipher_IdentityCipher_state_Maybe val.state)
369− , ("title", jsonEncCipher_IdentityCipher_title_Maybe val.title)
370− , ("username", jsonEncCipher_IdentityCipher_username_Maybe val.username)
371− ]
372−
373−
374−
375−type alias Cipher_LoginCipher_password_Maybe = (Maybe String)
376−
377−jsonDecCipher_LoginCipher_password_Maybe : Json.Decode.Decoder ( Cipher_LoginCipher_password_Maybe )
378−jsonDecCipher_LoginCipher_password_Maybe =
379− Json.Decode.maybe (Json.Decode.string)
380−
381−jsonEncCipher_LoginCipher_password_Maybe : Cipher_LoginCipher_password_Maybe -> Value
382−jsonEncCipher_LoginCipher_password_Maybe val = (maybeEncode (Json.Encode.string)) val
383−
384−
385−
386−type alias Cipher_LoginCipher_totp_Maybe = (Maybe String)
387−
388−jsonDecCipher_LoginCipher_totp_Maybe : Json.Decode.Decoder ( Cipher_LoginCipher_totp_Maybe )
389−jsonDecCipher_LoginCipher_totp_Maybe =
390− Json.Decode.maybe (Json.Decode.string)
391−
392−jsonEncCipher_LoginCipher_totp_Maybe : Cipher_LoginCipher_totp_Maybe -> Value
393−jsonEncCipher_LoginCipher_totp_Maybe val = (maybeEncode (Json.Encode.string)) val
394−
395−
396−
397−type alias Cipher_LoginCipher_uris_List = (List String)
398−
399−jsonDecCipher_LoginCipher_uris_List : Json.Decode.Decoder ( Cipher_LoginCipher_uris_List )
400−jsonDecCipher_LoginCipher_uris_List =
401− Json.Decode.list (Json.Decode.string)
402−
403−jsonEncCipher_LoginCipher_uris_List : Cipher_LoginCipher_uris_List -> Value
404−jsonEncCipher_LoginCipher_uris_List val = (Json.Encode.list Json.Encode.string) val
405−
406−
407−
408−type alias Cipher_LoginCipher_username_Maybe = (Maybe String)
409−
410−jsonDecCipher_LoginCipher_username_Maybe : Json.Decode.Decoder ( Cipher_LoginCipher_username_Maybe )
411−jsonDecCipher_LoginCipher_username_Maybe =
412− Json.Decode.maybe (Json.Decode.string)
413−
414−jsonEncCipher_LoginCipher_username_Maybe : Cipher_LoginCipher_username_Maybe -> Value
415−jsonEncCipher_LoginCipher_username_Maybe val = (maybeEncode (Json.Encode.string)) val
416−
417−
418−
419−type alias Cipher_LoginCipher =
420− { password: Cipher_LoginCipher_password_Maybe
421− , totp: Cipher_LoginCipher_totp_Maybe
422− , uris: Cipher_LoginCipher_uris_List
423− , username: Cipher_LoginCipher_username_Maybe
424− }
425−
426−jsonDecCipher_LoginCipher : Json.Decode.Decoder ( Cipher_LoginCipher )
427−jsonDecCipher_LoginCipher =
428− Json.Decode.succeed (\ppassword ptotp puris pusername -> {password = ppassword, totp = ptotp, uris = puris, username = pusername})
429− |> required "password" (jsonDecCipher_LoginCipher_password_Maybe)
430− |> required "totp" (jsonDecCipher_LoginCipher_totp_Maybe)
431− |> required "uris" (jsonDecCipher_LoginCipher_uris_List)
432− |> required "username" (jsonDecCipher_LoginCipher_username_Maybe)
433−
434−jsonEncCipher_LoginCipher : Cipher_LoginCipher -> Value
435−jsonEncCipher_LoginCipher val =
436− Json.Encode.object
437− [ ("password", jsonEncCipher_LoginCipher_password_Maybe val.password)
438− , ("totp", jsonEncCipher_LoginCipher_totp_Maybe val.totp)
439− , ("uris", jsonEncCipher_LoginCipher_uris_List val.uris)
440− , ("username", jsonEncCipher_LoginCipher_username_Maybe val.username)
441− ]
442−
443−
444−
445−type Cipher =
446− CardCipher Cipher_CardCipher
447− | IdentityCipher Cipher_IdentityCipher
448− | LoginCipher Cipher_LoginCipher
449− | NoteCipher String
450−
451−jsonDecCipher : Json.Decode.Decoder ( Cipher )
452−jsonDecCipher =
453− let jsonDecDictCipher = Dict.fromList
454− [ ("CardCipher", Json.Decode.lazy (\_ -> Json.Decode.map CardCipher (jsonDecCipher_CardCipher)))
455− , ("IdentityCipher", Json.Decode.lazy (\_ -> Json.Decode.map IdentityCipher (jsonDecCipher_IdentityCipher)))
456− , ("LoginCipher", Json.Decode.lazy (\_ -> Json.Decode.map LoginCipher (jsonDecCipher_LoginCipher)))
457− , ("NoteCipher", Json.Decode.lazy (\_ -> Json.Decode.map NoteCipher (Json.Decode.string)))
458− ]
459− jsonDecObjectSetCipher = Set.fromList []
460− in decodeSumTaggedObject "Cipher" "tag" "contents" jsonDecDictCipher jsonDecObjectSetCipher
461−
462−jsonEncCipher : Cipher -> Value
463−jsonEncCipher val =
464− let keyval v = case v of
465− CardCipher v1 -> ("CardCipher", encodeValue (jsonEncCipher_CardCipher v1))
466− IdentityCipher v1 -> ("IdentityCipher", encodeValue (jsonEncCipher_IdentityCipher v1))
467− LoginCipher v1 -> ("LoginCipher", encodeValue (jsonEncCipher_LoginCipher v1))
468− NoteCipher v1 -> ("NoteCipher", encodeValue (Json.Encode.string v1))
469− in encodeSumTaggedObject "tag" "contents" keyval val
470−
471−
472−
473−type CipherType =
474− CardType
475− | IdentityType
476− | LoginType
477− | NoteType
478−
479−jsonDecCipherType : Json.Decode.Decoder ( CipherType )
480−jsonDecCipherType =
481− let jsonDecDictCipherType = Dict.fromList [("CardType", CardType), ("IdentityType", IdentityType), ("LoginType", LoginType), ("NoteType", NoteType)]
482− in decodeSumUnaries "CipherType" jsonDecDictCipherType
483−
484−jsonEncCipherType : CipherType -> Value
485−jsonEncCipherType val =
486− case val of
487− CardType -> Json.Encode.string "CardType"
488− IdentityType -> Json.Encode.string "IdentityType"
489− LoginType -> Json.Encode.string "LoginType"
490− NoteType -> Json.Encode.string "NoteType"
491−
492−
493−
494−type alias Cmd_ChooseSecondFactor =
495− { email: String
496− , factor: TwoFactorProviderType
497− , password: String
498− , requestFromServer: Bool
499− , server: String
500− }
501−
502−jsonDecCmd_ChooseSecondFactor : Json.Decode.Decoder ( Cmd_ChooseSecondFactor )
503−jsonDecCmd_ChooseSecondFactor =
504− Json.Decode.succeed (\pemail pfactor ppassword prequestFromServer pserver -> {email = pemail, factor = pfactor, password = ppassword, requestFromServer = prequestFromServer, server = pserver})
505− |> required "email" (Json.Decode.string)
506− |> required "factor" (jsonDecTwoFactorProviderType)
507− |> required "password" (Json.Decode.string)
508− |> required "requestFromServer" (Json.Decode.bool)
509− |> required "server" (Json.Decode.string)
510−
511−jsonEncCmd_ChooseSecondFactor : Cmd_ChooseSecondFactor -> Value
512−jsonEncCmd_ChooseSecondFactor val =
513− Json.Encode.object
514− [ ("email", Json.Encode.string val.email)
515− , ("factor", jsonEncTwoFactorProviderType val.factor)
516− , ("password", Json.Encode.string val.password)
517− , ("requestFromServer", Json.Encode.bool val.requestFromServer)
518− , ("server", Json.Encode.string val.server)
519− ]
520−
521−
522−
523−type alias Cmd_Login_secondFactor =
524− { provider: TwoFactorProviderType
525− , remember: Bool
526− , token: String
527− }
528−
529−jsonDecCmd_Login_secondFactor : Json.Decode.Decoder ( Cmd_Login_secondFactor )
530−jsonDecCmd_Login_secondFactor =
531− Json.Decode.succeed (\pprovider premember ptoken -> {provider = pprovider, remember = premember, token = ptoken})
532− |> required "provider" (jsonDecTwoFactorProviderType)
533− |> required "remember" (Json.Decode.bool)
534− |> required "token" (Json.Decode.string)
535−
536−jsonEncCmd_Login_secondFactor : Cmd_Login_secondFactor -> Value
537−jsonEncCmd_Login_secondFactor val =
538− Json.Encode.object
539− [ ("provider", jsonEncTwoFactorProviderType val.provider)
540− , ("remember", Json.Encode.bool val.remember)
541− , ("token", Json.Encode.string val.token)
542− ]
543−
544−
545−
546−type alias Cmd_Login_secondFactor_Maybe = (Maybe Cmd_Login_secondFactor)
547−
548−jsonDecCmd_Login_secondFactor_Maybe : Json.Decode.Decoder ( Cmd_Login_secondFactor_Maybe )
549−jsonDecCmd_Login_secondFactor_Maybe =
550− Json.Decode.maybe (jsonDecCmd_Login_secondFactor)
551−
552−jsonEncCmd_Login_secondFactor_Maybe : Cmd_Login_secondFactor_Maybe -> Value
553−jsonEncCmd_Login_secondFactor_Maybe val = (maybeEncode (jsonEncCmd_Login_secondFactor)) val
554−
555−
556−
55711type alias Cmd_Login =
55812 { email: String
55913 , password: String
560− , secondFactor: Cmd_Login_secondFactor_Maybe
56114 , server: String
56215 }
56316
56417jsonDecCmd_Login : Json.Decode.Decoder ( Cmd_Login )
56518jsonDecCmd_Login =
566− Json.Decode.succeed (\pemail ppassword psecondFactor pserver -> {email = pemail, password = ppassword, secondFactor = psecondFactor, server = pserver})
19+ Json.Decode.succeed (\pemail ppassword pserver -> {email = pemail, password = ppassword, server = pserver})
56720 |> required "email" (Json.Decode.string)
56821 |> required "password" (Json.Decode.string)
569− |> required "secondFactor" (jsonDecCmd_Login_secondFactor_Maybe)
57022 |> required "server" (Json.Decode.string)
57123
57224jsonEncCmd_Login : Cmd_Login -> Value
@@ -574,47 +26,28 @@ jsonEncCmd_Login val =
57426 Json.Encode.object
57527 [ ("email", Json.Encode.string val.email)
57628 , ("password", Json.Encode.string val.password)
577− , ("secondFactor", jsonEncCmd_Login_secondFactor_Maybe val.secondFactor)
57829 , ("server", Json.Encode.string val.server)
57930 ]
58031
58132
58233
58334type Cmd =
584− ChooseSecondFactor Cmd_ChooseSecondFactor
585− | Copy String
586− | CreateCipher FullCipher
587− | DeleteCipher FullCipher
588− | GeneratePassword PasswordGeneratorConfig
589− | Init
35+ Init
59036 | Login Cmd_Login
59137 | NeedCiphersList
592− | NeedEmail
59338 | NeedsReset
594− | Open String
59539 | RequestCipher String
596− | RequestTotp String
59740 | SendMasterPassword String
598− | UpdateCipher FullCipher
59941
60042jsonDecCmd : Json.Decode.Decoder ( Cmd )
60143jsonDecCmd =
60244 let jsonDecDictCmd = Dict.fromList
603− [ ("ChooseSecondFactor", Json.Decode.lazy (\_ -> Json.Decode.map ChooseSecondFactor (jsonDecCmd_ChooseSecondFactor)))
604− , ("Copy", Json.Decode.lazy (\_ -> Json.Decode.map Copy (Json.Decode.string)))
605− , ("CreateCipher", Json.Decode.lazy (\_ -> Json.Decode.map CreateCipher (jsonDecFullCipher)))
606− , ("DeleteCipher", Json.Decode.lazy (\_ -> Json.Decode.map DeleteCipher (jsonDecFullCipher)))
607− , ("GeneratePassword", Json.Decode.lazy (\_ -> Json.Decode.map GeneratePassword (jsonDecPasswordGeneratorConfig)))
608− , ("Init", Json.Decode.lazy (\_ -> Json.Decode.succeed Init))
45+ [ ("Init", Json.Decode.lazy (\_ -> Json.Decode.succeed Init))
60946 , ("Login", Json.Decode.lazy (\_ -> Json.Decode.map Login (jsonDecCmd_Login)))
61047 , ("NeedCiphersList", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedCiphersList))
611− , ("NeedEmail", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedEmail))
61248 , ("NeedsReset", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsReset))
613− , ("Open", Json.Decode.lazy (\_ -> Json.Decode.map Open (Json.Decode.string)))
61449 , ("RequestCipher", Json.Decode.lazy (\_ -> Json.Decode.map RequestCipher (Json.Decode.string)))
615− , ("RequestTotp", Json.Decode.lazy (\_ -> Json.Decode.map RequestTotp (Json.Decode.string)))
61650 , ("SendMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map SendMasterPassword (Json.Decode.string)))
617− , ("UpdateCipher", Json.Decode.lazy (\_ -> Json.Decode.map UpdateCipher (jsonDecFullCipher)))
61851 ]
61952 jsonDecObjectSetCmd = Set.fromList []
62053 in decodeSumTaggedObject "Cmd" "tag" "contents" jsonDecDictCmd jsonDecObjectSetCmd
@@ -622,138 +55,139 @@ jsonDecCmd =
62255jsonEncCmd : Cmd -> Value
62356jsonEncCmd val =
62457 let keyval v = case v of
625− ChooseSecondFactor v1 -> ("ChooseSecondFactor", encodeValue (jsonEncCmd_ChooseSecondFactor v1))
626− Copy v1 -> ("Copy", encodeValue (Json.Encode.string v1))
627− CreateCipher v1 -> ("CreateCipher", encodeValue (jsonEncFullCipher v1))
628− DeleteCipher v1 -> ("DeleteCipher", encodeValue (jsonEncFullCipher v1))
629− GeneratePassword v1 -> ("GeneratePassword", encodeValue (jsonEncPasswordGeneratorConfig v1))
63058 Init -> ("Init", encodeValue (Json.Encode.list identity []))
63159 Login v1 -> ("Login", encodeValue (jsonEncCmd_Login v1))
63260 NeedCiphersList -> ("NeedCiphersList", encodeValue (Json.Encode.list identity []))
633− NeedEmail -> ("NeedEmail", encodeValue (Json.Encode.list identity []))
63461 NeedsReset -> ("NeedsReset", encodeValue (Json.Encode.list identity []))
635− Open v1 -> ("Open", encodeValue (Json.Encode.string v1))
63662 RequestCipher v1 -> ("RequestCipher", encodeValue (Json.Encode.string v1))
637− RequestTotp v1 -> ("RequestTotp", encodeValue (Json.Encode.string v1))
63863 SendMasterPassword v1 -> ("SendMasterPassword", encodeValue (Json.Encode.string v1))
639− UpdateCipher v1 -> ("UpdateCipher", encodeValue (jsonEncFullCipher v1))
64064 in encodeSumTaggedObject "tag" "contents" keyval val
64165
64266
64367
644−type alias FullCipher_collectionIds_List = (List String)
68+type alias Sub_LoadCipher_cipherType_CardCipher =
69+ { brand: String
70+ , cardholderName: String
71+ , code: String
72+ , expMonth: String
73+ , expYear: String
74+ , number: String
75+ }
76+
77+jsonDecSub_LoadCipher_cipherType_CardCipher : Json.Decode.Decoder ( Sub_LoadCipher_cipherType_CardCipher )
78+jsonDecSub_LoadCipher_cipherType_CardCipher =
79+ Json.Decode.succeed (\pbrand pcardholderName pcode pexpMonth pexpYear pnumber -> {brand = pbrand, cardholderName = pcardholderName, code = pcode, expMonth = pexpMonth, expYear = pexpYear, number = pnumber})
80+ |> required "brand" (Json.Decode.string)
81+ |> required "cardholderName" (Json.Decode.string)
82+ |> required "code" (Json.Decode.string)
83+ |> required "expMonth" (Json.Decode.string)
84+ |> required "expYear" (Json.Decode.string)
85+ |> required "number" (Json.Decode.string)
64586
646−jsonDecFullCipher_collectionIds_List : Json.Decode.Decoder ( FullCipher_collectionIds_List )
647−jsonDecFullCipher_collectionIds_List =
87+jsonEncSub_LoadCipher_cipherType_CardCipher : Sub_LoadCipher_cipherType_CardCipher -> Value
88+jsonEncSub_LoadCipher_cipherType_CardCipher val =
89+ Json.Encode.object
90+ [ ("brand", Json.Encode.string val.brand)
91+ , ("cardholderName", Json.Encode.string val.cardholderName)
92+ , ("code", Json.Encode.string val.code)
93+ , ("expMonth", Json.Encode.string val.expMonth)
94+ , ("expYear", Json.Encode.string val.expYear)
95+ , ("number", Json.Encode.string val.number)
96+ ]
97+
98+
99+
100+type alias Sub_LoadCipher_cipherType_LoginCipher_uris_List = (List String)
101+
102+jsonDecSub_LoadCipher_cipherType_LoginCipher_uris_List : Json.Decode.Decoder ( Sub_LoadCipher_cipherType_LoginCipher_uris_List )
103+jsonDecSub_LoadCipher_cipherType_LoginCipher_uris_List =
648104 Json.Decode.list (Json.Decode.string)
649105
650−jsonEncFullCipher_collectionIds_List : FullCipher_collectionIds_List -> Value
651−jsonEncFullCipher_collectionIds_List val = (Json.Encode.list Json.Encode.string) val
106+jsonEncSub_LoadCipher_cipherType_LoginCipher_uris_List : Sub_LoadCipher_cipherType_LoginCipher_uris_List -> Value
107+jsonEncSub_LoadCipher_cipherType_LoginCipher_uris_List val = (Json.Encode.list Json.Encode.string) val
652108
653109
654110
655−type alias FullCipher =
656− { cipher: Cipher
657− , collectionIds: FullCipher_collectionIds_List
658− , favorite: Bool
659− , id: String
660− , name: String
661− , reprompt: Int
111+type alias Sub_LoadCipher_cipherType_LoginCipher =
112+ { password: String
113+ , uris: Sub_LoadCipher_cipherType_LoginCipher_uris_List
114+ , username: String
662115 }
663116
664−jsonDecFullCipher : Json.Decode.Decoder ( FullCipher )
665−jsonDecFullCipher =
666− Json.Decode.succeed (\pcipher pcollectionIds pfavorite pid pname preprompt -> {cipher = pcipher, collectionIds = pcollectionIds, favorite = pfavorite, id = pid, name = pname, reprompt = preprompt})
667− |> required "cipher" (jsonDecCipher)
668− |> required "collectionIds" (jsonDecFullCipher_collectionIds_List)
669− |> required "favorite" (Json.Decode.bool)
670− |> required "id" (Json.Decode.string)
671− |> required "name" (Json.Decode.string)
672− |> required "reprompt" (Json.Decode.int)
117+jsonDecSub_LoadCipher_cipherType_LoginCipher : Json.Decode.Decoder ( Sub_LoadCipher_cipherType_LoginCipher )
118+jsonDecSub_LoadCipher_cipherType_LoginCipher =
119+ Json.Decode.succeed (\ppassword puris pusername -> {password = ppassword, uris = puris, username = pusername})
120+ |> required "password" (Json.Decode.string)
121+ |> required "uris" (jsonDecSub_LoadCipher_cipherType_LoginCipher_uris_List)
122+ |> required "username" (Json.Decode.string)
673123
674−jsonEncFullCipher : FullCipher -> Value
675−jsonEncFullCipher val =
124+jsonEncSub_LoadCipher_cipherType_LoginCipher : Sub_LoadCipher_cipherType_LoginCipher -> Value
125+jsonEncSub_LoadCipher_cipherType_LoginCipher val =
676126 Json.Encode.object
677− [ ("cipher", jsonEncCipher val.cipher)
678− , ("collectionIds", jsonEncFullCipher_collectionIds_List val.collectionIds)
679− , ("favorite", Json.Encode.bool val.favorite)
680− , ("id", Json.Encode.string val.id)
681− , ("name", Json.Encode.string val.name)
682− , ("reprompt", Json.Encode.int val.reprompt)
127+ [ ("password", Json.Encode.string val.password)
128+ , ("uris", jsonEncSub_LoadCipher_cipherType_LoginCipher_uris_List val.uris)
129+ , ("username", Json.Encode.string val.username)
683130 ]
684131
685132
686133
687−type alias PasswordGeneratorConfig =
688− { ambiguous: Bool
689− , capitalize: Bool
690− , includeNumber: Bool
691− , length: Int
692− , lowercase: Bool
693− , minLowercase: Int
694− , minNumber: Int
695− , minSpecial: Int
696− , minUppercase: Int
697− , numWords: Int
698− , number: Bool
699− , special: Bool
700− , type_: String
701− , uppercase: Bool
702− , wordSeparator: String
134+type Sub_LoadCipher_cipherType =
135+ CardCipher Sub_LoadCipher_cipherType_CardCipher
136+ | LoginCipher Sub_LoadCipher_cipherType_LoginCipher
137+ | NoteCipher String
138+
139+jsonDecSub_LoadCipher_cipherType : Json.Decode.Decoder ( Sub_LoadCipher_cipherType )
140+jsonDecSub_LoadCipher_cipherType =
141+ let jsonDecDictSub_LoadCipher_cipherType = Dict.fromList
142+ [ ("CardCipher", Json.Decode.lazy (\_ -> Json.Decode.map CardCipher (jsonDecSub_LoadCipher_cipherType_CardCipher)))
143+ , ("LoginCipher", Json.Decode.lazy (\_ -> Json.Decode.map LoginCipher (jsonDecSub_LoadCipher_cipherType_LoginCipher)))
144+ , ("NoteCipher", Json.Decode.lazy (\_ -> Json.Decode.map NoteCipher (Json.Decode.string)))
145+ ]
146+ jsonDecObjectSetSub_LoadCipher_cipherType = Set.fromList []
147+ in decodeSumTaggedObject "Sub_LoadCipher_cipherType" "tag" "contents" jsonDecDictSub_LoadCipher_cipherType jsonDecObjectSetSub_LoadCipher_cipherType
148+
149+jsonEncSub_LoadCipher_cipherType : Sub_LoadCipher_cipherType -> Value
150+jsonEncSub_LoadCipher_cipherType val =
151+ let keyval v = case v of
152+ CardCipher v1 -> ("CardCipher", encodeValue (jsonEncSub_LoadCipher_cipherType_CardCipher v1))
153+ LoginCipher v1 -> ("LoginCipher", encodeValue (jsonEncSub_LoadCipher_cipherType_LoginCipher v1))
154+ NoteCipher v1 -> ("NoteCipher", encodeValue (Json.Encode.string v1))
155+ in encodeSumTaggedObject "tag" "contents" keyval val
156+
157+
158+
159+type alias Sub_LoadCipher =
160+ { cipherType: Sub_LoadCipher_cipherType
161+ , id: String
162+ , name: String
703163 }
704164
705−jsonDecPasswordGeneratorConfig : Json.Decode.Decoder ( PasswordGeneratorConfig )
706−jsonDecPasswordGeneratorConfig =
707− Json.Decode.succeed (\pambiguous pcapitalize pincludeNumber plength plowercase pminLowercase pminNumber pminSpecial pminUppercase pnumWords pnumber pspecial ptype puppercase pwordSeparator -> {ambiguous = pambiguous, capitalize = pcapitalize, includeNumber = pincludeNumber, length = plength, lowercase = plowercase, minLowercase = pminLowercase, minNumber = pminNumber, minSpecial = pminSpecial, minUppercase = pminUppercase, numWords = pnumWords, number = pnumber, special = pspecial, type_ = ptype, uppercase = puppercase, wordSeparator = pwordSeparator})
708− |> required "ambiguous" (Json.Decode.bool)
709− |> required "capitalize" (Json.Decode.bool)
710− |> required "includeNumber" (Json.Decode.bool)
711− |> required "length" (Json.Decode.int)
712− |> required "lowercase" (Json.Decode.bool)
713− |> required "minLowercase" (Json.Decode.int)
714− |> required "minNumber" (Json.Decode.int)
715− |> required "minSpecial" (Json.Decode.int)
716− |> required "minUppercase" (Json.Decode.int)
717− |> required "numWords" (Json.Decode.int)
718− |> required "number" (Json.Decode.bool)
719− |> required "special" (Json.Decode.bool)
720− |> required "type" (Json.Decode.string)
721− |> required "uppercase" (Json.Decode.bool)
722− |> required "wordSeparator" (Json.Decode.string)
723−
724−jsonEncPasswordGeneratorConfig : PasswordGeneratorConfig -> Value
725−jsonEncPasswordGeneratorConfig val =
165+jsonDecSub_LoadCipher : Json.Decode.Decoder ( Sub_LoadCipher )
166+jsonDecSub_LoadCipher =
167+ Json.Decode.succeed (\pcipherType pid pname -> {cipherType = pcipherType, id = pid, name = pname})
168+ |> required "cipherType" (jsonDecSub_LoadCipher_cipherType)
169+ |> required "id" (Json.Decode.string)
170+ |> required "name" (Json.Decode.string)
171+
172+jsonEncSub_LoadCipher : Sub_LoadCipher -> Value
173+jsonEncSub_LoadCipher val =
726174 Json.Encode.object
727− [ ("ambiguous", Json.Encode.bool val.ambiguous)
728− , ("capitalize", Json.Encode.bool val.capitalize)
729− , ("includeNumber", Json.Encode.bool val.includeNumber)
730− , ("length", Json.Encode.int val.length)
731− , ("lowercase", Json.Encode.bool val.lowercase)
732− , ("minLowercase", Json.Encode.int val.minLowercase)
733− , ("minNumber", Json.Encode.int val.minNumber)
734− , ("minSpecial", Json.Encode.int val.minSpecial)
735− , ("minUppercase", Json.Encode.int val.minUppercase)
736− , ("numWords", Json.Encode.int val.numWords)
737− , ("number", Json.Encode.bool val.number)
738− , ("special", Json.Encode.bool val.special)
739− , ("type", Json.Encode.string val.type_)
740− , ("uppercase", Json.Encode.bool val.uppercase)
741− , ("wordSeparator", Json.Encode.string val.wordSeparator)
175+ [ ("cipherType", jsonEncSub_LoadCipher_cipherType val.cipherType)
176+ , ("id", Json.Encode.string val.id)
177+ , ("name", Json.Encode.string val.name)
742178 ]
743179
744180
745181
746182type alias Sub_LoadCiphers =
747− { cipherType: CipherType
748− , date: String
183+ { date: String
749184 , id: String
750185 , name: String
751186 }
752187
753188jsonDecSub_LoadCiphers : Json.Decode.Decoder ( Sub_LoadCiphers )
754189jsonDecSub_LoadCiphers =
755− Json.Decode.succeed (\pcipherType pdate pid pname -> {cipherType = pcipherType, date = pdate, id = pid, name = pname})
756− |> required "cipherType" (jsonDecCipherType)
190+ Json.Decode.succeed (\pdate pid pname -> {date = pdate, id = pid, name = pname})
757191 |> required "date" (Json.Decode.string)
758192 |> required "id" (Json.Decode.string)
759193 |> required "name" (Json.Decode.string)
@@ -761,8 +195,7 @@ jsonDecSub_LoadCiphers =
761195jsonEncSub_LoadCiphers : Sub_LoadCiphers -> Value
762196jsonEncSub_LoadCiphers val =
763197 Json.Encode.object
764− [ ("cipherType", jsonEncCipherType val.cipherType)
765− , ("date", Json.Encode.string val.date)
198+ [ ("date", Json.Encode.string val.date)
766199 , ("id", Json.Encode.string val.id)
767200 , ("name", Json.Encode.string val.name)
768201 ]
@@ -800,77 +233,25 @@ jsonEncSub_NeedsMasterPassword val =
800233
801234
802235
803−type alias Sub_NeedsSecondFactor_List = (List TwoFactorProviderType)
804−
805−jsonDecSub_NeedsSecondFactor_List : Json.Decode.Decoder ( Sub_NeedsSecondFactor_List )
806−jsonDecSub_NeedsSecondFactor_List =
807− Json.Decode.list (jsonDecTwoFactorProviderType)
808−
809−jsonEncSub_NeedsSecondFactor_List : Sub_NeedsSecondFactor_List -> Value
810−jsonEncSub_NeedsSecondFactor_List val = (Json.Encode.list jsonEncTwoFactorProviderType) val
811−
812−
813−
814−type alias Sub_Totp =
815− { code: String
816− , interval: Int
817− , source: String
818− }
819−
820−jsonDecSub_Totp : Json.Decode.Decoder ( Sub_Totp )
821−jsonDecSub_Totp =
822− Json.Decode.succeed (\pcode pinterval psource -> {code = pcode, interval = pinterval, source = psource})
823− |> required "code" (Json.Decode.string)
824− |> required "interval" (Json.Decode.int)
825− |> required "source" (Json.Decode.string)
826−
827−jsonEncSub_Totp : Sub_Totp -> Value
828−jsonEncSub_Totp val =
829− Json.Encode.object
830− [ ("code", Json.Encode.string val.code)
831− , ("interval", Json.Encode.int val.interval)
832− , ("source", Json.Encode.string val.source)
833− ]
834−
835−
836−
837236type Sub =
838− CaptchaDone
839− | CipherChanged FullCipher
840− | CipherDeleted FullCipher
841− | Error String
842− | GeneratedPassword String
843− | LoadCipher FullCipher
237+ Error String
238+ | LoadCipher Sub_LoadCipher
844239 | LoadCiphers Sub_LoadCiphers_List
845240 | LoginSuccessful
846− | NeedsCaptcha String
847241 | NeedsLogin
848242 | NeedsMasterPassword Sub_NeedsMasterPassword
849− | NeedsSecondFactor Sub_NeedsSecondFactor_List
850− | RecieveEmail String
851243 | Reset
852− | Totp Sub_Totp
853− | WrongPassword
854244
855245jsonDecSub : Json.Decode.Decoder ( Sub )
856246jsonDecSub =
857247 let jsonDecDictSub = Dict.fromList
858− [ ("CaptchaDone", Json.Decode.lazy (\_ -> Json.Decode.succeed CaptchaDone))
859− , ("CipherChanged", Json.Decode.lazy (\_ -> Json.Decode.map CipherChanged (jsonDecFullCipher)))
860− , ("CipherDeleted", Json.Decode.lazy (\_ -> Json.Decode.map CipherDeleted (jsonDecFullCipher)))
861− , ("Error", Json.Decode.lazy (\_ -> Json.Decode.map Error (Json.Decode.string)))
862− , ("GeneratedPassword", Json.Decode.lazy (\_ -> Json.Decode.map GeneratedPassword (Json.Decode.string)))
863− , ("LoadCipher", Json.Decode.lazy (\_ -> Json.Decode.map LoadCipher (jsonDecFullCipher)))
248+ [ ("Error", Json.Decode.lazy (\_ -> Json.Decode.map Error (Json.Decode.string)))
249+ , ("LoadCipher", Json.Decode.lazy (\_ -> Json.Decode.map LoadCipher (jsonDecSub_LoadCipher)))
864250 , ("LoadCiphers", Json.Decode.lazy (\_ -> Json.Decode.map LoadCiphers (jsonDecSub_LoadCiphers_List)))
865251 , ("LoginSuccessful", Json.Decode.lazy (\_ -> Json.Decode.succeed LoginSuccessful))
866− , ("NeedsCaptcha", Json.Decode.lazy (\_ -> Json.Decode.map NeedsCaptcha (Json.Decode.string)))
867252 , ("NeedsLogin", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsLogin))
868253 , ("NeedsMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map NeedsMasterPassword (jsonDecSub_NeedsMasterPassword)))
869− , ("NeedsSecondFactor", Json.Decode.lazy (\_ -> Json.Decode.map NeedsSecondFactor (jsonDecSub_NeedsSecondFactor_List)))
870− , ("RecieveEmail", Json.Decode.lazy (\_ -> Json.Decode.map RecieveEmail (Json.Decode.string)))
871254 , ("Reset", Json.Decode.lazy (\_ -> Json.Decode.succeed Reset))
872− , ("Totp", Json.Decode.lazy (\_ -> Json.Decode.map Totp (jsonDecSub_Totp)))
873− , ("WrongPassword", Json.Decode.lazy (\_ -> Json.Decode.succeed WrongPassword))
874255 ]
875256 jsonDecObjectSetSub = Set.fromList []
876257 in decodeSumTaggedObject "Sub" "tag" "contents" jsonDecDictSub jsonDecObjectSetSub
@@ -878,50 +259,12 @@ jsonDecSub =
878259jsonEncSub : Sub -> Value
879260jsonEncSub val =
880261 let keyval v = case v of
881− CaptchaDone -> ("CaptchaDone", encodeValue (Json.Encode.list identity []))
882− CipherChanged v1 -> ("CipherChanged", encodeValue (jsonEncFullCipher v1))
883− CipherDeleted v1 -> ("CipherDeleted", encodeValue (jsonEncFullCipher v1))
884262 Error v1 -> ("Error", encodeValue (Json.Encode.string v1))
885− GeneratedPassword v1 -> ("GeneratedPassword", encodeValue (Json.Encode.string v1))
886− LoadCipher v1 -> ("LoadCipher", encodeValue (jsonEncFullCipher v1))
263+ LoadCipher v1 -> ("LoadCipher", encodeValue (jsonEncSub_LoadCipher v1))
887264 LoadCiphers v1 -> ("LoadCiphers", encodeValue (jsonEncSub_LoadCiphers_List v1))
888265 LoginSuccessful -> ("LoginSuccessful", encodeValue (Json.Encode.list identity []))
889− NeedsCaptcha v1 -> ("NeedsCaptcha", encodeValue (Json.Encode.string v1))
890266 NeedsLogin -> ("NeedsLogin", encodeValue (Json.Encode.list identity []))
891267 NeedsMasterPassword v1 -> ("NeedsMasterPassword", encodeValue (jsonEncSub_NeedsMasterPassword v1))
892− NeedsSecondFactor v1 -> ("NeedsSecondFactor", encodeValue (jsonEncSub_NeedsSecondFactor_List v1))
893− RecieveEmail v1 -> ("RecieveEmail", encodeValue (Json.Encode.string v1))
894268 Reset -> ("Reset", encodeValue (Json.Encode.list identity []))
895− Totp v1 -> ("Totp", encodeValue (jsonEncSub_Totp v1))
896− WrongPassword -> ("WrongPassword", encodeValue (Json.Encode.list identity []))
897269 in encodeSumTaggedObject "tag" "contents" keyval val
898270
899−
900−
901−type TwoFactorProviderType =
902− Authenticator
903− | Duo
904− | Email
905− | OrganizationDuo
906− | Remember
907− | U2f
908− | WebAuthn
909− | Yubikey
910−
911−jsonDecTwoFactorProviderType : Json.Decode.Decoder ( TwoFactorProviderType )
912−jsonDecTwoFactorProviderType =
913− let jsonDecDictTwoFactorProviderType = Dict.fromList [("Authenticator", Authenticator), ("Duo", Duo), ("Email", Email), ("OrganizationDuo", OrganizationDuo), ("Remember", Remember), ("U2f", U2f), ("WebAuthn", WebAuthn), ("Yubikey", Yubikey)]
914− in decodeSumUnaries "TwoFactorProviderType" jsonDecDictTwoFactorProviderType
915−
916−jsonEncTwoFactorProviderType : TwoFactorProviderType -> Value
917−jsonEncTwoFactorProviderType val =
918− case val of
919− Authenticator -> Json.Encode.string "Authenticator"
920− Duo -> Json.Encode.string "Duo"
921− Email -> Json.Encode.string "Email"
922− OrganizationDuo -> Json.Encode.string "OrganizationDuo"
923− Remember -> Json.Encode.string "Remember"
924− U2f -> Json.Encode.string "U2f"
925− WebAuthn -> Json.Encode.string "WebAuthn"
926− Yubikey -> Json.Encode.string "Yubikey"
927−