Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Extend eitherUrlChunk child result | eitherUrlChunk child -> result where Source
Extend (EitherUrlChunk (Just * r)) (RUPTrie Text (r -> a)) (RUPTrie Text a) Source | |
Extend (EitherUrlChunk (Nothing *)) (RUPTrie Text a) (RUPTrie Text a) Source |
eitherToMaybe :: Either String r -> Maybe r Source
restAreLits :: UrlChunks xs -> Bool Source
type family ExpectArity xs r :: * Source
ExpectArity [] r = r | |
ExpectArity (Nothing : xs) r = ExpectArity xs r | |
ExpectArity (Just x : xs) r = x -> ExpectArity xs r |