@@ -35,6 +35,7 @@ type Cmd =
36 | Login Cmd_Login
36 | Login Cmd_Login
37 | NeedCiphersList
37 | NeedCiphersList
38 | NeedsReset
39 | NeedsReset
39 | RequestCipher String
40 | RequestCipher String
40 | SendMasterPassword String
41 | SendMasterPassword String
@@ -45,6 +46,7 @@ jsonDecCmd =
45 [ ("Init", Json.Decode.lazy (\_ -> Json.Decode.succeed Init))
46 [ ("Init", Json.Decode.lazy (\_ -> Json.Decode.succeed Init))
46 , ("Login", Json.Decode.lazy (\_ -> Json.Decode.map Login (jsonDecCmd_Login)))
47 , ("Login", Json.Decode.lazy (\_ -> Json.Decode.map Login (jsonDecCmd_Login)))
47 , ("NeedCiphersList", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedCiphersList))
48 , ("NeedCiphersList", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedCiphersList))
49+ , ("NeedEmail", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedEmail))
48 , ("NeedsReset", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsReset))
50 , ("NeedsReset", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsReset))
49 , ("RequestCipher", Json.Decode.lazy (\_ -> Json.Decode.map RequestCipher (Json.Decode.string)))
51 , ("RequestCipher", Json.Decode.lazy (\_ -> Json.Decode.map RequestCipher (Json.Decode.string)))
50 , ("SendMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map SendMasterPassword (Json.Decode.string)))
52 , ("SendMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map SendMasterPassword (Json.Decode.string)))
@@ -58,6 +60,7 @@ jsonEncCmd val =
58 Init -> ("Init", encodeValue (Json.Encode.list identity []))
60 Init -> ("Init", encodeValue (Json.Encode.list identity []))
59 Login v1 -> ("Login", encodeValue (jsonEncCmd_Login v1))
61 Login v1 -> ("Login", encodeValue (jsonEncCmd_Login v1))
60 NeedCiphersList -> ("NeedCiphersList", encodeValue (Json.Encode.list identity []))
62 NeedCiphersList -> ("NeedCiphersList", encodeValue (Json.Encode.list identity []))
63+ NeedEmail -> ("NeedEmail", encodeValue (Json.Encode.list identity []))
61 NeedsReset -> ("NeedsReset", encodeValue (Json.Encode.list identity []))
64 NeedsReset -> ("NeedsReset", encodeValue (Json.Encode.list identity []))
62 RequestCipher v1 -> ("RequestCipher", encodeValue (Json.Encode.string v1))
65 RequestCipher v1 -> ("RequestCipher", encodeValue (Json.Encode.string v1))
63 SendMasterPassword v1 -> ("SendMasterPassword", encodeValue (Json.Encode.string v1))
66 SendMasterPassword v1 -> ("SendMasterPassword", encodeValue (Json.Encode.string v1))
@@ -621,6 +624,7 @@ type Sub =
621 | LoginSuccessful
624 | LoginSuccessful
622 | NeedsLogin
625 | NeedsLogin
623 | NeedsMasterPassword Sub_NeedsMasterPassword
626 | NeedsMasterPassword Sub_NeedsMasterPassword
627+ | RecieveEmail String
626jsonDecSub : Json.Decode.Decoder ( Sub )
630jsonDecSub : Json.Decode.Decoder ( Sub )
@@ -632,6 +636,7 @@ jsonDecSub =
632 , ("LoginSuccessful", Json.Decode.lazy (\_ -> Json.Decode.succeed LoginSuccessful))
636 , ("LoginSuccessful", Json.Decode.lazy (\_ -> Json.Decode.succeed LoginSuccessful))
633 , ("NeedsLogin", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsLogin))
637 , ("NeedsLogin", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsLogin))
634 , ("NeedsMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map NeedsMasterPassword (jsonDecSub_NeedsMasterPassword)))
638 , ("NeedsMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map NeedsMasterPassword (jsonDecSub_NeedsMasterPassword)))
639+ , ("RecieveEmail", Json.Decode.lazy (\_ -> Json.Decode.map RecieveEmail (Json.Decode.string)))
635 , ("Reset", Json.Decode.lazy (\_ -> Json.Decode.succeed Reset))
640 , ("Reset", Json.Decode.lazy (\_ -> Json.Decode.succeed Reset))
637 jsonDecObjectSetSub = Set.fromList []
642 jsonDecObjectSetSub = Set.fromList []
@@ -646,6 +651,7 @@ jsonEncSub val =
646 LoginSuccessful -> ("LoginSuccessful", encodeValue (Json.Encode.list identity []))
651 LoginSuccessful -> ("LoginSuccessful", encodeValue (Json.Encode.list identity []))
647 NeedsLogin -> ("NeedsLogin", encodeValue (Json.Encode.list identity []))
652 NeedsLogin -> ("NeedsLogin", encodeValue (Json.Encode.list identity []))
648 NeedsMasterPassword v1 -> ("NeedsMasterPassword", encodeValue (jsonEncSub_NeedsMasterPassword v1))
653 NeedsMasterPassword v1 -> ("NeedsMasterPassword", encodeValue (jsonEncSub_NeedsMasterPassword v1))
654+ RecieveEmail v1 -> ("RecieveEmail", encodeValue (Json.Encode.string v1))
649 Reset -> ("Reset", encodeValue (Json.Encode.list identity []))
655 Reset -> ("Reset", encodeValue (Json.Encode.list identity []))
650 in encodeSumTaggedObject "tag" "contents" keyval val
656 in encodeSumTaggedObject "tag" "contents" keyval val