From 1d49be1019d50e841a27701e728ed6da81adf1ad Mon Sep 17 00:00:00 2001
From: fanshi1028 <8843502+fanshi1028@users.noreply.github.com>
Date: Wed, 4 Feb 2026 16:58:05 +0800
Subject: [PATCH] Fix checkbox input to correctly set checked attribute

---
 src/Web/Hyperbole/HyperView/Forms.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Web/Hyperbole/HyperView/Forms.hs b/src/Web/Hyperbole/HyperView/Forms.hs
index ab57a3e..dbde846 100644
--- a/src/Web/Hyperbole/HyperView/Forms.hs
+++ b/src/Web/Hyperbole/HyperView/Forms.hs
@@ -250,7 +250,7 @@ input ft = do
 checkbox :: forall id a. Bool -> View (Input id a) ()
 checkbox isChecked = do
   inp :: Input id a <- viewId
-  tag "input" @ att "type" "checkbox" . name inp.inputName.value $ none @ checked isChecked
+  tag "input" @ att "type" "checkbox" . checked isChecked . name inp.inputName.value $ none
 
 
 -- NOTE: Radio is a special type of selection different from list type or