Servant.API.Routes.Internal.Path

Internal module, subject to change.

Documentation

newtype Path

Simple representation of a URL path. The constructor and fields are not exported since I may change the internal implementation in the future to use Text instead of [Text].

Constructors

Path

Fields

• unPath :: [Text]

Instances

ToJSON Path

Defined in Servant.API.Routes.Internal.Path

Methods

toJSON :: Path -> Value

toEncoding :: Path -> Encoding

toJSONList :: [Path] -> Value

toEncodingList :: [Path] -> Encoding

Show Path

Defined in Servant.API.Routes.Internal.Path

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

Eq Path

Defined in Servant.API.Routes.Internal.Path

Methods

(==) :: Path -> Path -> Bool

(/=) :: Path -> Path -> Bool

Ord Path

Defined in Servant.API.Routes.Internal.Path

Methods

compare :: Path -> Path -> Ordering

(<) :: Path -> Path -> Bool

(<=) :: Path -> Path -> Bool

(>) :: Path -> Path -> Bool

(>=) :: Path -> Path -> Bool

max :: Path -> Path -> Path

min :: Path -> Path -> Path

renderPath :: Path -> Text

Pretty-print a path, including the leading /.

pathSeparator :: Text

Standard path separator "/".