Halogen.Widgets.Select

type Option = { label :: String, value :: String }

type OptionGroup = { label :: String, options :: Array Option }

A named group of options. The same data drives all three grouped presentations (see cascade): inline headers, or fly-out submenus.

type Input = { cascade :: Boolean, disabled :: Boolean, groups :: Array OptionGroup, options :: Array Option, placeholder :: String, searchable :: Boolean, selected :: Maybe String }

Two ways to supply options, and they coexist:

• options — a flat, un-headed list (the original surface).
• groups — named sections. When groups is non-empty the dropdown renders grouped; otherwise it falls back to the flat options. selected is still a single controlled value resolved across both sources.

cascade chooses the grouped presentation: false (default) is the inline grouped list; true is the fly-out submenu menu. No effect without groups.

data Output

Constructors

• Selected String

data Query a

Constructors

• Set (Maybe String) a

type Slot = Slot Query Output

component :: forall m. MonadAff m => Component Query Input Output m

defaultInput :: Array Option -> Input

The flat on-ramp, unchanged: groups defaults to [], so every existing caller compiles and behaves exactly as before.

groupedInput :: Array OptionGroup -> Input

The grouped on-ramp (inline list): named groups, headers over their leaves.

cascadingInput :: Array OptionGroup -> Input

The cascade on-ramp (fly-out submenus): named groups, each revealed as a side popup on hover/click/keyboard. Same controlled selected and Selected output as every other shape — only the panel interaction differs.