2021-11-06 01:04:14 +03:00
|
|
|
module Routes exposing (Route(..), fromLocation, toString)
|
2018-02-13 00:32:38 +03:00
|
|
|
|
2020-03-24 03:33:42 +03:00
|
|
|
import Category
|
2018-12-05 21:56:04 +03:00
|
|
|
import Parser exposing ((|.), (|=), Parser)
|
2018-12-05 01:36:15 +03:00
|
|
|
import Url exposing (Url)
|
2018-02-13 00:32:38 +03:00
|
|
|
|
|
|
|
|
|
|
|
type Route
|
|
|
|
= Doodad String
|
2020-03-24 03:33:42 +03:00
|
|
|
| Category Category.Category
|
2018-02-13 00:32:38 +03:00
|
|
|
| All
|
|
|
|
|
|
|
|
|
2021-11-06 01:04:14 +03:00
|
|
|
toString : Route -> String
|
|
|
|
toString route_ =
|
|
|
|
case route_ of
|
|
|
|
Doodad exampleName ->
|
|
|
|
"#/doodad/" ++ exampleName
|
|
|
|
|
|
|
|
Category c ->
|
|
|
|
"#/category/" ++ Debug.toString c
|
|
|
|
|
|
|
|
All ->
|
2021-11-06 01:16:54 +03:00
|
|
|
"#/"
|
2021-11-06 01:04:14 +03:00
|
|
|
|
|
|
|
|
2018-12-05 21:56:04 +03:00
|
|
|
route : Parser Route
|
2018-02-13 00:32:38 +03:00
|
|
|
route =
|
2018-12-05 21:56:04 +03:00
|
|
|
Parser.oneOf
|
|
|
|
[ Parser.succeed Category
|
2020-03-24 23:05:30 +03:00
|
|
|
|. Parser.token "/category/"
|
2018-12-08 01:16:00 +03:00
|
|
|
|= (restOfPath |> Parser.andThen category)
|
2018-12-05 21:56:04 +03:00
|
|
|
, Parser.succeed Doodad
|
2020-03-24 23:05:30 +03:00
|
|
|
|. Parser.token "/doodad/"
|
2018-12-08 01:16:00 +03:00
|
|
|
|= restOfPath
|
2018-12-05 21:56:04 +03:00
|
|
|
, Parser.succeed All
|
2018-02-13 00:32:38 +03:00
|
|
|
]
|
|
|
|
|
|
|
|
|
2018-12-08 01:16:00 +03:00
|
|
|
restOfPath : Parser String
|
|
|
|
restOfPath =
|
|
|
|
Parser.getChompedString (Parser.chompWhile (always True))
|
2018-12-05 21:56:04 +03:00
|
|
|
|
|
|
|
|
2020-03-24 03:33:42 +03:00
|
|
|
category : String -> Parser Category.Category
|
2018-12-05 21:56:04 +03:00
|
|
|
category string =
|
2020-03-24 03:33:42 +03:00
|
|
|
case Category.fromString string of
|
2018-12-05 21:56:04 +03:00
|
|
|
Ok c ->
|
|
|
|
Parser.succeed c
|
|
|
|
|
|
|
|
Err e ->
|
|
|
|
Parser.problem e
|
2018-02-13 00:32:38 +03:00
|
|
|
|
|
|
|
|
2018-12-05 01:36:15 +03:00
|
|
|
fromLocation : Url -> Route
|
2018-02-13 00:32:38 +03:00
|
|
|
fromLocation location =
|
2020-03-24 23:05:30 +03:00
|
|
|
location.fragment
|
|
|
|
|> Maybe.withDefault ""
|
|
|
|
|> Parser.run route
|
2018-12-05 21:56:04 +03:00
|
|
|
|> Result.withDefault All
|