Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype RegistryT n b middleware reqTypes m a Source #
RegistryT | |
|
Monad m => MonadReader (PathInternal ([] *)) (RegistryT n b middleware reqTypes m) Source # | |
Monad m => MonadWriter [middleware] (RegistryT n b middleware reqTypes m) Source # | |
Monad m => MonadState (RegistryState n b reqTypes) (RegistryT n b middleware reqTypes m) Source # | |
MonadTrans (RegistryT n b middleware reqTypes) Source # | |
Monad m => Monad (RegistryT n b middleware reqTypes m) Source # | |
Functor m => Functor (RegistryT n b middleware reqTypes m) Source # | |
Monad m => Applicative (RegistryT n b middleware reqTypes m) Source # | |
MonadIO m => MonadIO (RegistryT n b middleware reqTypes m) Source # | |
data RegistryState n b reqTypes Source #
RegistryState | |
|
Monad m => MonadState (RegistryState n b reqTypes) (RegistryT n b middleware reqTypes m) Source # | |
hookAny :: (Monad m, Eq reqTypes, Hashable reqTypes) => reqTypes -> ([Text] -> n b) -> RegistryT n b middleware reqTypes m () Source #
hookRoute :: (Monad m, Eq reqTypes, Hashable reqTypes) => reqTypes -> PathInternal as -> HVectElim' (n b) as -> RegistryT n b middleware reqTypes m () Source #
middleware :: Monad m => middleware -> RegistryT n b middleware reqTypes m () Source #
subcomponent :: Monad m => PathInternal '[] -> RegistryT n b middleware reqTypes m a -> RegistryT n b middleware reqTypes m a Source #