Web.Routes.Nested.Types.UrlChunks

Path Combinators

o_ :: UrlChunks ([] (Maybe *))

origin_ :: UrlChunks `[]`

The Origin chunk - the equivalent to []

l_ :: Text -> EitherUrlChunk (Nothing *)

literal_ :: Text -> EitherUrlChunk Nothing

Match against a Literal chunk

p_ :: (Text, Parser r) -> EitherUrlChunk (Just * r)

parse_ :: (Text, Parser r) -> EitherUrlChunk (Just r)

Match against a Parsed chunk, with attoparsec.

r_ :: (Text, Regex) -> EitherUrlChunk (Just * [String])

regex_ :: (Text, Regex) -> EitherUrlChunk (Just [String])

Match against a Regular expression chunk, with regex-compat.

pred_ :: (Text, Text -> Maybe r) -> EitherUrlChunk (Just r)

Match with a predicate against the url chunk directly.

(</>) :: EitherUrlChunk mx -> UrlChunks xs -> UrlChunks (mx : xs) infixr 9

Prefix a routable path by more predicative lookup data.

Path Types

data EitherUrlChunk x where

Constrained to AttoParsec, Regex-Compat and T.Text

Constructors

(:=) :: Text -> EitherUrlChunk Nothing

(:~) :: (Text, Text -> Maybe r) -> EitherUrlChunk (Just r)

Instances

(~) (Maybe *) x (Nothing *) => IsString (EitherUrlChunk x)

Use raw strings instead of prepending l

Extend (EitherUrlChunk (Just * r)) (RootedPredTrie Text (r -> a)) (RootedPredTrie Text a)

Existentially quantified case

Extend (EitherUrlChunk (Nothing *)) (RootedPredTrie Text a) (RootedPredTrie Text a)

Literal case

data UrlChunks xs where

Container when defining route paths

Constructors

Cons :: EitherUrlChunk mx -> UrlChunks xs -> UrlChunks (mx : xs)

Root :: UrlChunks `[]`

Instances

(Extrude (UrlChunks xs) trie0 trie1, Extend (EitherUrlChunk x) trie1 trie2) => Extrude (UrlChunks ((:) (Maybe *) x xs)) trie0 trie2

(Singleton (UrlChunks xs) a trie0, Extend (EitherUrlChunk x) trie0 trie1) => Singleton (UrlChunks ((:) (Maybe *) x xs)) a trie1

Singleton (UrlChunks ([] (Maybe *))) a (RootedPredTrie Text a)

Extrude (UrlChunks ([] (Maybe *))) (RootedPredTrie Text a) (RootedPredTrie Text a)