diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-30 21:35:27 +0200 | 
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-30 21:35:27 +0200 | 
| commit | 833c42096eb8e479855bd4ca9ecbfe3bc08a1543 (patch) | |
| tree | 949d30840aa7e0a326550a2c18c11e1279f885f8 /src | |
| parent | 46955fc2f755b6cc1328d119c085352572d76b6f (diff) | |
Use blaze-html for markup
Diffstat (limited to 'src')
| -rw-r--r-- | src/Main.hs | 15 | 
1 files changed, 14 insertions, 1 deletions
| diff --git a/src/Main.hs b/src/Main.hs index 183b038..2a08285 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -23,6 +23,11 @@ import Erebos.Sync  import System.IO.Unsafe +import Text.Blaze.Html5 ((!)) +import Text.Blaze.Html5 qualified as H +import Text.Blaze.Html5.Attributes qualified as A +import Text.Blaze.Html.Renderer.String +  import JavaScript qualified as JS  import WebSocket @@ -43,7 +48,15 @@ foreign export javascript setup :: IO ()  setup :: IO ()  setup = do      body <- js_document_getElementById (toJSString "body") -    js_set_innerHTML body (toJSString "<div>Name: <span id=\"name_text\"></span></div><hr><input id=\"some_input\" type=\"text\" value=\"xyz\" /><button id=\"some_button\">add</button></div><div><ul id=\"some_list\"></ul></div>") +    js_set_innerHTML body $ toJSString $ renderHtml $ do +        H.div $ do +            "Name: " +            H.span ! A.id "name_text" $ return () +            H.hr +            H.input ! A.id "some_input" ! A.type_ "text" ! A.value "xyz" +            H.button ! A.id "some_button" $ "add" +        H.div $ do +            H.ul ! A.id "some_list" $ return ()      nameElem <- js_document_getElementById (toJSString "name_text")      _ <- watchHead globalHead $ \ls -> do |