| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Web.Routing.SafeRouting
Documentation
data RouteHandle m a #
Constructors
| RouteHandle (PathInternal as) (HVectElim as (m a)) |
newtype HVectElim' x ts #
Constructors
| HVectElim' | |
Fields
| |
emptyRegistry :: Registry m a #
defRoute :: PathInternal xs -> HVectElim' (m a) xs -> Registry m a -> Registry m a #
fallbackRoute :: ([Text] -> m a) -> Registry m a -> Registry m a #
matchRoute :: Registry m a -> [Text] -> [m a] #
data PathInternal (as :: [*]) where #
Constructors
| PI_Empty :: PathInternal '[] | |
| PI_StaticCons :: Text -> PathInternal as -> PathInternal as | |
| PI_VarCons :: (FromHttpApiData a, Typeable a) => PathInternal as -> PathInternal (a ': as) | |
| PI_Wildcard :: PathInternal as -> PathInternal (Text ': as) |
Instances
| Monad m => MonadReader (PathInternal ([] :: [*])) (RegistryT n b middleware reqTypes m) # | |
Defined in Web.Routing.Router Methods ask :: RegistryT n b middleware reqTypes m (PathInternal []) # local :: (PathInternal [] -> PathInternal []) -> RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m a # reader :: (PathInternal [] -> a) -> RegistryT n b middleware reqTypes m a # | |
Constructors
| PathMap | |
Fields
| |
emptyPathMap :: PathMap x #
updatePathMap :: (forall y. (ctx -> y) -> PathMap y -> PathMap y) -> PathInternal ts -> (HVect ts -> ctx -> x) -> PathMap x -> PathMap x #
insertPathMap' :: PathInternal ts -> (HVect ts -> x) -> PathMap x -> PathMap x #
singleton :: PathInternal ts -> HVectElim ts x -> PathMap x #
insertPathMap :: RouteHandle m a -> PathMap (m a) -> PathMap (m a) #
insertSubComponent' :: PathInternal ts -> (HVect ts -> [Text] -> x) -> PathMap x -> PathMap x #
insertSubComponent :: Functor m => RouteHandle m ([Text] -> a) -> PathMap (m a) -> PathMap (m a) #
(</!>) :: PathInternal as -> PathInternal bs -> PathInternal (Append as bs) #
combineRoutePieces :: [Text] -> Text #