{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE LambdaCase #-}
module Miso.UI.Checkbox
(
checkbox_
) where
import Miso
import qualified Miso.Html.Element as H
import qualified Miso.Html.Property as P
checkbox_ :: Component parent model action
checkbox_ :: forall parent model action. Component parent model action
checkbox_ = model
-> (action -> Effect parent model action)
-> (model -> View model action)
-> Component parent model action
forall model action parent.
model
-> (action -> Effect parent model action)
-> (model -> View model action)
-> Component parent model action
component model
forall a. HasCallStack => a
undefined action -> Effect parent model action
forall action parent model. action -> Effect parent model action
noop (View model action -> model -> View model action
forall a b. a -> b -> a
const View model action
forall model action. View model action
view_)
view_ :: View model action
view_ :: forall model action. View model action
view_ =
[Attribute action] -> [View model action] -> View model action
forall action model.
[Attribute action] -> [View model action] -> View model action
H.label_
[ MisoString -> Attribute action
forall action. MisoString -> Attribute action
P.class_ MisoString
"label gap-3" ]
[ [Attribute action] -> View model action
forall action model. [Attribute action] -> View model action
H.input_
[ MisoString -> Attribute action
forall action. MisoString -> Attribute action
P.type_ MisoString
"checkbox"
, MisoString -> Attribute action
forall action. MisoString -> Attribute action
P.class_ MisoString
"input"
]
, View model action
"Accept terms and conditions"
]