Narrowing-types_scaling_elm_apps

reusable-ui-checkbox-example.elm

-- наш чекбокс (стандартный input type="checkbox")
checkbox : (Bool -> msg) -> Bool -> Html msg
checkbox toMsg isChecked =
  input
    [ type_ "checkbox"
    , checked isChecked
    , onCheck toMsg
    ]
    []
    

-- чекбокс из bootstrap (div под капотом), такое же API: (Bool -> msg) -> Bool -> Html msg
checkbox : (Bool -> msg) -> Bool -> Html msg
checkbox toMsg isChecked =
  div
    [ classList [ ( "chk", isChecked ) ]
    , onClick (toMsg (not isChecked))
    ]
    []