···11+import formal/form.{type Form}
22+import rsvp
33+import translations.{type Translations}
44+55+pub type Msg {
66+ ApiReturnedTranslations(Result(Translations, rsvp.Error))
77+ LockScreenEnteredPin(Result(PinCodeFormData, Form(PinCodeFormData)))
88+ UserChangedLanguage(Language)
99+ LockNow
1010+}
1111+1212+// ------------------------------------------------------------------------------
1313+// keeping these here cause putting em in their own module seems silly atm ------
1414+// ------------------------------------------------------------------------------
1515+1616+/// A pin code consists of 6 digits
1717+/// This can be a household pin or a admin pin.
1818+pub type PinCode =
1919+ #(Int, Int, Int, Int, Int, Int)
2020+2121+pub type PinCodeFormData =
2222+ PinCode
2323+2424+pub type Language {
2525+ NlNl
2626+ EnGb
2727+}