yesod-core-1.4.33: Creation of type-safe, RESTful web applications.

Safe HaskellNone
LanguageHaskell98

Yesod.Core.Types

Synopsis

Documentation

type SaveSession #

Arguments

 = SessionMap

The session contents after running the handler

-> IO [Header] 

newtype SessionBackend #

Constructors

SessionBackend 

Fields

data YesodRequest #

The parsed request information. This type augments the standard WAI Request with additional information.

Constructors

YesodRequest 

Fields

data YesodResponse #

An augmented WAI Response. This can either be a standard Response, or a higher-level data structure which Yesod will turn into a Response.

type RequestBodyContents = ([(Text, Text)], [(Text, FileInfo)]) #

A tuple containing both the POST parameters and submitted files.

data Approot master #

How to determine the root of the application for constructing URLs.

Note that future versions of Yesod may add new constructors without bumping the major version number. As a result, you should not pattern match on Approot values.

Constructors

ApprootRelative

No application root.

ApprootStatic !Text 
ApprootMaster !(master -> Text) 
ApprootRequest !(master -> Request -> Text) 

type BottomOfHeadAsync master #

Arguments

 = [Text]

urls to load asynchronously

-> Maybe (HtmlUrl (Route master))

widget of js to run on async completion

-> HtmlUrl (Route master)

widget to insert at the bottom of head

type Texts = [Text] #

newtype WaiSubsite #

Wrap up a normal WAI application as a Yesod subsite.

Constructors

WaiSubsite 

data RunHandlerEnv site #

Constructors

RunHandlerEnv 

Fields

data HandlerData site parentRoute #

data YesodSubRunnerEnv sub parent parentMonad #

Constructors

YesodSubRunnerEnv 

Fields

type ParentRunner parent m = m TypedContent -> YesodRunnerEnv parent -> Maybe (Route parent) -> Application #

newtype HandlerT site m a #

A generic handler monad, which can have a different subsite and master site. We define a newtype for better error message.

Constructors

HandlerT 

Fields

Instances

MonadBaseControl b m => MonadBaseControl b (HandlerT site m) #

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."

Associated Types

type StM (HandlerT site m :: * -> *) a :: * #

Methods

liftBaseWith :: (RunInBase (HandlerT site m) b -> b a) -> HandlerT site m a #

restoreM :: StM (HandlerT site m) a -> HandlerT site m a #

MonadBase b m => MonadBase b (HandlerT site m) # 

Methods

liftBase :: b α -> HandlerT site m α #

Monad m => MonadReader site (HandlerT site m) # 

Methods

ask :: HandlerT site m site #

local :: (site -> site) -> HandlerT site m a -> HandlerT site m a #

reader :: (site -> a) -> HandlerT site m a #

MonadTrans (HandlerT site) # 

Methods

lift :: Monad m => m a -> HandlerT site m a #

Monad m => Monad (HandlerT site m) # 

Methods

(>>=) :: HandlerT site m a -> (a -> HandlerT site m b) -> HandlerT site m b #

(>>) :: HandlerT site m a -> HandlerT site m b -> HandlerT site m b #

return :: a -> HandlerT site m a #

fail :: String -> HandlerT site m a #

Monad m => Functor (HandlerT site m) # 

Methods

fmap :: (a -> b) -> HandlerT site m a -> HandlerT site m b #

(<$) :: a -> HandlerT site m b -> HandlerT site m a #

Monad m => Applicative (HandlerT site m) # 

Methods

pure :: a -> HandlerT site m a #

(<*>) :: HandlerT site m (a -> b) -> HandlerT site m a -> HandlerT site m b #

(*>) :: HandlerT site m a -> HandlerT site m b -> HandlerT site m b #

(<*) :: HandlerT site m a -> HandlerT site m b -> HandlerT site m a #

MonadIO m => MonadIO (HandlerT site m) # 

Methods

liftIO :: IO a -> HandlerT site m a #

MonadActive m => MonadActive (HandlerT site m) # 

Methods

monadActive :: HandlerT site m Bool #

MonadThrow m => MonadThrow (HandlerT site m) # 

Methods

throwM :: Exception e => e -> HandlerT site m a #

MonadCatch m => MonadCatch (HandlerT site m) # 

Methods

catch :: Exception e => HandlerT site m a -> (e -> HandlerT site m a) -> HandlerT site m a #

MonadMask m => MonadMask (HandlerT site m) # 

Methods

mask :: ((forall a. HandlerT site m a -> HandlerT site m a) -> HandlerT site m b) -> HandlerT site m b #

uninterruptibleMask :: ((forall a. HandlerT site m a -> HandlerT site m a) -> HandlerT site m b) -> HandlerT site m b #

MonadIO m => MonadLogger (HandlerT site m) # 

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> HandlerT site m () #

MonadIO m => MonadLoggerIO (HandlerT site m) # 

Methods

askLoggerIO :: HandlerT site m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) #

(MonadIO m, MonadBase IO m, MonadThrow m) => MonadResource (HandlerT site m) # 

Methods

liftResourceT :: ResourceT IO a -> HandlerT site m a #

MonadResourceBase m => MonadHandler (HandlerT site m) # 

Associated Types

type HandlerSite (HandlerT site m :: * -> *) :: * #

Methods

liftHandlerT :: HandlerT (HandlerSite (HandlerT site m)) IO a -> HandlerT site m a #

type MonadRoute (HandlerT site m) # 
type MonadRoute (HandlerT site m) = Route site
type HandlerSite (HandlerT site m) # 
type HandlerSite (HandlerT site m) = site
type StM (HandlerT site m) a # 
type StM (HandlerT site m) a = StM m a

type family MonadRoute (m :: * -> *) #

Instances

type MonadRoute IO # 
type MonadRoute IO = ()
type MonadRoute (HandlerT site m) # 
type MonadRoute (HandlerT site m) = Route site

data GHState #

Constructors

GHState 

type YesodApp = YesodRequest -> ResourceT IO YesodResponse #

An extension of the basic WAI Application datatype to provide extra features needed by Yesod. Users should never need to use this directly, as the HandlerT monad and template haskell code should hide it away.

newtype WidgetT site m a #

A generic widget, allowing specification of both the subsite and master site datatypes. While this is simply a WriterT, we define a newtype for better error messages.

Constructors

WidgetT 

Fields

Instances

MonadBaseControl b m => MonadBaseControl b (WidgetT site m) # 

Associated Types

type StM (WidgetT site m :: * -> *) a :: * #

Methods

liftBaseWith :: (RunInBase (WidgetT site m) b -> b a) -> WidgetT site m a #

restoreM :: StM (WidgetT site m) a -> WidgetT site m a #

MonadBase b m => MonadBase b (WidgetT site m) # 

Methods

liftBase :: b α -> WidgetT site m α #

Monad m => MonadReader site (WidgetT site m) # 

Methods

ask :: WidgetT site m site #

local :: (site -> site) -> WidgetT site m a -> WidgetT site m a #

reader :: (site -> a) -> WidgetT site m a #

((~) * site' site, (~) (* -> *) IO m, (~) * a ()) => ToWidget site' (WidgetT site m a) # 

Methods

toWidget :: (MonadWidget m, (* ~ HandlerSite m) site') => WidgetT site m a -> m () #

MonadTrans (WidgetT site) # 

Methods

lift :: Monad m => m a -> WidgetT site m a #

Monad m => Monad (WidgetT site m) # 

Methods

(>>=) :: WidgetT site m a -> (a -> WidgetT site m b) -> WidgetT site m b #

(>>) :: WidgetT site m a -> WidgetT site m b -> WidgetT site m b #

return :: a -> WidgetT site m a #

fail :: String -> WidgetT site m a #

Monad m => Functor (WidgetT site m) # 

Methods

fmap :: (a -> b) -> WidgetT site m a -> WidgetT site m b #

(<$) :: a -> WidgetT site m b -> WidgetT site m a #

Monad m => Applicative (WidgetT site m) # 

Methods

pure :: a -> WidgetT site m a #

(<*>) :: WidgetT site m (a -> b) -> WidgetT site m a -> WidgetT site m b #

(*>) :: WidgetT site m a -> WidgetT site m b -> WidgetT site m b #

(<*) :: WidgetT site m a -> WidgetT site m b -> WidgetT site m a #

MonadIO m => MonadIO (WidgetT site m) # 

Methods

liftIO :: IO a -> WidgetT site m a #

MonadActive m => MonadActive (WidgetT site m) # 

Methods

monadActive :: WidgetT site m Bool #

MonadThrow m => MonadThrow (WidgetT site m) # 

Methods

throwM :: Exception e => e -> WidgetT site m a #

MonadCatch m => MonadCatch (WidgetT site m) # 

Methods

catch :: Exception e => WidgetT site m a -> (e -> WidgetT site m a) -> WidgetT site m a #

MonadMask m => MonadMask (WidgetT site m) # 

Methods

mask :: ((forall a. WidgetT site m a -> WidgetT site m a) -> WidgetT site m b) -> WidgetT site m b #

uninterruptibleMask :: ((forall a. WidgetT site m a -> WidgetT site m a) -> WidgetT site m b) -> WidgetT site m b #

MonadIO m => MonadLogger (WidgetT site m) # 

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WidgetT site m () #

MonadIO m => MonadLoggerIO (WidgetT site m) # 

Methods

askLoggerIO :: WidgetT site m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) #

(MonadIO m, MonadBase IO m, MonadThrow m) => MonadResource (WidgetT site m) # 

Methods

liftResourceT :: ResourceT IO a -> WidgetT site m a #

MonadResourceBase m => MonadWidget (WidgetT site m) # 

Methods

liftWidgetT :: WidgetT (HandlerSite (WidgetT site m)) IO a -> WidgetT site m a #

MonadResourceBase m => MonadHandler (WidgetT site m) # 

Associated Types

type HandlerSite (WidgetT site m :: * -> *) :: * #

Methods

liftHandlerT :: HandlerT (HandlerSite (WidgetT site m)) IO a -> WidgetT site m a #

(Monad m, (~) * a ()) => IsString (WidgetT site m a) #

A String can be trivially promoted to a widget.

For example, in a yesod-scaffold site you could use:

getHomeR = do defaultLayout "Widget text"

Methods

fromString :: String -> WidgetT site m a #

((~) * a (), Monad m) => Semigroup (WidgetT site m a) # 

Methods

(<>) :: WidgetT site m a -> WidgetT site m a -> WidgetT site m a #

sconcat :: NonEmpty (WidgetT site m a) -> WidgetT site m a #

stimes :: Integral b => b -> WidgetT site m a -> WidgetT site m a #

((~) * a (), Monad m) => Monoid (WidgetT site m a) # 

Methods

mempty :: WidgetT site m a #

mappend :: WidgetT site m a -> WidgetT site m a -> WidgetT site m a #

mconcat :: [WidgetT site m a] -> WidgetT site m a #

type HandlerSite (WidgetT site m) # 
type HandlerSite (WidgetT site m) = site
type StM (WidgetT site m) a # 
type StM (WidgetT site m) a = StM m (a, GWData (Route site))

type RY master = Route master -> [(Text, Text)] -> Text #

newtype CssBuilder #

Newtype wrapper allowing injection of arbitrary content into CSS.

Usage:

toWidget $ CssBuilder "p { color: red }"

Since: 1.1.3

Constructors

CssBuilder 

Instances

ToWidgetHead site CssBuilder # 

Methods

toWidgetHead :: (MonadWidget m, (* ~ HandlerSite m) site) => CssBuilder -> m () #

ToWidgetMedia site CssBuilder # 

Methods

toWidgetMedia :: (MonadWidget m, (* ~ HandlerSite m) site) => Text -> CssBuilder -> m () #

ToWidget site CssBuilder # 

Methods

toWidget :: (MonadWidget m, (* ~ HandlerSite m) site) => CssBuilder -> m () #

(~) * render (RY site) => ToWidgetHead site (render -> CssBuilder) # 

Methods

toWidgetHead :: (MonadWidget m, (* ~ HandlerSite m) site) => (render -> CssBuilder) -> m () #

(~) * render (RY site) => ToWidgetMedia site (render -> CssBuilder) # 

Methods

toWidgetMedia :: (MonadWidget m, (* ~ HandlerSite m) site) => Text -> (render -> CssBuilder) -> m () #

(~) * render (RY site) => ToWidget site (render -> CssBuilder) # 

Methods

toWidget :: (MonadWidget m, (* ~ HandlerSite m) site) => (render -> CssBuilder) -> m () #

data PageContent url #

Content for a web page. By providing this datatype, we can easily create generic site templates, which would have the type signature:

PageContent url -> HtmlUrl url

Constructors

PageContent 

Fields

type RepHtml = Html #

Deprecated: Please use Html instead

newtype DontFullyEvaluate a #

Prevents a response body from being fully evaluated before sending the request.

Since 1.1.0

Constructors

DontFullyEvaluate 

Fields

data ErrorResponse #

Responses to indicate some form of an error occurred.

data Header #

Headers to be added to a Result.

Instances

Eq Header # 

Methods

(==) :: Header -> Header -> Bool #

(/=) :: Header -> Header -> Bool #

Show Header # 
NFData Header # 

Methods

rnf :: Header -> () #

data Location url #

Constructors

Local url 
Remote Text 

Instances

Eq url => Eq (Location url) # 

Methods

(==) :: Location url -> Location url -> Bool #

(/=) :: Location url -> Location url -> Bool #

Show url => Show (Location url) # 

Methods

showsPrec :: Int -> Location url -> ShowS #

show :: Location url -> String #

showList :: [Location url] -> ShowS #

newtype UniqueList x #

A diff list that does not directly enforce uniqueness. When creating a widget Yesod will use nub to make it unique.

Constructors

UniqueList ([x] -> [x]) 

data Script url #

Constructors

Script 

Instances

Eq url => Eq (Script url) # 

Methods

(==) :: Script url -> Script url -> Bool #

(/=) :: Script url -> Script url -> Bool #

Show url => Show (Script url) # 

Methods

showsPrec :: Int -> Script url -> ShowS #

show :: Script url -> String #

showList :: [Script url] -> ShowS #

data Stylesheet url #

Constructors

Stylesheet 

Instances

Eq url => Eq (Stylesheet url) # 

Methods

(==) :: Stylesheet url -> Stylesheet url -> Bool #

(/=) :: Stylesheet url -> Stylesheet url -> Bool #

Show url => Show (Stylesheet url) # 

Methods

showsPrec :: Int -> Stylesheet url -> ShowS #

show :: Stylesheet url -> String #

showList :: [Stylesheet url] -> ShowS #

newtype Title #

Constructors

Title 

Fields

newtype Head url #

Constructors

Head (HtmlUrl url) 

Instances

Semigroup (Head a) # 

Methods

(<>) :: Head a -> Head a -> Head a #

sconcat :: NonEmpty (Head a) -> Head a #

stimes :: Integral b => b -> Head a -> Head a #

Monoid (Head url) # 

Methods

mempty :: Head url #

mappend :: Head url -> Head url -> Head url #

mconcat :: [Head url] -> Head url #

newtype Body url #

Constructors

Body (HtmlUrl url) 

Instances

Semigroup (Body a) # 

Methods

(<>) :: Body a -> Body a -> Body a #

sconcat :: NonEmpty (Body a) -> Body a #

stimes :: Integral b => b -> Body a -> Body a #

Monoid (Body url) # 

Methods

mempty :: Body url #

mappend :: Body url -> Body url -> Body url #

mconcat :: [Body url] -> Body url #

type CssBuilderUrl a = (a -> [(Text, Text)] -> Text) -> Builder #

data GWData a #

Constructors

GWData 

Instances

Semigroup (GWData a) # 

Methods

(<>) :: GWData a -> GWData a -> GWData a #

sconcat :: NonEmpty (GWData a) -> GWData a #

stimes :: Integral b => b -> GWData a -> GWData a #

Monoid (GWData a) # 

Methods

mempty :: GWData a #

mappend :: GWData a -> GWData a -> GWData a #

mconcat :: [GWData a] -> GWData a #

data Logger #

Constructors

Logger