Reactor.Internal.Widget

data Ordering

Constructors

• First
• Last

data Importance

Constructors

• Primary
• Secondary
• Tertiary

data Widget

Currently we support two types of widgets: sections and labels. Those two differ only in the way they are rendered. We recommend using labels for presenting important dynamic information to the user, and using sections to give short, descriptive labels to these pieces of information.

Constructors

• Section { title :: String }
• Label { content :: String }

  Button { importance :: Importance, label :: String, action :: world -> world }