From 99eedc1c151af2338ef6ebd850315b0bdf2d6b08 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Sat, 22 Jul 2023 15:44:32 +0200 Subject: [PATCH] Bulma: code + text --- src/Bulma.purs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/Bulma.purs b/src/Bulma.purs index 5cec5cf..d888373 100644 --- a/src/Bulma.purs +++ b/src/Bulma.purs @@ -396,6 +396,12 @@ new_domain_field inputaction text selectaction accepted_domains -- [ render_input ispassword placeholder action value validity cond ] -- ] +code :: forall w i. String -> HH.HTML w i +code str = HH.code_ [ HH.text str ] + +text :: forall w i. String -> HH.HTML w i +text = HH.text + p :: forall w i. String -> HH.HTML w i p str = HH.p_ [ HH.text str ]