From 2b8c852d342d36ac34f0ccd2b0de0786828e8790 Mon Sep 17 00:00:00 2001
From: Ed Schouten <ed.schouten@prodrive-technologies.com>
Date: Thu, 11 Apr 2019 09:21:27 +0200
Subject: [PATCH 1/2] Remove the unused 'visited' field from the parser state.

The parser state is not exposed by this module. Considering that nothing
in the parser relies on it, we can safely omit it.
---
 src/Url/Parser.elm | 29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

diff --git a/src/Url/Parser.elm b/src/Url/Parser.elm
index e3f1ec3..4a9f4c9 100644
--- a/src/Url/Parser.elm
+++ b/src/Url/Parser.elm
@@ -61,8 +61,7 @@ type Parser a b =
 
 
 type alias State value =
-  { visited : List String
-  , unvisited : List String
+  { unvisited : List String
   , params : Dict String (List String)
   , frag : Maybe String
   , value : value
@@ -111,14 +110,14 @@ The path segment must be an exact match!
 -}
 s : String -> Parser a a
 s str =
-  Parser <| \{ visited, unvisited, params, frag, value } ->
+  Parser <| \{ unvisited, params, frag, value } ->
     case unvisited of
       [] ->
         []
 
       next :: rest ->
         if next == str then
-          [ State (next :: visited) rest params frag value ]
+          [ State rest params frag value ]
 
         else
           []
@@ -143,7 +142,7 @@ You can use it to define something like “only CSS files” like this:
 -}
 custom : String -> (String -> Maybe a) -> Parser (a -> b) b
 custom tipe stringToSomething =
-  Parser <| \{ visited, unvisited, params, frag, value } ->
+  Parser <| \{ unvisited, params, frag, value } ->
     case unvisited of
       [] ->
         []
@@ -151,7 +150,7 @@ custom tipe stringToSomething =
       next :: rest ->
         case stringToSomething next of
           Just nextValue ->
-            [ State (next :: visited) rest params frag (value nextValue) ]
+            [ State rest params frag (value nextValue) ]
 
           Nothing ->
             []
@@ -205,14 +204,14 @@ slash (Parser parseBefore) (Parser parseAfter) =
 -}
 map : a -> Parser a b -> Parser (b -> c) c
 map subValue (Parser parseArg) =
-  Parser <| \{ visited, unvisited, params, frag, value } ->
+  Parser <| \{ unvisited, params, frag, value } ->
     List.map (mapState value) <| parseArg <|
-      State visited unvisited params frag subValue
+      State unvisited params frag subValue
 
 
 mapState : (a -> b) -> State a -> State b
-mapState func { visited, unvisited, params, frag, value } =
-  State visited unvisited params frag (func value)
+mapState func { unvisited, params, frag, value } =
+  State unvisited params frag (func value)
 
 
 {-| Try a bunch of different path parsers.
@@ -321,8 +320,8 @@ segments.
 -}
 query : Query.Parser query -> Parser (query -> a) a
 query (Q.Parser queryParser) =
-  Parser <| \{ visited, unvisited, params, frag, value } ->
-    [ State visited unvisited params frag (value (queryParser params))
+  Parser <| \{ unvisited, params, frag, value } ->
+    [ State unvisited params frag (value (queryParser params))
     ]
 
 
@@ -350,8 +349,8 @@ be handy for handling links to DOM elements within a page. Pages like this one!
 -}
 fragment : (Maybe String -> fragment) -> Parser (fragment -> a) a
 fragment toFrag =
-  Parser <| \{ visited, unvisited, params, frag, value } ->
-    [ State visited unvisited params frag (value (toFrag frag))
+  Parser <| \{ unvisited, params, frag, value } ->
+    [ State unvisited params frag (value (toFrag frag))
     ]
 
 
@@ -402,7 +401,7 @@ the initial URL and any changes.
 parse : Parser (a -> a) a -> Url -> Maybe a
 parse (Parser parser) url =
   getFirstMatch <| parser <|
-    State [] (preparePath url.path) (prepareQuery url.query) url.fragment identity
+    State (preparePath url.path) (prepareQuery url.query) url.fragment identity
 
 
 getFirstMatch : List (State a) -> Maybe a

From a7d731a61e86d2ae3c634ab3ea1caef2f3b1014c Mon Sep 17 00:00:00 2001
From: Ed Schouten <ed.schouten@prodrive-technologies.com>
Date: Thu, 11 Apr 2019 09:26:06 +0200
Subject: [PATCH 2/2] Add a function for parsing all remaining path segments.

Having an operation like this is useful for cases where you need to
forward/process arbitrary requests for a certain path prefix.

Fixes: #9
---
 src/Url/Parser.elm | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

diff --git a/src/Url/Parser.elm b/src/Url/Parser.elm
index 4a9f4c9..4e94e08 100644
--- a/src/Url/Parser.elm
+++ b/src/Url/Parser.elm
@@ -1,6 +1,6 @@
 module Url.Parser exposing
   ( Parser, string, int, s
-  , (</>), map, oneOf, top, custom
+  , (</>), map, oneOf, top, custom, remainder
   , (<?>), query
   , fragment
   , parse
@@ -23,7 +23,7 @@ This module is primarily for parsing the `path` part.
 @docs Parser, string, int, s
 
 # Path
-@docs (</>), map, oneOf, top, custom
+@docs (</>), map, oneOf, top, custom, remainder
 
 # Query
 @docs (<?>), query
@@ -156,6 +156,24 @@ custom tipe stringToSomething =
             []
 
 
+{-| Parse all remaining path segments as a `List String`.
+
+    blog : Parser (List String -> a) a
+    blog =
+      s "blog" </> remainder
+
+    -- /blog              ==>  Just []
+    -- /blog/hello        ==>  Just [ "hello" ]
+    -- /blog/hello/world  ==>  Just [ "hello", "world" ]
+    -- /foo/bar           ==>  Nothing
+-}
+remainder : Parser (List String -> a) a
+remainder =
+    Parser <|
+        \{ unvisited, params, frag, value } ->
+            [ State [] params frag (value unvisited) ]
+
+
 
 -- COMBINING PARSERS