Web.Routing.Router

Documentation

newtype RegistryT n b middleware reqTypes m a

Constructors

RegistryT

Fields

• runRegistryT :: RWST (PathInternal '[]) [middleware] (RegistryState n b reqTypes) m a

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

Monad m => MonadWriter [middleware] (RegistryT n b middleware reqTypes m)

Methods

writer :: (a, [middleware]) -> RegistryT n b middleware reqTypes m a

tell :: [middleware] -> RegistryT n b middleware reqTypes m ()

listen :: RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m (a, [middleware])

pass :: RegistryT n b middleware reqTypes m (a, [middleware] -> [middleware]) -> RegistryT n b middleware reqTypes m a

Monad m => MonadState (RegistryState n b reqTypes) (RegistryT n b middleware reqTypes m)

Methods

get :: RegistryT n b middleware reqTypes m (RegistryState n b reqTypes)

put :: RegistryState n b reqTypes -> RegistryT n b middleware reqTypes m ()

state :: (RegistryState n b reqTypes -> (a, RegistryState n b reqTypes)) -> RegistryT n b middleware reqTypes m a

MonadTrans (RegistryT n b middleware reqTypes)

Methods

lift :: Monad m => m a -> RegistryT n b middleware reqTypes m a

Monad m => Monad (RegistryT n b middleware reqTypes m)

Methods

(>>=) :: RegistryT n b middleware reqTypes m a -> (a -> RegistryT n b middleware reqTypes m b) -> RegistryT n b middleware reqTypes m b

(>>) :: RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m b -> RegistryT n b middleware reqTypes m b

return :: a -> RegistryT n b middleware reqTypes m a

fail :: String -> RegistryT n b middleware reqTypes m a

Functor m => Functor (RegistryT n b middleware reqTypes m)

Methods

fmap :: (a -> b) -> RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m b

(<$) :: a -> RegistryT n b middleware reqTypes m b -> RegistryT n b middleware reqTypes m a

Monad m => Applicative (RegistryT n b middleware reqTypes m)

Methods

pure :: a -> RegistryT n b middleware reqTypes m a

(<*>) :: RegistryT n b middleware reqTypes m (a -> b) -> RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m b

(*>) :: RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m b -> RegistryT n b middleware reqTypes m b

(<*) :: RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m b -> RegistryT n b middleware reqTypes m a

MonadIO m => MonadIO (RegistryT n b middleware reqTypes m)

Methods

liftIO :: IO a -> RegistryT n b middleware reqTypes m a

data RegistryState n b reqTypes

Constructors

RegistryState

Fields

• rs_registry :: HashMap reqTypes (Registry n b)

Instances

Monad m => MonadState (RegistryState n b reqTypes) (RegistryT n b middleware reqTypes m)

Methods

get :: RegistryT n b middleware reqTypes m (RegistryState n b reqTypes)

put :: RegistryState n b reqTypes -> RegistryT n b middleware reqTypes m ()

state :: (RegistryState n b reqTypes -> (a, RegistryState n b reqTypes)) -> RegistryT n b middleware reqTypes m a

hookAny :: (Monad m, Eq reqTypes, Hashable reqTypes) => reqTypes -> ([Text] -> n b) -> RegistryT n b middleware reqTypes m ()

hookRoute :: (Monad m, Eq reqTypes, Hashable reqTypes) => reqTypes -> PathInternal as -> HVectElim' (n b) as -> RegistryT n b middleware reqTypes m ()

middleware :: Monad m => middleware -> RegistryT n b middleware reqTypes m ()

subcomponent :: Monad m => PathInternal '[] -> RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m a

swapMonad :: Monad m => (forall b. n b -> m b) -> RegistryT x y middleware reqTypes n a -> RegistryT x y middleware reqTypes m a

runRegistry :: (Monad m, Hashable reqTypes, Eq reqTypes) => RegistryT n b middleware reqTypes m a -> m (a, reqTypes -> [Text] -> [n b], [middleware])