Web.Routing.SafeRouting

Documentation

data RouteHandle m a

Constructors

RouteHandle (PathInternal as) (HVectElim as (m a))

newtype HVectElim' x ts

Constructors

HVectElim'

Fields

• flipHVectElim :: HVectElim ts x

type Registry m a = (PathMap (m a), [[Text] -> m a])

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)

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

data PathMap x

Constructors

PathMap

Fields

• pm_subComponents :: [[Text] -> x]
• pm_here :: [x]
• pm_staticMap :: HashMap Text (PathMap x)
• pm_polyMap :: PolyMap FromHttpApiData PathMap x
• pm_wildcards :: [Text -> x]

Instances

Functor PathMap

Methods

fmap :: (a -> b) -> PathMap a -> PathMap b

(<$) :: a -> PathMap b -> PathMap a

Monoid (PathMap x)

Methods

mempty :: PathMap x

mappend :: PathMap x -> PathMap x -> PathMap x

mconcat :: [PathMap x] -> PathMap x

NFData x => NFData (PathMap x)

Methods

rnf :: PathMap x -> ()

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)

match :: PathMap x -> [Text] -> [x]

(</!>) :: PathInternal as -> PathInternal bs -> PathInternal (Append as bs)

combineRoutePieces :: [Text] -> Text

parse :: PathInternal as -> [Text] -> Maybe (HVect as)