Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data PathState
- data Path as pathState where
- toInternalPath :: Path as pathState -> PathInternal as
- type Var a = Path (a ': '[]) Open
- var :: (Typeable a, PathPiece 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 :: Path as Open -> HVect as -> Text
- renderRoute' :: Path as Open -> HVect as -> [Text]
Documentation
toInternalPath :: Path as pathState -> PathInternal as Source #