@@ -35,6 +35,7 @@ type Cmd =
3535 Init
3636 | Login Cmd_Login
3737 | NeedCiphersList
38+ | NeedEmail
3839 | NeedsReset
3940 | RequestCipher String
4041 | SendMasterPassword String
@@ -45,6 +46,7 @@ jsonDecCmd =
4546 [ ("Init", Json.Decode.lazy (\_ -> Json.Decode.succeed Init))
4647 , ("Login", Json.Decode.lazy (\_ -> Json.Decode.map Login (jsonDecCmd_Login)))
4748 , ("NeedCiphersList", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedCiphersList))
49+ , ("NeedEmail", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedEmail))
4850 , ("NeedsReset", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsReset))
4951 , ("RequestCipher", Json.Decode.lazy (\_ -> Json.Decode.map RequestCipher (Json.Decode.string)))
5052 , ("SendMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map SendMasterPassword (Json.Decode.string)))
@@ -58,6 +60,7 @@ jsonEncCmd val =
5860 Init -> ("Init", encodeValue (Json.Encode.list identity []))
5961 Login v1 -> ("Login", encodeValue (jsonEncCmd_Login v1))
6062 NeedCiphersList -> ("NeedCiphersList", encodeValue (Json.Encode.list identity []))
63+ NeedEmail -> ("NeedEmail", encodeValue (Json.Encode.list identity []))
6164 NeedsReset -> ("NeedsReset", encodeValue (Json.Encode.list identity []))
6265 RequestCipher v1 -> ("RequestCipher", encodeValue (Json.Encode.string v1))
6366 SendMasterPassword v1 -> ("SendMasterPassword", encodeValue (Json.Encode.string v1))
@@ -621,6 +624,7 @@ type Sub =
621624 | LoginSuccessful
622625 | NeedsLogin
623626 | NeedsMasterPassword Sub_NeedsMasterPassword
627+ | RecieveEmail String
624628 | Reset
625629
626630jsonDecSub : Json.Decode.Decoder ( Sub )
@@ -632,6 +636,7 @@ jsonDecSub =
632636 , ("LoginSuccessful", Json.Decode.lazy (\_ -> Json.Decode.succeed LoginSuccessful))
633637 , ("NeedsLogin", Json.Decode.lazy (\_ -> Json.Decode.succeed NeedsLogin))
634638 , ("NeedsMasterPassword", Json.Decode.lazy (\_ -> Json.Decode.map NeedsMasterPassword (jsonDecSub_NeedsMasterPassword)))
639+ , ("RecieveEmail", Json.Decode.lazy (\_ -> Json.Decode.map RecieveEmail (Json.Decode.string)))
635640 , ("Reset", Json.Decode.lazy (\_ -> Json.Decode.succeed Reset))
636641 ]
637642 jsonDecObjectSetSub = Set.fromList []
@@ -646,6 +651,7 @@ jsonEncSub val =
646651 LoginSuccessful -> ("LoginSuccessful", encodeValue (Json.Encode.list identity []))
647652 NeedsLogin -> ("NeedsLogin", encodeValue (Json.Encode.list identity []))
648653 NeedsMasterPassword v1 -> ("NeedsMasterPassword", encodeValue (jsonEncSub_NeedsMasterPassword v1))
654+ RecieveEmail v1 -> ("RecieveEmail", encodeValue (Json.Encode.string v1))
649655 Reset -> ("Reset", encodeValue (Json.Encode.list identity []))
650656 in encodeSumTaggedObject "tag" "contents" keyval val
651657