2020-04-01 02:09:09 +03:00
|
|
|
module Examples exposing (Msg, State, all)
|
2018-02-13 00:32:38 +03:00
|
|
|
|
2020-03-31 23:20:03 +03:00
|
|
|
import Example exposing (Example)
|
2020-03-31 21:31:14 +03:00
|
|
|
import Examples.Accordion as Accordion
|
2022-09-02 00:05:35 +03:00
|
|
|
import Examples.AnimatedIcon as AnimatedIcon
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.AssignmentIcon as AssignmentIcon
|
2021-09-29 00:21:09 +03:00
|
|
|
import Examples.Balloon as Balloon
|
2022-05-20 21:57:47 +03:00
|
|
|
import Examples.BreadCrumbs as BreadCrumbs
|
2020-03-31 22:05:56 +03:00
|
|
|
import Examples.Button as Button
|
2022-06-16 01:34:30 +03:00
|
|
|
import Examples.Carousel as Carousel
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.Checkbox as Checkbox
|
|
|
|
import Examples.ClickableSvg as ClickableSvg
|
|
|
|
import Examples.ClickableText as ClickableText
|
|
|
|
import Examples.Colors as Colors
|
2020-05-15 20:15:35 +03:00
|
|
|
import Examples.Confetti as Confetti
|
2021-10-13 20:44:03 +03:00
|
|
|
import Examples.Container as Container
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.DisclosureIndicator as DisclosureIndicator
|
2020-04-09 01:13:06 +03:00
|
|
|
import Examples.Divider as Divider
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.Fonts as Fonts
|
|
|
|
import Examples.Heading as Heading
|
2022-09-06 20:12:24 +03:00
|
|
|
import Examples.Highlighter as Highlighter
|
2020-04-03 04:13:29 +03:00
|
|
|
import Examples.Loading as Loading
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.Logo as Logo
|
2020-05-07 22:46:21 +03:00
|
|
|
import Examples.Menu as Menu
|
2020-04-28 00:35:33 +03:00
|
|
|
import Examples.Message as Message
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.Modal as Modal
|
|
|
|
import Examples.Page as Page
|
|
|
|
import Examples.Pennant as Pennant
|
2022-08-25 02:46:45 +03:00
|
|
|
import Examples.PremiumCheckbox as PremiumCheckbox
|
2020-07-30 21:12:30 +03:00
|
|
|
import Examples.RadioButton as RadioButton
|
2022-09-02 23:41:08 +03:00
|
|
|
import Examples.RingGauge as RingGauge
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.SegmentedControl as SegmentedControl
|
|
|
|
import Examples.Select as Select
|
2022-03-10 19:50:39 +03:00
|
|
|
import Examples.Shadows as Shadows
|
2022-03-11 02:39:37 +03:00
|
|
|
import Examples.SideNav as SideNav
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.SortableTable as SortableTable
|
2022-09-12 18:33:51 +03:00
|
|
|
import Examples.Spacing as Spacing
|
2022-01-18 21:36:20 +03:00
|
|
|
import Examples.Sprite as Sprite
|
2020-12-10 20:56:52 +03:00
|
|
|
import Examples.Switch as Switch
|
2020-03-31 22:43:32 +03:00
|
|
|
import Examples.Table as Table
|
|
|
|
import Examples.Tabs as Tabs
|
|
|
|
import Examples.Text as Text
|
|
|
|
import Examples.TextArea as TextArea
|
|
|
|
import Examples.TextInput as TextInput
|
|
|
|
import Examples.Tooltip as Tooltip
|
|
|
|
import Examples.UiIcon as UiIcon
|
2018-02-13 00:32:38 +03:00
|
|
|
|
|
|
|
|
2020-04-01 02:09:09 +03:00
|
|
|
all : List (Example State Msg)
|
|
|
|
all =
|
2020-04-01 02:30:18 +03:00
|
|
|
[ Accordion.example
|
|
|
|
|> Example.wrapMsg AccordionMsg
|
|
|
|
(\msg ->
|
2020-04-01 01:42:25 +03:00
|
|
|
case msg of
|
|
|
|
AccordionMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState AccordionState
|
|
|
|
(\msg ->
|
2020-04-01 01:42:25 +03:00
|
|
|
case msg of
|
|
|
|
AccordionState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-09-02 00:05:35 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, AnimatedIcon.example
|
|
|
|
|> Example.wrapMsg AnimatedIconMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
AnimatedIconMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState AnimatedIconState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
AnimatedIconState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 01:42:25 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, AssignmentIcon.example
|
|
|
|
|> Example.wrapMsg AssignmentIconMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
AssignmentIconMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState AssignmentIconState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
AssignmentIconState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2021-09-29 00:21:09 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Balloon.example
|
|
|
|
|> Example.wrapMsg BalloonMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
BalloonMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState BalloonState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
BalloonState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-05-20 21:57:47 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, BreadCrumbs.example
|
|
|
|
|> Example.wrapMsg BreadCrumbsMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
BreadCrumbsMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState BreadCrumbsState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
BreadCrumbsState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 01:42:25 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Button.example
|
|
|
|
|> Example.wrapMsg ButtonMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ButtonMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState ButtonState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ButtonState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-06-16 01:34:30 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Carousel.example
|
|
|
|
|> Example.wrapMsg CarouselMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
CarouselMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState CarouselState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
CarouselState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Checkbox.example
|
|
|
|
|> Example.wrapMsg CheckboxMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
CheckboxMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState CheckboxState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
CheckboxState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, ClickableSvg.example
|
|
|
|
|> Example.wrapMsg ClickableSvgMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ClickableSvgMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState ClickableSvgState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ClickableSvgState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, ClickableText.example
|
|
|
|
|> Example.wrapMsg ClickableTextMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ClickableTextMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState ClickableTextState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ClickableTextState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Colors.example
|
|
|
|
|> Example.wrapMsg ColorsMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ColorsMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState ColorsState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
ColorsState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-05-15 20:15:35 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Confetti.example
|
|
|
|
|> Example.wrapMsg ConfettiMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
ConfettiMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState ConfettiState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
ConfettiState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2021-10-13 20:44:03 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Container.example
|
|
|
|
|> Example.wrapMsg ContainerMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
ContainerMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState ContainerState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
ContainerState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, DisclosureIndicator.example
|
|
|
|
|> Example.wrapMsg DisclosureIndicatorMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
DisclosureIndicatorMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState DisclosureIndicatorState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
DisclosureIndicatorState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-09 01:13:06 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Divider.example
|
|
|
|
|> Example.wrapMsg DividerMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
DividerMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState DividerState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
DividerState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Fonts.example
|
|
|
|
|> Example.wrapMsg FontsMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
FontsMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState FontsState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
FontsState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Heading.example
|
|
|
|
|> Example.wrapMsg HeadingMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
HeadingMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState HeadingState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
HeadingState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-09-06 20:12:24 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Highlighter.example
|
|
|
|
|> Example.wrapMsg HighlighterMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
HighlighterMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState HighlighterState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
HighlighterState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-03 04:13:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Loading.example
|
|
|
|
|> Example.wrapMsg LoadingMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
LoadingMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState LoadingState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
LoadingState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Logo.example
|
|
|
|
|> Example.wrapMsg LogoMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
LogoMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState LogoState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
LogoState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-05-07 22:46:21 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Menu.example
|
|
|
|
|> Example.wrapMsg MenuMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
MenuMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState MenuState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
MenuState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-28 00:35:33 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Message.example
|
|
|
|
|> Example.wrapMsg MessageMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
MessageMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState MessageState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
MessageState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Modal.example
|
|
|
|
|> Example.wrapMsg ModalMsg
|
|
|
|
(\msg ->
|
2020-04-01 01:42:25 +03:00
|
|
|
case msg of
|
|
|
|
ModalMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState ModalState
|
|
|
|
(\msg ->
|
2020-04-01 01:42:25 +03:00
|
|
|
case msg of
|
|
|
|
ModalState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Page.example
|
|
|
|
|> Example.wrapMsg PageMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
PageMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState PageState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
PageState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Pennant.example
|
|
|
|
|> Example.wrapMsg PennantMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
PennantMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState PennantState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
PennantState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-08-25 02:46:45 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, PremiumCheckbox.example
|
|
|
|
|> Example.wrapMsg PremiumCheckboxMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
PremiumCheckboxMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState PremiumCheckboxState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
PremiumCheckboxState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-07-30 21:12:30 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, RadioButton.example
|
|
|
|
|> Example.wrapMsg RadioButtonMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
RadioButtonMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState RadioButtonState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
RadioButtonState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-09-02 23:41:08 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, RingGauge.example
|
|
|
|
|> Example.wrapMsg RingGaugeMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
RingGaugeMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState RingGaugeState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
RingGaugeState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, SegmentedControl.example
|
|
|
|
|> Example.wrapMsg SegmentedControlMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
SegmentedControlMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState SegmentedControlState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
SegmentedControlState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Select.example
|
|
|
|
|> Example.wrapMsg SelectMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
SelectMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState SelectState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
SelectState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-03-10 19:50:39 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Shadows.example
|
|
|
|
|> Example.wrapMsg ShadowsMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
ShadowsMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState ShadowsState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
ShadowsState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-03-11 02:39:37 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, SideNav.example
|
|
|
|
|> Example.wrapMsg SideNavMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SideNavMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState SideNavState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SideNavState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, SortableTable.example
|
|
|
|
|> Example.wrapMsg SortableTableMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
SortableTableMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState SortableTableState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
SortableTableState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-09-12 18:33:51 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Spacing.example
|
|
|
|
|> Example.wrapMsg SpacingMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SpacingMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState SpacingState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SpacingState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2022-01-18 21:36:20 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Sprite.example
|
|
|
|
|> Example.wrapMsg SpriteMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SpriteMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState SpriteState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SpriteState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-12-10 20:56:52 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
, Switch.example
|
|
|
|
|> Example.wrapMsg SwitchMsg
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SwitchMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
)
|
|
|
|
|> Example.wrapState SwitchState
|
|
|
|
(\msg ->
|
|
|
|
case msg of
|
|
|
|
SwitchState childState ->
|
|
|
|
Just childState
|
|
|
|
|
2020-04-01 02:00:29 +03:00
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Table.example
|
|
|
|
|> Example.wrapMsg TableMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TableMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState TableState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TableState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Tabs.example
|
|
|
|
|> Example.wrapMsg TabsMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TabsMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState TabsState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TabsState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Text.example
|
|
|
|
|> Example.wrapMsg TextMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TextMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState TextState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TextState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, TextArea.example
|
|
|
|
|> Example.wrapMsg TextAreaMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TextAreaMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState TextAreaState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TextAreaState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, TextInput.example
|
|
|
|
|> Example.wrapMsg TextInputMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TextInputMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState TextInputState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TextInputState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, Tooltip.example
|
|
|
|
|> Example.wrapMsg TooltipMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TooltipMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState TooltipState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
TooltipState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
, UiIcon.example
|
|
|
|
|> Example.wrapMsg UiIconMsg
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
UiIconMsg childMsg ->
|
|
|
|
Just childMsg
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
|
|
|
|> Example.wrapState UiIconState
|
|
|
|
(\msg ->
|
2020-04-01 02:00:29 +03:00
|
|
|
case msg of
|
|
|
|
UiIconState childState ->
|
|
|
|
Just childState
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
2020-04-01 02:30:18 +03:00
|
|
|
)
|
2020-04-01 01:26:05 +03:00
|
|
|
]
|
2018-02-13 00:32:38 +03:00
|
|
|
|
|
|
|
|
2020-04-01 01:16:10 +03:00
|
|
|
type State
|
|
|
|
= AccordionState Accordion.State
|
2022-09-02 00:05:35 +03:00
|
|
|
| AnimatedIconState AnimatedIcon.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| AssignmentIconState AssignmentIcon.State
|
2021-09-29 00:21:09 +03:00
|
|
|
| BalloonState Balloon.State
|
2022-05-20 21:57:47 +03:00
|
|
|
| BreadCrumbsState BreadCrumbs.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| ButtonState Button.State
|
2022-06-16 01:34:30 +03:00
|
|
|
| CarouselState Carousel.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| CheckboxState Checkbox.State
|
|
|
|
| ClickableSvgState ClickableSvg.State
|
|
|
|
| ClickableTextState ClickableText.State
|
|
|
|
| ColorsState Colors.State
|
2020-05-15 20:15:35 +03:00
|
|
|
| ConfettiState Confetti.State
|
2021-10-13 20:44:03 +03:00
|
|
|
| ContainerState Container.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| DisclosureIndicatorState DisclosureIndicator.State
|
2020-04-09 01:13:06 +03:00
|
|
|
| DividerState Divider.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| FontsState Fonts.State
|
|
|
|
| HeadingState Heading.State
|
2022-09-06 20:12:24 +03:00
|
|
|
| HighlighterState Highlighter.State
|
2020-04-03 04:13:29 +03:00
|
|
|
| LoadingState Loading.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| LogoState Logo.State
|
2020-05-07 22:46:21 +03:00
|
|
|
| MenuState Menu.State
|
2020-04-28 00:35:33 +03:00
|
|
|
| MessageState Message.State
|
2020-04-01 01:16:10 +03:00
|
|
|
| ModalState Modal.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| PageState Page.State
|
|
|
|
| PennantState Pennant.State
|
2022-08-25 02:46:45 +03:00
|
|
|
| PremiumCheckboxState PremiumCheckbox.State
|
2020-07-30 21:12:30 +03:00
|
|
|
| RadioButtonState RadioButton.State
|
2022-09-02 23:41:08 +03:00
|
|
|
| RingGaugeState RingGauge.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| SegmentedControlState SegmentedControl.State
|
|
|
|
| SelectState Select.State
|
2022-03-10 19:50:39 +03:00
|
|
|
| ShadowsState Shadows.State
|
2022-03-11 02:39:37 +03:00
|
|
|
| SideNavState SideNav.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| SortableTableState SortableTable.State
|
2022-09-12 18:33:51 +03:00
|
|
|
| SpacingState Spacing.State
|
2022-01-18 21:36:20 +03:00
|
|
|
| SpriteState Sprite.State
|
2020-12-10 20:56:52 +03:00
|
|
|
| SwitchState Switch.State
|
2020-04-01 02:00:29 +03:00
|
|
|
| TableState Table.State
|
|
|
|
| TabsState Tabs.State
|
|
|
|
| TextState Text.State
|
|
|
|
| TextAreaState TextArea.State
|
|
|
|
| TextInputState TextInput.State
|
|
|
|
| TooltipState Tooltip.State
|
|
|
|
| UiIconState UiIcon.State
|
2020-04-01 01:16:10 +03:00
|
|
|
|
|
|
|
|
2020-04-01 02:09:09 +03:00
|
|
|
type Msg
|
2020-03-31 22:05:56 +03:00
|
|
|
= AccordionMsg Accordion.Msg
|
2022-09-02 00:05:35 +03:00
|
|
|
| AnimatedIconMsg AnimatedIcon.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| AssignmentIconMsg AssignmentIcon.Msg
|
2021-09-29 00:21:09 +03:00
|
|
|
| BalloonMsg Balloon.Msg
|
2022-05-20 21:57:47 +03:00
|
|
|
| BreadCrumbsMsg BreadCrumbs.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| ButtonMsg Button.Msg
|
2022-06-16 01:34:30 +03:00
|
|
|
| CarouselMsg Carousel.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| CheckboxMsg Checkbox.Msg
|
|
|
|
| ClickableSvgMsg ClickableSvg.Msg
|
|
|
|
| ClickableTextMsg ClickableText.Msg
|
|
|
|
| ColorsMsg Colors.Msg
|
2020-05-15 20:15:35 +03:00
|
|
|
| ConfettiMsg Confetti.Msg
|
2021-10-13 20:44:03 +03:00
|
|
|
| ContainerMsg Container.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| DisclosureIndicatorMsg DisclosureIndicator.Msg
|
2020-04-09 01:13:06 +03:00
|
|
|
| DividerMsg Divider.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| FontsMsg Fonts.Msg
|
|
|
|
| HeadingMsg Heading.Msg
|
2022-09-06 20:12:24 +03:00
|
|
|
| HighlighterMsg Highlighter.Msg
|
2020-04-03 04:13:29 +03:00
|
|
|
| LoadingMsg Loading.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| LogoMsg Logo.Msg
|
2020-05-07 22:46:21 +03:00
|
|
|
| MenuMsg Menu.Msg
|
2020-04-28 00:35:33 +03:00
|
|
|
| MessageMsg Message.Msg
|
2020-03-31 22:48:26 +03:00
|
|
|
| ModalMsg Modal.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| PageMsg Page.Msg
|
|
|
|
| PennantMsg Pennant.Msg
|
2022-08-25 02:46:45 +03:00
|
|
|
| PremiumCheckboxMsg PremiumCheckbox.Msg
|
2020-07-30 21:12:30 +03:00
|
|
|
| RadioButtonMsg RadioButton.Msg
|
2022-09-02 23:41:08 +03:00
|
|
|
| RingGaugeMsg RingGauge.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| SegmentedControlMsg SegmentedControl.Msg
|
|
|
|
| SelectMsg Select.Msg
|
2022-03-10 19:50:39 +03:00
|
|
|
| ShadowsMsg Shadows.Msg
|
2022-03-11 02:39:37 +03:00
|
|
|
| SideNavMsg SideNav.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| SortableTableMsg SortableTable.Msg
|
2022-09-12 18:33:51 +03:00
|
|
|
| SpacingMsg Spacing.Msg
|
2022-01-18 21:36:20 +03:00
|
|
|
| SpriteMsg Sprite.Msg
|
2020-12-10 20:56:52 +03:00
|
|
|
| SwitchMsg Switch.Msg
|
2020-04-01 02:00:29 +03:00
|
|
|
| TableMsg Table.Msg
|
|
|
|
| TabsMsg Tabs.Msg
|
|
|
|
| TextMsg Text.Msg
|
|
|
|
| TextAreaMsg TextArea.Msg
|
|
|
|
| TextInputMsg TextInput.Msg
|
|
|
|
| TooltipMsg Tooltip.Msg
|
|
|
|
| UiIconMsg UiIcon.Msg
|