Polymorphic records for widget construction (#7)

* Remove the need for explicit use of `asOneOf` for constructing widget props

* Move all widgets into `AGS.Widgets.Internal`

* Fix implementation of `Widget.slider`

* Rename `mkWidgetWithUpdates` to `withUpdates`, export widgets' props types

* Update changelog

Author: postsolar

CHANGELOG.md

@@ -2,6 +2,13 @@
 
 ## Unreleased
 
+- Remove the need to wrap widget values with `asOneOf` (#7)
+Any of the input record fields can now be either `a` or `Binding a`, as long as props of the widget have that field as `ValueOrBinding a`.
+
+- Move all widgets into a single module (#7)
+Modules for individual widgets like `AGS.Widget.Button` are removed.
+Now widgets should only be imported from `AGS.widget`.
+
 - Make `Applications.matchAppName` return `Boolean` rather than `Effect Boolean`
 
 ## v0.1.0

src/AGS/Widget.purs

@@ -13,72 +13,73 @@ import AGS.Binding
   , overBoth
   , overValue
   ) as Exports
-import AGS.Widget.Box (BoxProps, UpdateBoxProps, box, box') as Exports
-import AGS.Widget.Button (ButtonProps, UpdateButtonProps, button, button') as Exports
-import AGS.Widget.CenterBox
-  ( CenterBoxProps
-  , UpdateCenterBoxProps
+import AGS.Widget.Internal
+  ( class ToValueOrBindingC
+  , AGSWidgetProps
+  , Any
+  , AnyF
+  , BoxProps
+  , ButtonProps
+  , CenterBoxProps
+  , CircularProgressProps
+  , EntryProps
+  , EventBoxProps
+  , IconProps
+  , LabelProps
+  , Mark
+  , MarkPosition
+  , MenuItemProps
+  , MenuProps
+  , MkWidget
+  , MkWidgetWithUpdates
+  , OverlayProps
+  , ProgressBarProps
+  , RevealerProps
+  , ScrollableProps
+  , SliderProps
+  , StackProps
+  , ToValueOrBinding
+  , box
+  , box'
+  , button
+  , button'
   , centerBox
   , centerBox'
-  ) as Exports
-import AGS.Widget.CircularProgress
-  ( CircularProgressProps
-  , UpdateCircularProgressProps
   , circularProgress
   , circularProgress'
-  ) as Exports
-import AGS.Widget.Entry (EntryProps, UpdateEntryProps, entry, entry') as Exports
-import AGS.Widget.EventBox
-  ( EventBoxProps
-  , UpdateEventBoxProps
+  , entry
+  , entry'
   , eventBox
   , eventBox'
-  ) as Exports
-import AGS.Widget.Icon (IconProps, UpdateIconProps, icon, icon') as Exports
-import AGS.Widget.Internal
-  ( AGSWidgetProps
-  , Any
-  , AnyF
+  , icon
+  , icon'
+  , label
+  , label'
+  , markPositionBottom
+  , markPositionLeft
+  , markPositionRight
+  , markPositionTop
+  , menu
+  , menu'
+  , menuItem
+  , menuItem'
   , mkAny
-  , unsafeWidgetUpdate
-  ) as Exports
-import AGS.Widget.Label (LabelProps, label, label') as Exports
-import AGS.Widget.Menu (MenuProps, UpdateMenuProps, menu, menu') as Exports
-import AGS.Widget.Menu.Item (MenuItem, MenuItemProps, menuItem, menuItemImpl) as Exports
-import AGS.Widget.Overlay (OverlayProps, UpdateOverlayProps, overlay, overlay') as Exports
-import AGS.Widget.ProgressBar
-  ( ProgressBarProps
-  , UpdateProgressBarProps
+  , overlay
+  , overlay'
   , progressBar
   , progressBar'
-  ) as Exports
-import AGS.Widget.Revealer
-  ( GtkRevealerTransitionType
-  , RevealerProps
-  , UpdateRevealerProps
+  , propsToValueOrBindings
   , revealer
   , revealer'
-  , transitions
-  ) as Exports
-import AGS.Widget.Scrollable
-  ( ScrollableProps
-  , UpdateScrollableProps
   , scrollable
   , scrollable'
-  ) as Exports
-import AGS.Widget.Slider
-  ( Mark
-  , MarkPosition
-  , SliderProps
-  , UpdateSliderProps
-  , markPositionBottom
-  , markPositionLeft
-  , markPositionRight
-  , markPositionTop
   , slider
   , slider'
+  , stack
+  , stack'
+  , toValueOrBinding
+  , withUpdates
   ) as Exports
-import AGS.Widget.Stack (StackProps, stack, stack') as Exports
 import AGS.Widget.Window (Window, WindowProps, window) as Exports
 import Effect (Effect)
 import Effect.Uncurried