Web.Routes.Nested

Documentation

module Web.Routes.Nested.FileExtListener

module Web.Routes.Nested.VerbListener

module Web.Routes.Nested.Types

newtype HandlerT z m a

Constructors

HandlerT

Fields

runHandler :: WriterT (RUPTrie Text (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ())), RUPTrie Text (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ()))) m a

Instances

MonadTrans (HandlerT z)

Monad m => Monad (HandlerT z m)

Functor m => Functor (HandlerT z m)

Applicative m => Applicative (HandlerT z m)

MonadIO m => MonadIO (HandlerT z m)

handleLit :: (Monad m, Singleton (UrlChunks xs) (ExpectArity xs (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ()))) (RUPTrie Text (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ()))), Extrude (UrlChunks xs) (RUPTrie Text (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ()))) (RUPTrie Text (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ())))) => UrlChunks xs -> ExpectArity xs (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ())) -> [HandlerT z m ()] -> HandlerT z m ()

handleParse :: (Monad m, Singleton (UrlChunks xs) (ExpectArity xs (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ()))) (RUPTrie Text (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ())))) => UrlChunks xs -> ExpectArity xs (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ())) -> HandlerT z m ()

notFound :: (Monad m, Singleton (UrlChunks xs) (ExpectArity xs (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ()))) (RUPTrie Text (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ())))) => UrlChunks xs -> ExpectArity xs (Either (VerbListenerT z (FileExtListenerT Response m ()) m ()) (VerbListenerT z Response m ())) -> HandlerT z m ()

route

Arguments

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

=> HandlerT z m a

Assembled handle calls

-> Request

-> (Response -> IO ResponseReceived)

-> m ResponseReceived

Turns a HandlerT into a Wai Application