Safe Haskell | None |
---|---|
Language | Haskell2010 |
Web.Routing.Combinators
- data PathState
- data Path (as :: [*]) (pathState :: PathState) where
- toInternalPath :: Path as pathState -> PathInternal as
- type Var a = Path (a ': '[]) Open
- var :: (Typeable a, FromHttpApiData a) => Path (a ': '[]) Open
- static :: String -> Path '[] Open
- root :: Path '[] Open
- wildcard :: Path '[Text] Closed
- (</>) :: Path as Open -> Path bs ps2 -> Path (Append as bs) ps2
- pathToRep :: Path as ps -> Rep as
- renderRoute :: AllHave ToHttpApiData as => Path as Open -> HVect as -> Text
- renderRoute' :: AllHave ToHttpApiData as => Path as Open -> HVect as -> [Text]
Documentation
data Path (as :: [*]) (pathState :: PathState) where Source #
toInternalPath :: Path as pathState -> PathInternal as Source #
wildcard :: Path '[Text] Closed Source #
Matches the rest of the route. Should be the last part of the path.
renderRoute :: AllHave ToHttpApiData as => Path as Open -> HVect as -> Text Source #
renderRoute' :: AllHave ToHttpApiData as => Path as Open -> HVect as -> [Text] Source #