mirror of
https://github.com/Orasund/elm-ui-widgets.git
synced 2024-11-30 03:33:36 +03:00
64 lines
3.2 KiB
Elm
64 lines
3.2 KiB
Elm
|
module VerifyExamples.Widget.Tab0 exposing (..)
|
||
|
|
|
||
|
|
-- This file got generated by [elm-verify-examples](https://github.com/stoeffel/elm-verify-examples).
|
||
|
|
-- Please don't modify this file by hand!
|
||
|
|
|
||
|
|
import Test
|
||
|
|
import Expect
|
||
|
|
|
||
|
|
import Widget exposing (..)
|
||
|
|
import Widget.Material as Material
|
||
|
|
import Element
|
||
|
|
|
||
|
|
type Msg =
|
||
|
|
ChangedTab Int
|
||
|
|
|
||
|
|
selected : Maybe Int
|
||
|
|
selected =
|
||
|
|
Just 0
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
spec0 : Test.Test
|
||
|
|
spec0 =
|
||
|
|
Test.test "#tab: \n\n Widget.tab (Material.tab Material.defaultPalette)\n { tabs =\n { selected = selected\n , options =\n [ 1, 2, 3 ]\n |> List.map\n (\\int ->\n { text = \"Tab \" ++ (int |> String.fromInt)\n , icon = always Element.none\n }\n )\n , onSelect =\n (\\s ->\n if s >= 0 && s <= 2 then\n Just (ChangedTab s)\n else\n Nothing\n )\n }\n , content =\n (\\s ->\n case s of\n Just 0 ->\n \"This is Tab 1\" |> Element.text\n Just 1 ->\n \"This is the second tab\" |> Element.text\n Just 2 ->\n \"The thrid and last tab\" |> Element.text\n _ ->\n \"Please select a tab\" |> Element.text\n )\n }\n |> always \"Ignore this line\"\n --> \"Ignore this line\"" <|
|
||
|
|
\() ->
|
||
|
|
Expect.equal
|
||
|
|
(
|
||
|
|
Widget.tab (Material.tab Material.defaultPalette)
|
||
|
|
{ tabs =
|
||
|
|
{ selected = selected
|
||
|
|
, options =
|
||
|
|
[ 1, 2, 3 ]
|
||
|
|
|> List.map
|
||
|
|
(\int ->
|
||
|
|
{ text = "Tab " ++ (int |> String.fromInt)
|
||
|
|
, icon = always Element.none
|
||
|
|
}
|
||
|
|
)
|
||
|
|
, onSelect =
|
||
|
|
(\s ->
|
||
|
|
if s >= 0 && s <= 2 then
|
||
|
|
Just (ChangedTab s)
|
||
|
|
else
|
||
|
|
Nothing
|
||
|
|
)
|
||
|
|
}
|
||
|
|
, content =
|
||
|
|
(\s ->
|
||
|
|
case s of
|
||
|
|
Just 0 ->
|
||
|
|
"This is Tab 1" |> Element.text
|
||
|
|
Just 1 ->
|
||
|
|
"This is the second tab" |> Element.text
|
||
|
|
Just 2 ->
|
||
|
|
"The thrid and last tab" |> Element.text
|
||
|
|
_ ->
|
||
|
|
"Please select a tab" |> Element.text
|
||
|
|
)
|
||
|
|
}
|
||
|
|
|> always "Ignore this line"
|
||
|
|
)
|
||
|
|
(
|
||
|
|
"Ignore this line"
|
||
|
|
)
|