2727
2828 , [ h2_ " Disabled"
2929 , example
30- $ button defaults { title = " Button" , buttonState = Just $ Disabled }
30+ $ button defaults { title = " Button" , buttonState = Disabled }
3131 ]
3232
3333 , [ h2_ " Size"
5656 ]
5757 , [ h4_ " Primary + Disabled"
5858 , example
59- $ button primary { title = " Button" , buttonState = Just $ Disabled }
59+ $ button primary { title = " Button" , buttonState = Disabled }
6060 ]
6161 , [ h4_ " Secondary Medium (default)"
6262 , example
7676 ]
7777 , [ h4_ " Secondary + Disabled"
7878 , example
79- $ button secondary { title = " Button" , buttonState = Just $ Disabled }
79+ $ button secondary { title = " Button" , buttonState = Disabled }
8080 ]
8181 , [ h4_ " Icon button"
8282 , example
@@ -100,19 +100,19 @@ docs =
100100 ]
101101 , [ h4_ " Loading (Medium/default)"
102102 , example
103- $ button primary { buttonState = Just $ Loading }
103+ $ button primary { buttonState = Loading }
104104 ]
105105 , [ h4_ " Loading (Small) "
106106 , example
107- $ button primary { buttonState = Just $ Loading , size = Small }
107+ $ button primary { buttonState = Loading , size = Small }
108108 ]
109109 , [ h4_ " Loading (Large) "
110110 , example
111- $ button primary { buttonState = Just $ Loading , size = Large }
111+ $ button primary { buttonState = Loading , size = Large }
112112 ]
113113 , [ h4_ " Loading (ExtraLarge) "
114114 , example
115- $ button primary { buttonState = Just $ Loading , size = ExtraLarge }
115+ $ button primary { buttonState = Loading , size = ExtraLarge }
116116 ]
117117 ]
118118
0 commit comments