Yesod

This module simply re-exports from other modules for your convenience.

Re-exports from yesod-core

module Yesod.Core

module Yesod.Form

module Yesod.Json

module Yesod.Persist

Running your application

warp :: (Yesod a, YesodDispatch a a) => Int -> a -> IO ()

A convenience method to run an application using the Warp webserver on the specified port. Automatically calls toWaiApp.

warpDebug :: (Yesod a, YesodDispatch a a) => Int -> a -> IO ()

Same as warp, but also sends a message to stdout for each request, and an "application launched" message as well. Can be useful for development.

warpEnv :: (Yesod a, YesodDispatch a a) => a -> IO ()

Runs your application using default middlewares (i.e., via toWaiApp). It reads port information from the PORT environment variable, as used by tools such as Keter.

Note that the exact behavior of this function may be modified slightly over time to work correctly with external tools, without a change to the type signature.

develServer

Arguments

:: Int

port number

-> String

module name holding the code

-> String

name of function providing a with-application

-> IO ()

Run a development server, where your code changes are automatically reloaded.

Commonly referenced functions/datatypes

type Application = Request -> ResourceT IO Response

liftIO :: MonadIO m => forall a. IO a -> m a

Lift a computation from the IO monad.

class MonadBase b m => MonadBaseControl b m | m -> b

Instances

MonadBaseControl [] []

MonadBaseControl IO IO

MonadBaseControl Maybe Maybe

MonadBaseControl STM STM

MonadBaseControl Identity Identity

(MonadBase b (ResourceT m), MonadBaseControl b m) => MonadBaseControl b (ResourceT m)

(MonadBase b (ExceptionT m), MonadBaseControl b m) => MonadBaseControl b (ExceptionT m)

(MonadBase backend (SqlPersist m), MonadBaseControl backend m) => MonadBaseControl backend (SqlPersist m)

(MonadBase b (MaybeT m), MonadBaseControl b m) => MonadBaseControl b (MaybeT m)

(MonadBase b (ListT m), MonadBaseControl b m) => MonadBaseControl b (ListT m)

(MonadBase b (IdentityT m), MonadBaseControl b m) => MonadBaseControl b (IdentityT m)

MonadBase IO (GHandler sub master) => MonadBaseControl IO (GHandler sub master)

Note: although we provide a MonadBaseControl instance, lifted-base's fork function is incompatible with the underlying ResourceT system. Instead, if you must fork a separate thread, you should use resourceForkIO.

Using fork usually leads to an exception that says "Control.Monad.Trans.Resource.register': The mutable state is being accessed after cleanup. Please contact the maintainers."

(MonadBase b (WriterT w m), Monoid w, MonadBaseControl b m) => MonadBaseControl b (WriterT w m)

(MonadBase b (WriterT w m), Monoid w, MonadBaseControl b m) => MonadBaseControl b (WriterT w m)

(MonadBase b (StateT s m), MonadBaseControl b m) => MonadBaseControl b (StateT s m)

(MonadBase b (StateT s m), MonadBaseControl b m) => MonadBaseControl b (StateT s m)

(MonadBase b (ReaderT r m), MonadBaseControl b m) => MonadBaseControl b (ReaderT r m)

(MonadBase b (ErrorT e m), Error e, MonadBaseControl b m) => MonadBaseControl b (ErrorT e m)

(MonadBase b (RWST r w s m), Monoid w, MonadBaseControl b m) => MonadBaseControl b (RWST r w s m)

(MonadBase b (RWST r w s m), Monoid w, MonadBaseControl b m) => MonadBaseControl b (RWST r w s m)

MonadBase ((->) r) ((->) r) => MonadBaseControl ((->) r) ((->) r)

MonadBase (Either e) (Either e) => MonadBaseControl (Either e) (Either e)

MonadBase (ST s) (ST s) => MonadBaseControl (ST s) (ST s)

MonadBase (ST s) (ST s) => MonadBaseControl (ST s) (ST s)

Utilities

showIntegral :: Integral a => a -> String

readIntegral :: Num a => String -> Maybe a

Hamlet library

Hamlet

hamlet :: QuasiQuoter

xhamlet :: QuasiQuoter

type HtmlUrl url = Render url -> Html

A function generating an Html given a URL-rendering function.

type Html = Markup

toHtml :: ToMarkup a => a -> Html

Julius

julius :: QuasiQuoter

type JavascriptUrl url = (url -> [(Text, Text)] -> Text) -> Javascript

Return type of template-reading functions.

renderJavascriptUrl :: (url -> [(Text, Text)] -> Text) -> JavascriptUrl url -> Text

render with route interpolation. If using this module standalone, apart from type-safe routes, a dummy renderer can be used:

 renderJavascriptUrl (\_ _ -> undefined) javascriptUrl

When using Yesod, a renderer is generated for you, which can be accessed within the GHandler monad: getUrlRenderParams.

Cassius/Lucius

cassius :: QuasiQuoter

lucius :: QuasiQuoter

>>> renderCss ([lucius|foo{bar:baz}|] undefined)
"foo{bar:baz}"

type CssUrl url = (url -> [(Text, Text)] -> Text) -> Css

renderCssUrl :: (url -> [(Text, Text)] -> Text) -> CssUrl url -> Text