Yesod.Core.Dispatch

Quasi-quoted routing

parseRoutes :: QuasiQuoter

A quasi-quoter to parse a string into a list of Resources. Checks for overlapping routes, failing if present; use parseRoutesNoCheck to skip the checking. See documentation site for details on syntax.

parseRoutesNoCheck :: QuasiQuoter

Same as parseRoutes, but performs no overlap checking.

parseRoutesFile :: FilePath -> Q Exp

parseRoutesFileNoCheck :: FilePath -> Q Exp

mkYesod

Arguments

:: String

name of the argument datatype

-> [ResourceTree String]

-> Q [Dec]

Generates URL datatype and site function for the given Resources. This is used for creating sites, not subsites. See mkYesodSubData and mkYesodSubDispatch for the latter. Use parseRoutes to create the Resources.

Contexts and type variables in the name of the datatype are parsed. For example, a datatype App a with typeclass constraint MyClass a can be written as "(MyClass a) => App a".

mkYesodWith

Arguments

:: [[String]]

list of contexts

-> String

name of the argument datatype

-> [String]

list of type variables

-> [ResourceTree String]

-> Q [Dec]

Deprecated: Contexts and type variables are now parsed from the name in mkYesod. https://github.com/yesodweb/yesod/pull/1366

Similar to mkYesod, except contexts and type variables are not parsed. Instead, they are explicitly provided. You can write (MyClass a) => App a with mkYesodWith [["MyClass","a"]] "App" ["a"] ....

More fine-grained

mkYesodData :: String -> [ResourceTree String] -> Q [Dec]

Sometimes, you will want to declare your routes in one file and define your handlers elsewhere. For example, this is the only way to break up a monolithic file into smaller parts. Use this function, paired with mkYesodDispatch, to do just that.

mkYesodSubData :: String -> [ResourceTree String] -> Q [Dec]

mkYesodDispatch :: String -> [ResourceTree String] -> Q [Dec]

See mkYesodData.

mkYesodSubDispatch :: [ResourceTree a] -> Q Exp

Helpers

getGetMaxExpires :: IO (IO Text)

Default constructor for yreGetMaxExpires field. Low level function for simple manual construction of YesodRunnerEnv.

Since: 1.4.29

Path pieces

class PathPiece s where

Methods

fromPathPiece :: Text -> Maybe s

toPathPiece :: s -> Text

Instances

PathPiece Bool

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Bool

toPathPiece :: Bool -> Text

PathPiece Int

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Int

toPathPiece :: Int -> Text

PathPiece Int8

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Int8

toPathPiece :: Int8 -> Text

PathPiece Int16

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Int16

toPathPiece :: Int16 -> Text

PathPiece Int32

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Int32

toPathPiece :: Int32 -> Text

PathPiece Int64

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Int64

toPathPiece :: Int64 -> Text

PathPiece Integer

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Integer

toPathPiece :: Integer -> Text

PathPiece Word

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Word

toPathPiece :: Word -> Text

PathPiece Word8

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Word8

toPathPiece :: Word8 -> Text

PathPiece Word16

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Word16

toPathPiece :: Word16 -> Text

PathPiece Word32

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Word32

toPathPiece :: Word32 -> Text

PathPiece Word64

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Word64

toPathPiece :: Word64 -> Text

PathPiece ()

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe ()

toPathPiece :: () -> Text

PathPiece Text

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Text

toPathPiece :: Text -> Text

PathPiece String

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe String

toPathPiece :: String -> Text

PathPiece Text

Defined in Web.PathPieces

Methods

fromPathPiece :: Text0 -> Maybe Text

toPathPiece :: Text -> Text0

PathPiece Day

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe Day

toPathPiece :: Day -> Text

PathPiece a => PathPiece (Maybe a)

Defined in Web.PathPieces

Methods

fromPathPiece :: Text -> Maybe (Maybe a)

toPathPiece :: Maybe a -> Text

class PathMultiPiece s where

Methods

fromPathMultiPiece :: [Text] -> Maybe s

toPathMultiPiece :: s -> [Text]

Instances

PathPiece a => PathMultiPiece [a]

Defined in Web.PathPieces

Methods

fromPathMultiPiece :: [Text] -> Maybe [a]

toPathMultiPiece :: [a] -> [Text]

type Texts = [Text]

Convert to WAI

toWaiApp :: YesodDispatch site => site -> IO Application

Same as toWaiAppPlain, but provides a default set of middlewares. This set may change with future releases, but currently covers:

• Logging
• GZIP compression
• Automatic HEAD method handling
• Request method override with the _method query string parameter
• Accept header override with the _accept query string parameter

toWaiAppPlain :: YesodDispatch site => site -> IO Application

Convert the given argument into a WAI application, executable with any WAI handler. This function will provide no middlewares; if you want commonly used middlewares, please use toWaiApp.

toWaiAppYre :: YesodDispatch site => YesodRunnerEnv site -> Application

Pure low level function to construct WAI application. Usefull when you need not standard way to run your app, or want to embed it inside another app.

Since: 1.4.29

warp :: YesodDispatch site => Int -> site -> IO ()

A convenience method to run an application using the Warp webserver on the specified port. Automatically calls toWaiApp. Provides a default set of middlewares. This set may change at any point without a breaking version number. Currently, it includes:

If you need more fine-grained control of middlewares, please use toWaiApp directly.

Since 1.2.0

warpDebug :: YesodDispatch site => Int -> site -> IO ()

Deprecated: Please use warp instead

Deprecated synonym for warp.

warpEnv :: YesodDispatch site => site -> 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 and the FP Complete School of Haskell.

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.

mkDefaultMiddlewares :: Logger -> IO Middleware

A default set of middlewares.

Since 1.2.0

defaultMiddlewaresNoLogging :: Middleware

All of the default middlewares, excluding logging.

Since 1.2.12

WAI subsites

newtype WaiSubsite

Wrap up a normal WAI application as a Yesod subsite. Ignore parent site's middleware and isAuthorized.

Constructors

WaiSubsite

Fields

• runWaiSubsite :: Application

Instances

ParseRoute WaiSubsite

Defined in Yesod.Core.Types

Methods

parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route WaiSubsite)

RenderRoute WaiSubsite

Defined in Yesod.Core.Types

Associated Types

data Route WaiSubsite :: Type

Methods

renderRoute :: Route WaiSubsite -> ([Text], [(Text, Text)])

YesodSubDispatch WaiSubsite master

Defined in Yesod.Core.Class.Dispatch

Methods

yesodSubDispatch :: YesodSubRunnerEnv WaiSubsite master -> Application

Eq (Route WaiSubsite)

Defined in Yesod.Core.Types

Methods

(==) :: Route WaiSubsite -> Route WaiSubsite -> Bool

(/=) :: Route WaiSubsite -> Route WaiSubsite -> Bool

Ord (Route WaiSubsite)

Defined in Yesod.Core.Types

Methods

compare :: Route WaiSubsite -> Route WaiSubsite -> Ordering

(<) :: Route WaiSubsite -> Route WaiSubsite -> Bool

(<=) :: Route WaiSubsite -> Route WaiSubsite -> Bool

(>) :: Route WaiSubsite -> Route WaiSubsite -> Bool

(>=) :: Route WaiSubsite -> Route WaiSubsite -> Bool

max :: Route WaiSubsite -> Route WaiSubsite -> Route WaiSubsite

min :: Route WaiSubsite -> Route WaiSubsite -> Route WaiSubsite

Read (Route WaiSubsite)

Defined in Yesod.Core.Types

Methods

readsPrec :: Int -> ReadS (Route WaiSubsite)

readList :: ReadS [Route WaiSubsite]

readPrec :: ReadPrec (Route WaiSubsite)

readListPrec :: ReadPrec [Route WaiSubsite]

Show (Route WaiSubsite)

Defined in Yesod.Core.Types

Methods

showsPrec :: Int -> Route WaiSubsite -> ShowS

show :: Route WaiSubsite -> String

showList :: [Route WaiSubsite] -> ShowS

data Route WaiSubsite

Defined in Yesod.Core.Types

data Route WaiSubsite = WaiSubsiteRoute [Text] [(Text, Text)]

newtype WaiSubsiteWithAuth

Like WaiSubsite, but applies parent site's middleware and isAuthorized.

Since: 1.4.34

Constructors

WaiSubsiteWithAuth

Fields

• runWaiSubsiteWithAuth :: Application

Instances

ParseRoute WaiSubsiteWithAuth

Defined in Yesod.Core.Types

Methods

parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route WaiSubsiteWithAuth)

RenderRoute WaiSubsiteWithAuth

Defined in Yesod.Core.Types

Associated Types

data Route WaiSubsiteWithAuth :: Type

Methods

renderRoute :: Route WaiSubsiteWithAuth -> ([Text], [(Text, Text)])

YesodSubDispatch WaiSubsiteWithAuth master

Defined in Yesod.Core.Class.Dispatch

Methods

yesodSubDispatch :: YesodSubRunnerEnv WaiSubsiteWithAuth master -> Application

Eq (Route WaiSubsiteWithAuth)

Defined in Yesod.Core.Types

Methods

(==) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool

(/=) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool

Ord (Route WaiSubsiteWithAuth)

Defined in Yesod.Core.Types

Methods

compare :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Ordering

(<) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool

(<=) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool

(>) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool

(>=) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool

max :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth

min :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth

Read (Route WaiSubsiteWithAuth)

Defined in Yesod.Core.Types

Methods

readsPrec :: Int -> ReadS (Route WaiSubsiteWithAuth)

readList :: ReadS [Route WaiSubsiteWithAuth]

readPrec :: ReadPrec (Route WaiSubsiteWithAuth)

readListPrec :: ReadPrec [Route WaiSubsiteWithAuth]

Show (Route WaiSubsiteWithAuth)

Defined in Yesod.Core.Types

Methods

showsPrec :: Int -> Route WaiSubsiteWithAuth -> ShowS

show :: Route WaiSubsiteWithAuth -> String

showList :: [Route WaiSubsiteWithAuth] -> ShowS

data Route WaiSubsiteWithAuth

Defined in Yesod.Core.Types

data Route WaiSubsiteWithAuth = WaiSubsiteWithAuthRoute [Text] [(Text, Text)]