Web.Routes.Nested.Types

Internal Structure

data Tries x s

The internal data structure built during route declaration.

Constructors

Tries

Fields

• trieContent :: !(RootedPredTrie Text x)
• trieCatchAll :: !(RootedPredTrie Text x)
• trieSecurity :: !(RootedPredTrie Text s)

Instances

Monoid (Tries x s)

Methods

mempty :: Tries x s

mappend :: Tries x s -> Tries x s -> Tries x s

mconcat :: [Tries x s] -> Tries x s

Monad m => MonadState (Tries x sec) (RouterT x sec m)

Methods

get :: RouterT x sec m (Tries x sec)

put :: Tries x sec -> RouterT x sec m ()

state :: (Tries x sec -> (a, Tries x sec)) -> RouterT x sec m a

Builder

newtype RouterT x sec m a

The (syntactic) monad for building a router with functions like "Web.Routes.Nested.match". it should have a shape of RouterT (MiddlewareT m) (SecurityToken s) m a when used with "Web.Routes.Nested.route".

Constructors

RouterT

Fields

• runRouterT :: StateT (Tries x sec) m a

Instances

MonadTrans (RouterT x sec)

Methods

lift :: Monad m => m a -> RouterT x sec m a

Monad m => MonadState (Tries x sec) (RouterT x sec m)

Methods

get :: RouterT x sec m (Tries x sec)

put :: Tries x sec -> RouterT x sec m ()

state :: (Tries x sec -> (a, Tries x sec)) -> RouterT x sec m a

Monad m => Monad (RouterT x sec m)

Methods

(>>=) :: RouterT x sec m a -> (a -> RouterT x sec m b) -> RouterT x sec m b

(>>) :: RouterT x sec m a -> RouterT x sec m b -> RouterT x sec m b

return :: a -> RouterT x sec m a

fail :: String -> RouterT x sec m a

Functor m => Functor (RouterT x sec m)

Methods

fmap :: (a -> b) -> RouterT x sec m a -> RouterT x sec m b

(<$) :: a -> RouterT x sec m b -> RouterT x sec m a

Monad m => Applicative (RouterT x sec m)

Methods

pure :: a -> RouterT x sec m a

(<*>) :: RouterT x sec m (a -> b) -> RouterT x sec m a -> RouterT x sec m b

(*>) :: RouterT x sec m a -> RouterT x sec m b -> RouterT x sec m b

(<*) :: RouterT x sec m a -> RouterT x sec m b -> RouterT x sec m a

MonadIO m => MonadIO (RouterT x sec m)

Methods

liftIO :: IO a -> RouterT x sec m a

execRouterT :: Monad m => RouterT x sec m a -> m (Tries x sec)

Run the monad, only getting the built state and throwing away a.

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

The type of "content" builders; using the wai-middleware-verbs and wai-middleware-content-type packages.

action :: Monad m => MonadBaseControl IO m stM => Extractable stM => ActionT m () -> MiddlewareT m

Run the content builder into a middleware that responds when the content is satisfiable (i.e. Accept headers are O.K., etc.)

Book Keeping

type ExtrudeSoundly xs' xs c r = (xs' ~ CatMaybes xs, ArityTypeListIso c xs' r, Extrude (UrlChunks xs) (RootedPredTrie Text c) (RootedPredTrie Text r))

Soundness constraint showing that a function's arity can be represented as a type-level list.