From 127f9c3fe7190a4e5daebf63b6fad7dd75af3257 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Fri, 7 Jan 2022 19:35:38 +0100 Subject: ... --- src/Struct/Flags.elm | 3 ++- src/Struct/UI.elm | 6 ++++++ 2 files changed, 8 insertions(+), 1 deletion(-) (limited to 'src/Struct') diff --git a/src/Struct/Flags.elm b/src/Struct/Flags.elm index 43fc7c2..3614469 100644 --- a/src/Struct/Flags.elm +++ b/src/Struct/Flags.elm @@ -13,7 +13,8 @@ import List -------------------------------------------------------------------------------- type alias Type = { - url_parameters : (List (List String)) + url_parameters : (List (List String)), + random_number : Int } -------------------------------------------------------------------------------- diff --git a/src/Struct/UI.elm b/src/Struct/UI.elm index b3bdaae..108ab04 100644 --- a/src/Struct/UI.elm +++ b/src/Struct/UI.elm @@ -52,6 +52,12 @@ display_error : (Html.Html Struct.Event.Type) -> Type -> Type display_error html ui = {ui | displayed_errors = (List.append ui.displayed_errors [html])} +display_string_error : String -> Type -> Type +display_string_error string ui = + {ui | + displayed_errors = (List.append ui.displayed_errors [(Html.text string)]) + } + display_choice : Int -> (Html.Html Struct.Event.Type) -> Type -> Type display_choice ix html ui = {ui | displayed_choices = (List.append ui.displayed_choices [(ix, html)])} -- cgit v1.2.3-70-g09d2