We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2ee0c88 commit de41517Copy full SHA for de41517
src/Routing/Types.purs
@@ -2,10 +2,12 @@ module Routing.Types where
2
3
import Data.List (List)
4
import Data.Map (Map)
5
+import Data.Ord (class Ord)
6
import Prelude (class Eq)
7
8
data RoutePart = Path String | Query (Map String String)
9
10
derive instance eqRoutePart :: Eq RoutePart
11
+derive instance ordRoutePart :: Ord RoutePart
12
13
type Route = List RoutePart
0 commit comments