@@ -698,41 +698,3 @@ instance HasValue (Dropdown t k) where
698698instance HasValue (Checkbox t) where
699699 type Value (Checkbox t) = Dynamic t Bool
700700 value = _checkbox_value
701−
702−{-
703−type family Controller sm t a where
704− Controller Edit t a = (a, Event t a) -- Initial value and setter
705− Controller View t a = Dynamic t a -- Value (always)
706−
707−type family Output sm t a where
708− Output Edit t a = Dynamic t a -- Value (always)
709− Output View t a = Event t a -- Requested changes
710−
711−data CheckboxConfig sm t
712− = CheckboxConfig { _checkbox_input :: Controller sm t Bool
713− , _checkbox_attributes :: Attributes
714− }
715−
716−instance Reflex t => Default (CheckboxConfig Edit t) where
717− def = CheckboxConfig (False, never) mempty
718−
719−data Checkbox sm t
720− = Checkbox { _checkbox_output :: Output sm t Bool
721− }
722−
723−data StateMode = Edit | View
724−
725−--TODO: There must be a more generic way to get this witness and allow us to case on the type-level StateMode
726−data StateModeWitness (sm :: StateMode) where
727− EditWitness :: StateModeWitness Edit
728− ViewWitness :: StateModeWitness View
729−
730−class HasStateModeWitness (sm :: StateMode) where
731− stateModeWitness :: StateModeWitness sm
732−
733−instance HasStateModeWitness Edit where
734− stateModeWitness = EditWitness
735−
736−instance HasStateModeWitness View where
737− stateModeWitness = ViewWitness
738−-}