Web.Routes.Nested

Documentation

newtype HandlerT x m a

Constructors

HandlerT

Fields

runHandler :: WriterT (RUPTrie Text x, RUPTrie Text x) m a

Instances

MonadTrans (HandlerT x)

Monad m => Monad (HandlerT x m)

Functor m => Functor (HandlerT x m)

Applicative m => Applicative (HandlerT x m)

MonadIO m => MonadIO (HandlerT x m)

type ActionT m a = VerbListenerT (FileExtListenerT Response m a) m a

handle

Arguments

:: (Monad m, Functor m, cleanxs ~ OnlyJusts xs, HasResult childType (ActionT m ()), ExpectArity cleanxs childType, Singleton (UrlChunks xs) childType (RUPTrie Text result), Extrude (UrlChunks xs) (RUPTrie Text childType) (RUPTrie Text result), ArityMinusTypeList childType cleanxs ~ result, childType ~ TypeListToArity cleanxs result)

=> UrlChunks xs

Path to match against

-> Maybe childType

Possibly a function, ending in ActionT z m ().

-> Maybe (HandlerT childType m ())

Potential child routes

-> HandlerT result m ()

For routes ending with a literal.

parent :: (Monad m, Functor m, cleanxs ~ OnlyJusts xs, Singleton (UrlChunks xs) childType (RUPTrie Text result), Extrude (UrlChunks xs) (RUPTrie Text childType) (RUPTrie Text result), ArityMinusTypeList childType cleanxs ~ result, childType ~ TypeListToArity cleanxs result) => UrlChunks xs -> HandlerT childType m () -> HandlerT result m ()

notFound :: (Monad m, Functor m, cleanxs ~ OnlyJusts xs, HasResult childType (ActionT m ()), ExpectArity cleanxs childType, Singleton (UrlChunks xs) childType (RUPTrie Text result), Extrude (UrlChunks xs) (RUPTrie Text childType) (RUPTrie Text result), ArityMinusTypeList childType cleanxs ~ result, childType ~ TypeListToArity cleanxs result) => UrlChunks xs -> Maybe childType -> Maybe (HandlerT childType m ()) -> HandlerT result m ()

route

Arguments

:: (Functor m, Monad m, MonadIO m)

=> HandlerT (ActionT m ()) m a

Assembled handle calls

-> Request

-> (Response -> IO ResponseReceived)

-> m ResponseReceived

Turns a HandlerT into a Wai Application