Web.Routes.PathInfo

Documentation

stripOverlap :: Eq a => [a] -> [a] -> [a]

stripOverlapBS :: ByteString -> ByteString -> ByteString

stripOverlapText :: Text -> Text -> Text

type URLParser a = GenParser Text () a

pToken :: tok -> (Text -> Maybe a) -> URLParser a

segment :: Text -> URLParser Text

match on a specific string

anySegment :: URLParser Text

match on any string

patternParse :: ([Text] -> Either String a) -> URLParser a

parseSegments :: URLParser a -> [Text] -> Either String a

run a URLParser on a list of path segments

returns Left parse error on failure.

returns Right a on success

class PathInfo url where

Methods

toPathSegments :: url -> [Text]

fromPathSegments :: URLParser url

Instances

PathInfo Int

PathInfo Integer

PathInfo String

PathInfo Text

PathInfo [String]

PathInfo [Text]

toPathInfo :: PathInfo url => url -> Text

convert url into the path info portion of a URL

toPathInfoParams

Arguments

:: PathInfo url

=> url

url

-> [(Text, Maybe Text)]

query string parameter

-> Text

convert url + params into the path info portion of a URL + a query string

fromPathInfo :: PathInfo url => ByteString -> Either String url

parse a String into url using PathInfo.

returns Left parse error on failure

returns Right url on success

mkSitePI

Arguments

:: PathInfo url

=> ((url -> [(Text, Maybe Text)] -> Text) -> url -> a)

a routing function

-> Site url a

turn a routing function into a Site value using the PathInfo class

showParseError :: ParseError -> String

show Parsec ParseError using terms that relevant to parsing a url