Web.Routes.PathInfo

Documentation

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

type URLParser a = GenParser String () a

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

segment :: String -> URLParser String

match on a specific string

anySegment :: URLParser String

match on any string

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

parseSegments :: URLParser a -> [String] -> 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 -> [String]

fromPathSegments :: URLParser url

Instances

PathInfo Int

PathInfo Integer

PathInfo String

PathInfo [String]

toPathInfo :: PathInfo url => url -> String

convert url into the path info portion of a URL

toPathInfoParams

Arguments

:: PathInfo url

=> url

url

-> [(String, String)]

query string parameter

-> String

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

fromPathInfo :: PathInfo url => String -> 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 -> [(String, String)] -> String) -> 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