A music player that connects to your cloud/distributed storage.
1module UI.Navigation exposing (Action(..), Icon(..), Label(..), LabelType(..))
2
3import Html.Events.Extra.Mouse as Mouse
4import Material.Icons.Types exposing (Coloring)
5import Svg exposing (Svg)
6import UI.Page exposing (Page)
7
8
9
10-- 🌳
11
12
13type Action msg
14 = NavigateToPage Page
15 | OpenLinkInNewPage String
16 | PerformMsg msg
17 | PerformMsgWithMouseEvent (Mouse.Event -> msg)
18
19
20type Icon msg
21 = Icon (Int -> Coloring -> Svg msg)
22
23
24type Label
25 = Label String LabelType
26
27
28type LabelType
29 = Hidden
30 | Shown