Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data EitherUrlChunk x where
- (:=) :: Text -> EitherUrlChunk Nothing
- (:~) :: (Text, Parser r) -> EitherUrlChunk (Just r)
- l :: Text -> EitherUrlChunk (Nothing *)
- p :: (Text, Parser r) -> EitherUrlChunk (Just * r)
- data UrlChunks xs where
- (</>) :: EitherUrlChunk mx -> UrlChunks xs -> UrlChunks ((:) (Maybe *) mx xs)
- o :: UrlChunks ([] (Maybe *))
Documentation
data EitherUrlChunk x where Source
Constrained to AttoParsec & T.Text
(:=) :: Text -> EitherUrlChunk Nothing | |
(:~) :: (Text, Parser r) -> EitherUrlChunk (Just r) |
Extend (EitherUrlChunk (Just * r)) (RUPTrie Text (r -> a)) (RUPTrie Text a) Source | |
Extend (EitherUrlChunk (Nothing *)) (RUPTrie Text a) (RUPTrie Text a) Source |
l :: Text -> EitherUrlChunk (Nothing *) Source
p :: (Text, Parser r) -> EitherUrlChunk (Just * r) Source
data UrlChunks xs where Source
Container when defining route paths
ToL (UrlChunks xs) => ToL (UrlChunks ((:) (Maybe *) (Nothing *) xs)) Source | |
ToL (UrlChunks ([] (Maybe *))) Source | |
ToNE (UrlChunks ((:) (Maybe *) (Nothing *) ([] (Maybe *)))) Source | |
ToNE (UrlChunks xs) => ToNE (UrlChunks ((:) (Maybe *) (Nothing *) xs)) Source | |
(Extrude (UrlChunks xs) trie0 trie1, Extend (EitherUrlChunk x) trie1 trie2) => Extrude (UrlChunks ((:) (Maybe *) x xs)) trie0 trie2 Source | |
(Singleton (UrlChunks xs) a trie0, Extend (EitherUrlChunk x) trie0 trie1) => Singleton (UrlChunks ((:) (Maybe *) x xs)) a trie1 Source | |
Singleton (UrlChunks ([] (Maybe *))) a (RUPTrie Text a) Source | |
Extrude (UrlChunks ([] (Maybe *))) (RUPTrie Text a) (RUPTrie Text a) Source |