@@ -8,565 +8,17 @@ import Dict exposing (Dict)
8import Set exposing (Set)
8import Set exposing (Set)
11−type alias Cipher_CardCipher_brand_Maybe = (Maybe String)
13−jsonDecCipher_CardCipher_brand_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_brand_Maybe )
14−jsonDecCipher_CardCipher_brand_Maybe =
15− Json.Decode.maybe (Json.Decode.string)
17−jsonEncCipher_CardCipher_brand_Maybe : Cipher_CardCipher_brand_Maybe -> Value
18−jsonEncCipher_CardCipher_brand_Maybe val = (maybeEncode (Json.Encode.string)) val
22−type alias Cipher_CardCipher_cardholderName_Maybe = (Maybe String)
24−jsonDecCipher_CardCipher_cardholderName_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_cardholderName_Maybe )
25−jsonDecCipher_CardCipher_cardholderName_Maybe =
26− Json.Decode.maybe (Json.Decode.string)
28−jsonEncCipher_CardCipher_cardholderName_Maybe : Cipher_CardCipher_cardholderName_Maybe -> Value
29−jsonEncCipher_CardCipher_cardholderName_Maybe val = (maybeEncode (Json.Encode.string)) val
33−type alias Cipher_CardCipher_code_Maybe = (Maybe String)
35−jsonDecCipher_CardCipher_code_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_code_Maybe )
36−jsonDecCipher_CardCipher_code_Maybe =
37− Json.Decode.maybe (Json.Decode.string)
39−jsonEncCipher_CardCipher_code_Maybe : Cipher_CardCipher_code_Maybe -> Value
40−jsonEncCipher_CardCipher_code_Maybe val = (maybeEncode (Json.Encode.string)) val
44−type alias Cipher_CardCipher_expMonth_Maybe = (Maybe String)
46−jsonDecCipher_CardCipher_expMonth_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_expMonth_Maybe )
47−jsonDecCipher_CardCipher_expMonth_Maybe =
48− Json.Decode.maybe (Json.Decode.string)
50−jsonEncCipher_CardCipher_expMonth_Maybe : Cipher_CardCipher_expMonth_Maybe -> Value
51−jsonEncCipher_CardCipher_expMonth_Maybe val = (maybeEncode (Json.Encode.string)) val
55−type alias Cipher_CardCipher_expYear_Maybe = (Maybe String)
57−jsonDecCipher_CardCipher_expYear_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_expYear_Maybe )
58−jsonDecCipher_CardCipher_expYear_Maybe =
59− Json.Decode.maybe (Json.Decode.string)
61−jsonEncCipher_CardCipher_expYear_Maybe : Cipher_CardCipher_expYear_Maybe -> Value
62−jsonEncCipher_CardCipher_expYear_Maybe val = (maybeEncode (Json.Encode.string)) val
66−type alias Cipher_CardCipher_number_Maybe = (Maybe String)
68−jsonDecCipher_CardCipher_number_Maybe : Json.Decode.Decoder ( Cipher_CardCipher_number_Maybe )
69−jsonDecCipher_CardCipher_number_Maybe =
70− Json.Decode.maybe (Json.Decode.string)
72−jsonEncCipher_CardCipher_number_Maybe : Cipher_CardCipher_number_Maybe -> Value
73−jsonEncCipher_CardCipher_number_Maybe val = (maybeEncode (Json.Encode.string)) val
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
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)
96−jsonEncCipher_CardCipher : Cipher_CardCipher -> Value
97−jsonEncCipher_CardCipher val =
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)
109−type alias Cipher_IdentityCipher_address1_Maybe = (Maybe String)
111−jsonDecCipher_IdentityCipher_address1_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_address1_Maybe )
112−jsonDecCipher_IdentityCipher_address1_Maybe =
113− Json.Decode.maybe (Json.Decode.string)
115−jsonEncCipher_IdentityCipher_address1_Maybe : Cipher_IdentityCipher_address1_Maybe -> Value
116−jsonEncCipher_IdentityCipher_address1_Maybe val = (maybeEncode (Json.Encode.string)) val
120−type alias Cipher_IdentityCipher_address2_Maybe = (Maybe String)
122−jsonDecCipher_IdentityCipher_address2_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_address2_Maybe )
123−jsonDecCipher_IdentityCipher_address2_Maybe =
124− Json.Decode.maybe (Json.Decode.string)
126−jsonEncCipher_IdentityCipher_address2_Maybe : Cipher_IdentityCipher_address2_Maybe -> Value
127−jsonEncCipher_IdentityCipher_address2_Maybe val = (maybeEncode (Json.Encode.string)) val
131−type alias Cipher_IdentityCipher_address3_Maybe = (Maybe String)
133−jsonDecCipher_IdentityCipher_address3_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_address3_Maybe )
134−jsonDecCipher_IdentityCipher_address3_Maybe =
135− Json.Decode.maybe (Json.Decode.string)
137−jsonEncCipher_IdentityCipher_address3_Maybe : Cipher_IdentityCipher_address3_Maybe -> Value
138−jsonEncCipher_IdentityCipher_address3_Maybe val = (maybeEncode (Json.Encode.string)) val
142−type alias Cipher_IdentityCipher_city_Maybe = (Maybe String)
144−jsonDecCipher_IdentityCipher_city_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_city_Maybe )
145−jsonDecCipher_IdentityCipher_city_Maybe =
146− Json.Decode.maybe (Json.Decode.string)
148−jsonEncCipher_IdentityCipher_city_Maybe : Cipher_IdentityCipher_city_Maybe -> Value
149−jsonEncCipher_IdentityCipher_city_Maybe val = (maybeEncode (Json.Encode.string)) val
153−type alias Cipher_IdentityCipher_company_Maybe = (Maybe String)
155−jsonDecCipher_IdentityCipher_company_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_company_Maybe )
156−jsonDecCipher_IdentityCipher_company_Maybe =
157− Json.Decode.maybe (Json.Decode.string)
159−jsonEncCipher_IdentityCipher_company_Maybe : Cipher_IdentityCipher_company_Maybe -> Value
160−jsonEncCipher_IdentityCipher_company_Maybe val = (maybeEncode (Json.Encode.string)) val
164−type alias Cipher_IdentityCipher_country_Maybe = (Maybe String)
166−jsonDecCipher_IdentityCipher_country_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_country_Maybe )
167−jsonDecCipher_IdentityCipher_country_Maybe =
168− Json.Decode.maybe (Json.Decode.string)
170−jsonEncCipher_IdentityCipher_country_Maybe : Cipher_IdentityCipher_country_Maybe -> Value
171−jsonEncCipher_IdentityCipher_country_Maybe val = (maybeEncode (Json.Encode.string)) val
175−type alias Cipher_IdentityCipher_email_Maybe = (Maybe String)
177−jsonDecCipher_IdentityCipher_email_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_email_Maybe )
178−jsonDecCipher_IdentityCipher_email_Maybe =
179− Json.Decode.maybe (Json.Decode.string)
181−jsonEncCipher_IdentityCipher_email_Maybe : Cipher_IdentityCipher_email_Maybe -> Value
182−jsonEncCipher_IdentityCipher_email_Maybe val = (maybeEncode (Json.Encode.string)) val
186−type alias Cipher_IdentityCipher_firstName_Maybe = (Maybe String)
188−jsonDecCipher_IdentityCipher_firstName_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_firstName_Maybe )
189−jsonDecCipher_IdentityCipher_firstName_Maybe =
190− Json.Decode.maybe (Json.Decode.string)
192−jsonEncCipher_IdentityCipher_firstName_Maybe : Cipher_IdentityCipher_firstName_Maybe -> Value
193−jsonEncCipher_IdentityCipher_firstName_Maybe val = (maybeEncode (Json.Encode.string)) val
197−type alias Cipher_IdentityCipher_lastName_Maybe = (Maybe String)
199−jsonDecCipher_IdentityCipher_lastName_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_lastName_Maybe )
200−jsonDecCipher_IdentityCipher_lastName_Maybe =
201− Json.Decode.maybe (Json.Decode.string)
203−jsonEncCipher_IdentityCipher_lastName_Maybe : Cipher_IdentityCipher_lastName_Maybe -> Value
204−jsonEncCipher_IdentityCipher_lastName_Maybe val = (maybeEncode (Json.Encode.string)) val
208−type alias Cipher_IdentityCipher_licenseNumber_Maybe = (Maybe String)
210−jsonDecCipher_IdentityCipher_licenseNumber_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_licenseNumber_Maybe )
211−jsonDecCipher_IdentityCipher_licenseNumber_Maybe =
212− Json.Decode.maybe (Json.Decode.string)
214−jsonEncCipher_IdentityCipher_licenseNumber_Maybe : Cipher_IdentityCipher_licenseNumber_Maybe -> Value
215−jsonEncCipher_IdentityCipher_licenseNumber_Maybe val = (maybeEncode (Json.Encode.string)) val
219−type alias Cipher_IdentityCipher_middleName_Maybe = (Maybe String)
221−jsonDecCipher_IdentityCipher_middleName_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_middleName_Maybe )
222−jsonDecCipher_IdentityCipher_middleName_Maybe =
223− Json.Decode.maybe (Json.Decode.string)
225−jsonEncCipher_IdentityCipher_middleName_Maybe : Cipher_IdentityCipher_middleName_Maybe -> Value
226−jsonEncCipher_IdentityCipher_middleName_Maybe val = (maybeEncode (Json.Encode.string)) val
230−type alias Cipher_IdentityCipher_passportNumber_Maybe = (Maybe String)
232−jsonDecCipher_IdentityCipher_passportNumber_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_passportNumber_Maybe )
233−jsonDecCipher_IdentityCipher_passportNumber_Maybe =
234− Json.Decode.maybe (Json.Decode.string)
236−jsonEncCipher_IdentityCipher_passportNumber_Maybe : Cipher_IdentityCipher_passportNumber_Maybe -> Value
237−jsonEncCipher_IdentityCipher_passportNumber_Maybe val = (maybeEncode (Json.Encode.string)) val
241−type alias Cipher_IdentityCipher_phone_Maybe = (Maybe String)
243−jsonDecCipher_IdentityCipher_phone_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_phone_Maybe )
244−jsonDecCipher_IdentityCipher_phone_Maybe =
245− Json.Decode.maybe (Json.Decode.string)
247−jsonEncCipher_IdentityCipher_phone_Maybe : Cipher_IdentityCipher_phone_Maybe -> Value
248−jsonEncCipher_IdentityCipher_phone_Maybe val = (maybeEncode (Json.Encode.string)) val
252−type alias Cipher_IdentityCipher_postalCode_Maybe = (Maybe String)
254−jsonDecCipher_IdentityCipher_postalCode_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_postalCode_Maybe )
255−jsonDecCipher_IdentityCipher_postalCode_Maybe =
256− Json.Decode.maybe (Json.Decode.string)
258−jsonEncCipher_IdentityCipher_postalCode_Maybe : Cipher_IdentityCipher_postalCode_Maybe -> Value
259−jsonEncCipher_IdentityCipher_postalCode_Maybe val = (maybeEncode (Json.Encode.string)) val
263−type alias Cipher_IdentityCipher_ssn_Maybe = (Maybe String)
265−jsonDecCipher_IdentityCipher_ssn_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_ssn_Maybe )
266−jsonDecCipher_IdentityCipher_ssn_Maybe =
267− Json.Decode.maybe (Json.Decode.string)
269−jsonEncCipher_IdentityCipher_ssn_Maybe : Cipher_IdentityCipher_ssn_Maybe -> Value
270−jsonEncCipher_IdentityCipher_ssn_Maybe val = (maybeEncode (Json.Encode.string)) val
274−type alias Cipher_IdentityCipher_state_Maybe = (Maybe String)
276−jsonDecCipher_IdentityCipher_state_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_state_Maybe )
277−jsonDecCipher_IdentityCipher_state_Maybe =
278− Json.Decode.maybe (Json.Decode.string)
280−jsonEncCipher_IdentityCipher_state_Maybe : Cipher_IdentityCipher_state_Maybe -> Value
281−jsonEncCipher_IdentityCipher_state_Maybe val = (maybeEncode (Json.Encode.string)) val
285−type alias Cipher_IdentityCipher_title_Maybe = (Maybe String)
287−jsonDecCipher_IdentityCipher_title_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_title_Maybe )
288−jsonDecCipher_IdentityCipher_title_Maybe =
289− Json.Decode.maybe (Json.Decode.string)
291−jsonEncCipher_IdentityCipher_title_Maybe : Cipher_IdentityCipher_title_Maybe -> Value
292−jsonEncCipher_IdentityCipher_title_Maybe val = (maybeEncode (Json.Encode.string)) val
296−type alias Cipher_IdentityCipher_username_Maybe = (Maybe String)
298−jsonDecCipher_IdentityCipher_username_Maybe : Json.Decode.Decoder ( Cipher_IdentityCipher_username_Maybe )
299−jsonDecCipher_IdentityCipher_username_Maybe =
300− Json.Decode.maybe (Json.Decode.string)
302−jsonEncCipher_IdentityCipher_username_Maybe : Cipher_IdentityCipher_username_Maybe -> Value
303−jsonEncCipher_IdentityCipher_username_Maybe val = (maybeEncode (Json.Encode.string)) val
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
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)
350−jsonEncCipher_IdentityCipher : Cipher_IdentityCipher -> Value
351−jsonEncCipher_IdentityCipher val =
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)
375−type alias Cipher_LoginCipher_password_Maybe = (Maybe String)
377−jsonDecCipher_LoginCipher_password_Maybe : Json.Decode.Decoder ( Cipher_LoginCipher_password_Maybe )
378−jsonDecCipher_LoginCipher_password_Maybe =
379− Json.Decode.maybe (Json.Decode.string)
381−jsonEncCipher_LoginCipher_password_Maybe : Cipher_LoginCipher_password_Maybe -> Value
382−jsonEncCipher_LoginCipher_password_Maybe val = (maybeEncode (Json.Encode.string)) val
386−type alias Cipher_LoginCipher_totp_Maybe = (Maybe String)
388−jsonDecCipher_LoginCipher_totp_Maybe : Json.Decode.Decoder ( Cipher_LoginCipher_totp_Maybe )
389−jsonDecCipher_LoginCipher_totp_Maybe =
390− Json.Decode.maybe (Json.Decode.string)
392−jsonEncCipher_LoginCipher_totp_Maybe : Cipher_LoginCipher_totp_Maybe -> Value
393−jsonEncCipher_LoginCipher_totp_Maybe val = (maybeEncode (Json.Encode.string)) val
397−type alias Cipher_LoginCipher_uris_List = (List String)
399−jsonDecCipher_LoginCipher_uris_List : Json.Decode.Decoder ( Cipher_LoginCipher_uris_List )
400−jsonDecCipher_LoginCipher_uris_List =
401− Json.Decode.list (Json.Decode.string)
403−jsonEncCipher_LoginCipher_uris_List : Cipher_LoginCipher_uris_List -> Value
404−jsonEncCipher_LoginCipher_uris_List val = (Json.Encode.list Json.Encode.string) val
408−type alias Cipher_LoginCipher_username_Maybe = (Maybe String)
410−jsonDecCipher_LoginCipher_username_Maybe : Json.Decode.Decoder ( Cipher_LoginCipher_username_Maybe )
411−jsonDecCipher_LoginCipher_username_Maybe =
412− Json.Decode.maybe (Json.Decode.string)
414−jsonEncCipher_LoginCipher_username_Maybe : Cipher_LoginCipher_username_Maybe -> Value
415−jsonEncCipher_LoginCipher_username_Maybe val = (maybeEncode (Json.Encode.string)) val
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
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)
434−jsonEncCipher_LoginCipher : Cipher_LoginCipher -> Value
435−jsonEncCipher_LoginCipher val =
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)
446− CardCipher Cipher_CardCipher
447− | IdentityCipher Cipher_IdentityCipher
448− | LoginCipher Cipher_LoginCipher
451−jsonDecCipher : Json.Decode.Decoder ( Cipher )
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)))
459− jsonDecObjectSetCipher = Set.fromList []
460− in decodeSumTaggedObject "Cipher" "tag" "contents" jsonDecDictCipher jsonDecObjectSetCipher
462−jsonEncCipher : Cipher -> Value
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
479−jsonDecCipherType : Json.Decode.Decoder ( CipherType )
481− let jsonDecDictCipherType = Dict.fromList [("CardType", CardType), ("IdentityType", IdentityType), ("LoginType", LoginType), ("NoteType", NoteType)]
482− in decodeSumUnaries "CipherType" jsonDecDictCipherType
484−jsonEncCipherType : CipherType -> Value
485−jsonEncCipherType val =
487− CardType -> Json.Encode.string "CardType"
488− IdentityType -> Json.Encode.string "IdentityType"
489− LoginType -> Json.Encode.string "LoginType"
490− NoteType -> Json.Encode.string "NoteType"
494−type alias Cmd_ChooseSecondFactor =
496− , factor: TwoFactorProviderType
498− , requestFromServer: Bool
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)
511−jsonEncCmd_ChooseSecondFactor : Cmd_ChooseSecondFactor -> Value
512−jsonEncCmd_ChooseSecondFactor val =
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)
523−type alias Cmd_Login_secondFactor =
524− { provider: TwoFactorProviderType
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)
536−jsonEncCmd_Login_secondFactor : Cmd_Login_secondFactor -> Value
537−jsonEncCmd_Login_secondFactor val =
539− [ ("provider", jsonEncTwoFactorProviderType val.provider)
540− , ("remember", Json.Encode.bool val.remember)
541− , ("token", Json.Encode.string val.token)
546−type alias Cmd_Login_secondFactor_Maybe = (Maybe Cmd_Login_secondFactor)
548−jsonDecCmd_Login_secondFactor_Maybe : Json.Decode.Decoder ( Cmd_Login_secondFactor_Maybe )
549−jsonDecCmd_Login_secondFactor_Maybe =
550− Json.Decode.maybe (jsonDecCmd_Login_secondFactor)
552−jsonEncCmd_Login_secondFactor_Maybe : Cmd_Login_secondFactor_Maybe -> Value
553−jsonEncCmd_Login_secondFactor_Maybe val = (maybeEncode (jsonEncCmd_Login_secondFactor)) val
557type alias Cmd_Login =
11type alias Cmd_Login =
558 { email: String
12 { email: String
559 , password: String
13 , password: String
560− , secondFactor: Cmd_Login_secondFactor_Maybe
561 , server: String
14 , server: String
564jsonDecCmd_Login : Json.Decode.Decoder ( Cmd_Login )
17jsonDecCmd_Login : Json.Decode.Decoder ( Cmd_Login )
565jsonDecCmd_Login =
18jsonDecCmd_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})
567 |> required "email" (Json.Decode.string)
20 |> required "email" (Json.Decode.string)
568 |> required "password" (Json.Decode.string)
21 |> required "password" (Json.Decode.string)
569− |> required "secondFactor" (jsonDecCmd_Login_secondFactor_Maybe)
570 |> required "server" (Json.Decode.string)
22 |> required "server" (Json.Decode.string)
572jsonEncCmd_Login : Cmd_Login -> Value
24jsonEncCmd_Login : Cmd_Login -> Value
@@ -574,47 +26,28 @@ jsonEncCmd_Login val =
574 Json.Encode.object
26 Json.Encode.object
575 [ ("email", Json.Encode.string val.email)
27 [ ("email", Json.Encode.string val.email)
576 , ("password", Json.Encode.string val.password)
28 , ("password", Json.Encode.string val.password)
577− , ("secondFactor", jsonEncCmd_Login_secondFactor_Maybe val.secondFactor)
578 , ("server", Json.Encode.string val.server)
29 , ("server", Json.Encode.string val.server)
583type Cmd =
34type Cmd =
584− ChooseSecondFactor Cmd_ChooseSecondFactor
586− | CreateCipher FullCipher
587− | DeleteCipher FullCipher
588− | GeneratePassword PasswordGeneratorConfig
590 | Login Cmd_Login
36 | Login Cmd_Login
591 | NeedCiphersList
37 | NeedCiphersList
593 | NeedsReset
38 | NeedsReset
595 | RequestCipher String
39 | RequestCipher String
596− | RequestTotp String
597 | SendMasterPassword String
40 | SendMasterPassword String
598− | UpdateCipher FullCipher
600jsonDecCmd : Json.Decode.Decoder ( Cmd )
42jsonDecCmd : Json.Decode.Decoder ( Cmd )
601jsonDecCmd =
43jsonDecCmd =
602 let jsonDecDictCmd = Dict.fromList
44 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))
609 , ("Login", Json.Decode.lazy (\_ -> Json.Decode.map Login (jsonDecCmd_Login)))
46 , ("Login", Json.Decode.lazy (\_ -> Json.Decode.map Login (jsonDecCmd_Login)))
610 , ("NeedCiphersList", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedCiphersList))
47 , ("NeedCiphersList", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedCiphersList))
611− , ("NeedEmail", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedEmail))
612 , ("NeedsReset", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsReset))
48 , ("NeedsReset", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsReset))
613− , ("Open", Json.Decode.lazy (\_ -> Json.Decode.map Open (Json.Decode.string)))
614 , ("RequestCipher", Json.Decode.lazy (\_ -> Json.Decode.map RequestCipher (Json.Decode.string)))
49 , ("RequestCipher", Json.Decode.lazy (\_ -> Json.Decode.map RequestCipher (Json.Decode.string)))
615− , ("RequestTotp", Json.Decode.lazy (\_ -> Json.Decode.map RequestTotp (Json.Decode.string)))
616 , ("SendMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map SendMasterPassword (Json.Decode.string)))
50 , ("SendMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map SendMasterPassword (Json.Decode.string)))
617− , ("UpdateCipher", Json.Decode.lazy (\_ -> Json.Decode.map UpdateCipher (jsonDecFullCipher)))
619 jsonDecObjectSetCmd = Set.fromList []
52 jsonDecObjectSetCmd = Set.fromList []
620 in decodeSumTaggedObject "Cmd" "tag" "contents" jsonDecDictCmd jsonDecObjectSetCmd
53 in decodeSumTaggedObject "Cmd" "tag" "contents" jsonDecDictCmd jsonDecObjectSetCmd
@@ -622,138 +55,139 @@ jsonDecCmd =
622jsonEncCmd : Cmd -> Value
55jsonEncCmd : Cmd -> Value
623jsonEncCmd val =
56jsonEncCmd val =
624 let keyval v = case v of
57 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))
630 Init -> ("Init", encodeValue (Json.Encode.list identity []))
58 Init -> ("Init", encodeValue (Json.Encode.list identity []))
631 Login v1 -> ("Login", encodeValue (jsonEncCmd_Login v1))
59 Login v1 -> ("Login", encodeValue (jsonEncCmd_Login v1))
632 NeedCiphersList -> ("NeedCiphersList", encodeValue (Json.Encode.list identity []))
60 NeedCiphersList -> ("NeedCiphersList", encodeValue (Json.Encode.list identity []))
633− NeedEmail -> ("NeedEmail", encodeValue (Json.Encode.list identity []))
634 NeedsReset -> ("NeedsReset", encodeValue (Json.Encode.list identity []))
61 NeedsReset -> ("NeedsReset", encodeValue (Json.Encode.list identity []))
635− Open v1 -> ("Open", encodeValue (Json.Encode.string v1))
636 RequestCipher v1 -> ("RequestCipher", encodeValue (Json.Encode.string v1))
62 RequestCipher v1 -> ("RequestCipher", encodeValue (Json.Encode.string v1))
637− RequestTotp v1 -> ("RequestTotp", encodeValue (Json.Encode.string v1))
638 SendMasterPassword v1 -> ("SendMasterPassword", encodeValue (Json.Encode.string v1))
63 SendMasterPassword v1 -> ("SendMasterPassword", encodeValue (Json.Encode.string v1))
639− UpdateCipher v1 -> ("UpdateCipher", encodeValue (jsonEncFullCipher v1))
640 in encodeSumTaggedObject "tag" "contents" keyval val
64 in encodeSumTaggedObject "tag" "contents" keyval val
644−type alias FullCipher_collectionIds_List = (List String)
68+type alias Sub_LoadCipher_cipherType_CardCipher =
70+ , cardholderName: String
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)
646−jsonDecFullCipher_collectionIds_List : Json.Decode.Decoder ( FullCipher_collectionIds_List )
87+jsonEncSub_LoadCipher_cipherType_CardCipher : Sub_LoadCipher_cipherType_CardCipher -> Value
647−jsonDecFullCipher_collectionIds_List =
88+jsonEncSub_LoadCipher_cipherType_CardCipher val =
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)
100+type alias Sub_LoadCipher_cipherType_LoginCipher_uris_List = (List String)
102+jsonDecSub_LoadCipher_cipherType_LoginCipher_uris_List : Json.Decode.Decoder ( Sub_LoadCipher_cipherType_LoginCipher_uris_List )
103+jsonDecSub_LoadCipher_cipherType_LoginCipher_uris_List =
648 Json.Decode.list (Json.Decode.string)
104 Json.Decode.list (Json.Decode.string)
650−jsonEncFullCipher_collectionIds_List : FullCipher_collectionIds_List -> Value
106+jsonEncSub_LoadCipher_cipherType_LoginCipher_uris_List : Sub_LoadCipher_cipherType_LoginCipher_uris_List -> Value
651−jsonEncFullCipher_collectionIds_List val = (Json.Encode.list Json.Encode.string) val
107+jsonEncSub_LoadCipher_cipherType_LoginCipher_uris_List val = (Json.Encode.list Json.Encode.string) val
655−type alias FullCipher =
111+type alias Sub_LoadCipher_cipherType_LoginCipher =
656− { cipher: Cipher
112+ { password: String
657− , collectionIds: FullCipher_collectionIds_List
113+ , uris: Sub_LoadCipher_cipherType_LoginCipher_uris_List
660− , name: String
114+ , username: String
664−jsonDecFullCipher : Json.Decode.Decoder ( FullCipher )
117+jsonDecSub_LoadCipher_cipherType_LoginCipher : Json.Decode.Decoder ( Sub_LoadCipher_cipherType_LoginCipher )
665−jsonDecFullCipher =
118+jsonDecSub_LoadCipher_cipherType_LoginCipher =
666− Json.Decode.succeed (\pcipher pcollectionIds pfavorite pid pname preprompt -> {cipher = pcipher, collectionIds = pcollectionIds, favorite = pfavorite, id = pid, name = pname, reprompt = preprompt})
119+ Json.Decode.succeed (\ppassword puris pusername -> {password = ppassword, uris = puris, username = pusername})
667− |> required "cipher" (jsonDecCipher)
668− |> required "collectionIds" (jsonDecFullCipher_collectionIds_List)
669− |> required "favorite" (Json.Decode.bool)
670− |> required "id" (Json.Decode.string)
120+ |> required "password" (Json.Decode.string)
671− |> required "name" (Json.Decode.string)
121+ |> required "uris" (jsonDecSub_LoadCipher_cipherType_LoginCipher_uris_List)
672− |> required "reprompt" (Json.Decode.int)
122+ |> required "username" (Json.Decode.string)
674−jsonEncFullCipher : FullCipher -> Value
124+jsonEncSub_LoadCipher_cipherType_LoginCipher : Sub_LoadCipher_cipherType_LoginCipher -> Value
675−jsonEncFullCipher val =
125+jsonEncSub_LoadCipher_cipherType_LoginCipher val =
676 Json.Encode.object
126 Json.Encode.object
677− [ ("cipher", jsonEncCipher val.cipher)
127+ [ ("password", Json.Encode.string val.password)
678− , ("collectionIds", jsonEncFullCipher_collectionIds_List val.collectionIds)
128+ , ("uris", jsonEncSub_LoadCipher_cipherType_LoginCipher_uris_List val.uris)
679− , ("favorite", Json.Encode.bool val.favorite)
680− , ("id", Json.Encode.string val.id)
681− , ("name", Json.Encode.string val.name)
129+ , ("username", Json.Encode.string val.username)
682− , ("reprompt", Json.Encode.int val.reprompt)
687−type alias PasswordGeneratorConfig =
134+type Sub_LoadCipher_cipherType =
688− { ambiguous: Bool
135+ CardCipher Sub_LoadCipher_cipherType_CardCipher
689− , capitalize: Bool
136+ | LoginCipher Sub_LoadCipher_cipherType_LoginCipher
690− , includeNumber: Bool
137+ | NoteCipher String
692− , lowercase: Bool
139+jsonDecSub_LoadCipher_cipherType : Json.Decode.Decoder ( Sub_LoadCipher_cipherType )
693− , minLowercase: Int
140+jsonDecSub_LoadCipher_cipherType =
694− , minNumber: Int
141+ let jsonDecDictSub_LoadCipher_cipherType = Dict.fromList
695− , minSpecial: Int
142+ [ ("CardCipher", Json.Decode.lazy (\_ -> Json.Decode.map CardCipher (jsonDecSub_LoadCipher_cipherType_CardCipher)))
696− , minUppercase: Int
143+ , ("LoginCipher", Json.Decode.lazy (\_ -> Json.Decode.map LoginCipher (jsonDecSub_LoadCipher_cipherType_LoginCipher)))
697− , numWords: Int
144+ , ("NoteCipher", Json.Decode.lazy (\_ -> Json.Decode.map NoteCipher (Json.Decode.string)))
698− , number: Bool
145+ ]
699− , special: Bool
146+ jsonDecObjectSetSub_LoadCipher_cipherType = Set.fromList []
147+ in decodeSumTaggedObject "Sub_LoadCipher_cipherType" "tag" "contents" jsonDecDictSub_LoadCipher_cipherType jsonDecObjectSetSub_LoadCipher_cipherType
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
159+type alias Sub_LoadCipher =
160+ { cipherType: Sub_LoadCipher_cipherType
700− , type_: String
161+ , id: String
702− , wordSeparator: String
162+ , name: String
705−jsonDecPasswordGeneratorConfig : Json.Decode.Decoder ( PasswordGeneratorConfig )
165+jsonDecSub_LoadCipher : Json.Decode.Decoder ( Sub_LoadCipher )
706−jsonDecPasswordGeneratorConfig =
166+jsonDecSub_LoadCipher =
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})
167+ Json.Decode.succeed (\pcipherType pid pname -> {cipherType = pcipherType, id = pid, name = pname})
708− |> required "ambiguous" (Json.Decode.bool)
168+ |> required "cipherType" (jsonDecSub_LoadCipher_cipherType)
709− |> required "capitalize" (Json.Decode.bool)
169+ |> required "id" (Json.Decode.string)
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)
170+ |> required "name" (Json.Decode.string)
724−jsonEncPasswordGeneratorConfig : PasswordGeneratorConfig -> Value
172+jsonEncSub_LoadCipher : Sub_LoadCipher -> Value
725−jsonEncPasswordGeneratorConfig val =
173+jsonEncSub_LoadCipher val =
726 Json.Encode.object
174 Json.Encode.object
727− [ ("ambiguous", Json.Encode.bool val.ambiguous)
175+ [ ("cipherType", jsonEncSub_LoadCipher_cipherType val.cipherType)
728− , ("capitalize", Json.Encode.bool val.capitalize)
176+ , ("id", Json.Encode.string val.id)
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)
177+ , ("name", Json.Encode.string val.name)
746type alias Sub_LoadCiphers =
182type alias Sub_LoadCiphers =
747− { cipherType: CipherType
748− , date: String
183+ { date: String
749 , id: String
184 , id: String
750 , name: String
185 , name: String
753jsonDecSub_LoadCiphers : Json.Decode.Decoder ( Sub_LoadCiphers )
188jsonDecSub_LoadCiphers : Json.Decode.Decoder ( Sub_LoadCiphers )
754jsonDecSub_LoadCiphers =
189jsonDecSub_LoadCiphers =
755− Json.Decode.succeed (\pcipherType pdate pid pname -> {cipherType = pcipherType, date = pdate, id = pid, name = pname})
190+ Json.Decode.succeed (\pdate pid pname -> {date = pdate, id = pid, name = pname})
756− |> required "cipherType" (jsonDecCipherType)
757 |> required "date" (Json.Decode.string)
191 |> required "date" (Json.Decode.string)
758 |> required "id" (Json.Decode.string)
192 |> required "id" (Json.Decode.string)
759 |> required "name" (Json.Decode.string)
193 |> required "name" (Json.Decode.string)
@@ -761,8 +195,7 @@ jsonDecSub_LoadCiphers =
761jsonEncSub_LoadCiphers : Sub_LoadCiphers -> Value
195jsonEncSub_LoadCiphers : Sub_LoadCiphers -> Value
762jsonEncSub_LoadCiphers val =
196jsonEncSub_LoadCiphers val =
763 Json.Encode.object
197 Json.Encode.object
764− [ ("cipherType", jsonEncCipherType val.cipherType)
765− , ("date", Json.Encode.string val.date)
198+ [ ("date", Json.Encode.string val.date)
766 , ("id", Json.Encode.string val.id)
199 , ("id", Json.Encode.string val.id)
767 , ("name", Json.Encode.string val.name)
200 , ("name", Json.Encode.string val.name)
@@ -800,77 +233,25 @@ jsonEncSub_NeedsMasterPassword val =
803−type alias Sub_NeedsSecondFactor_List = (List TwoFactorProviderType)
805−jsonDecSub_NeedsSecondFactor_List : Json.Decode.Decoder ( Sub_NeedsSecondFactor_List )
806−jsonDecSub_NeedsSecondFactor_List =
807− Json.Decode.list (jsonDecTwoFactorProviderType)
809−jsonEncSub_NeedsSecondFactor_List : Sub_NeedsSecondFactor_List -> Value
810−jsonEncSub_NeedsSecondFactor_List val = (Json.Encode.list jsonEncTwoFactorProviderType) val
814−type alias Sub_Totp =
820−jsonDecSub_Totp : Json.Decode.Decoder ( Sub_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)
827−jsonEncSub_Totp : Sub_Totp -> Value
828−jsonEncSub_Totp val =
830− [ ("code", Json.Encode.string val.code)
831− , ("interval", Json.Encode.int val.interval)
832− , ("source", Json.Encode.string val.source)
837type Sub =
236type Sub =
839− | CipherChanged FullCipher
840− | CipherDeleted FullCipher
841− | Error String
237+ Error String
842− | GeneratedPassword String
843− | LoadCipher FullCipher
238+ | LoadCipher Sub_LoadCipher
844 | LoadCiphers Sub_LoadCiphers_List
239 | LoadCiphers Sub_LoadCiphers_List
845 | LoginSuccessful
240 | LoginSuccessful
846− | NeedsCaptcha String
847 | NeedsLogin
241 | NeedsLogin
848 | NeedsMasterPassword Sub_NeedsMasterPassword
242 | NeedsMasterPassword Sub_NeedsMasterPassword
849− | NeedsSecondFactor Sub_NeedsSecondFactor_List
850− | RecieveEmail String
855jsonDecSub : Json.Decode.Decoder ( Sub )
245jsonDecSub : Json.Decode.Decoder ( Sub )
856jsonDecSub =
246jsonDecSub =
857 let jsonDecDictSub = Dict.fromList
247 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)))
248+ [ ("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)))
249+ , ("LoadCipher", Json.Decode.lazy (\_ -> Json.Decode.map LoadCipher (jsonDecSub_LoadCipher)))
864 , ("LoadCiphers", Json.Decode.lazy (\_ -> Json.Decode.map LoadCiphers (jsonDecSub_LoadCiphers_List)))
250 , ("LoadCiphers", Json.Decode.lazy (\_ -> Json.Decode.map LoadCiphers (jsonDecSub_LoadCiphers_List)))
865 , ("LoginSuccessful", Json.Decode.lazy (\_ -> Json.Decode.succeed LoginSuccessful))
251 , ("LoginSuccessful", Json.Decode.lazy (\_ -> Json.Decode.succeed LoginSuccessful))
866− , ("NeedsCaptcha", Json.Decode.lazy (\_ -> Json.Decode.map NeedsCaptcha (Json.Decode.string)))
867 , ("NeedsLogin", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsLogin))
252 , ("NeedsLogin", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsLogin))
868 , ("NeedsMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map NeedsMasterPassword (jsonDecSub_NeedsMasterPassword)))
253 , ("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)))
871 , ("Reset", Json.Decode.lazy (\_ -> Json.Decode.succeed Reset))
254 , ("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))
875 jsonDecObjectSetSub = Set.fromList []
256 jsonDecObjectSetSub = Set.fromList []
876 in decodeSumTaggedObject "Sub" "tag" "contents" jsonDecDictSub jsonDecObjectSetSub
257 in decodeSumTaggedObject "Sub" "tag" "contents" jsonDecDictSub jsonDecObjectSetSub
@@ -878,50 +259,12 @@ jsonDecSub =
878jsonEncSub : Sub -> Value
259jsonEncSub : Sub -> Value
879jsonEncSub val =
260jsonEncSub val =
880 let keyval v = case v of
261 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))
884 Error v1 -> ("Error", encodeValue (Json.Encode.string v1))
262 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))
887 LoadCiphers v1 -> ("LoadCiphers", encodeValue (jsonEncSub_LoadCiphers_List v1))
264 LoadCiphers v1 -> ("LoadCiphers", encodeValue (jsonEncSub_LoadCiphers_List v1))
888 LoginSuccessful -> ("LoginSuccessful", encodeValue (Json.Encode.list identity []))
265 LoginSuccessful -> ("LoginSuccessful", encodeValue (Json.Encode.list identity []))
889− NeedsCaptcha v1 -> ("NeedsCaptcha", encodeValue (Json.Encode.string v1))
890 NeedsLogin -> ("NeedsLogin", encodeValue (Json.Encode.list identity []))
266 NeedsLogin -> ("NeedsLogin", encodeValue (Json.Encode.list identity []))
891 NeedsMasterPassword v1 -> ("NeedsMasterPassword", encodeValue (jsonEncSub_NeedsMasterPassword v1))
267 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))
894 Reset -> ("Reset", encodeValue (Json.Encode.list identity []))
268 Reset -> ("Reset", encodeValue (Json.Encode.list identity []))
895− Totp v1 -> ("Totp", encodeValue (jsonEncSub_Totp v1))
896− WrongPassword -> ("WrongPassword", encodeValue (Json.Encode.list identity []))
897 in encodeSumTaggedObject "tag" "contents" keyval val
269 in encodeSumTaggedObject "tag" "contents" keyval val
901−type TwoFactorProviderType =
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
916−jsonEncTwoFactorProviderType : TwoFactorProviderType -> Value
917−jsonEncTwoFactorProviderType val =
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"