Safe Haskell | None |
---|---|
Language | Haskell2010 |
Yesod
Contents
Description
This module simply re-exports from other modules for your convenience.
Synopsis
- array :: ToJSON a => [a] -> Value
- warp :: YesodDispatch site => Int -> site -> IO ()
- class RenderRoute site => Yesod site where
- approot :: Approot site
- catchHandlerExceptions :: MonadUnliftIO m => site -> m a -> (SomeException -> m a) -> m a
- errorHandler :: ErrorResponse -> HandlerFor site TypedContent
- defaultLayout :: WidgetFor site () -> HandlerFor site Html
- urlParamRenderOverride :: site -> Route site -> [(Text, Text)] -> Maybe Builder
- isAuthorized :: Route site -> Bool -> HandlerFor site AuthResult
- isWriteRequest :: Route site -> HandlerFor site Bool
- authRoute :: site -> Maybe (Route site)
- cleanPath :: site -> [Text] -> Either [Text] [Text]
- joinPath :: site -> Text -> [Text] -> [(Text, Text)] -> Builder
- addStaticContent :: Text -> Text -> ByteString -> HandlerFor site (Maybe (Either Text (Route site, [(Text, Text)])))
- maximumContentLength :: site -> Maybe (Route site) -> Maybe Word64
- maximumContentLengthIO :: site -> Maybe (Route site) -> IO (Maybe Word64)
- makeLogger :: site -> IO Logger
- messageLoggerSource :: site -> Logger -> Loc -> LogSource -> LogLevel -> LogStr -> IO ()
- jsLoader :: site -> ScriptLoadPosition site
- jsAttributes :: site -> [(Text, Text)]
- jsAttributesHandler :: HandlerFor site [(Text, Text)]
- makeSessionBackend :: site -> IO (Maybe SessionBackend)
- fileUpload :: site -> RequestBodyLength -> FileUpload
- shouldLogIO :: site -> LogSource -> LogLevel -> IO Bool
- yesodMiddleware :: ToTypedContent res => HandlerFor site res -> HandlerFor site res
- yesodWithInternalState :: site -> Maybe (Route site) -> (InternalState -> IO a) -> IO a
- defaultMessageWidget :: Html -> HtmlUrl (Route site) -> WidgetFor site ()
- data Value
- type Application = Request -> (Response -> IO ResponseReceived) -> IO ResponseReceived
- data LogLevel
- = LevelDebug
- | LevelInfo
- | LevelWarn
- | LevelError
- | LevelOther Text
- class YesodBreadcrumbs site where
- breadcrumb :: Route site -> HandlerFor site (Text, Maybe (Route site))
- breadcrumbs :: (YesodBreadcrumbs site, Show (Route site), Eq (Route site)) => HandlerFor site (Text, [(Route site, Text)])
- class Yesod site => YesodDispatch site where
- yesodDispatch :: YesodRunnerEnv site -> Application
- class YesodSubDispatch sub master where
- yesodSubDispatch :: YesodSubRunnerEnv sub master -> Application
- class (MonadResource m, MonadLogger m) => MonadHandler (m :: Type -> Type) where
- type HandlerSite (m :: Type -> Type)
- type SubHandlerSite (m :: Type -> Type)
- liftHandler :: HandlerFor (HandlerSite m) a -> m a
- liftSubHandler :: SubHandlerFor (SubHandlerSite m) (HandlerSite m) a -> m a
- type family HandlerSite (m :: Type -> Type)
- class MonadHandler m => MonadWidget (m :: Type -> Type) where
- liftWidget :: WidgetFor (HandlerSite m) a -> m a
- type family SubHandlerSite (m :: Type -> Type)
- authorizationCheck :: Yesod site => HandlerFor site ()
- clientSessionBackend :: Key -> IO ClientSessionDateCache -> SessionBackend
- csrfCheckMiddleware :: HandlerFor site res -> HandlerFor site Bool -> CI ByteString -> Text -> HandlerFor site res
- csrfSetCookieMiddleware :: HandlerFor site res -> SetCookie -> HandlerFor site res
- customizeSessionCookies :: (SetCookie -> SetCookie) -> SessionBackend -> SessionBackend
- defaultClientSessionBackend :: Int -> FilePath -> IO SessionBackend
- defaultCsrfCheckMiddleware :: Yesod site => HandlerFor site res -> HandlerFor site res
- defaultCsrfMiddleware :: Yesod site => HandlerFor site res -> HandlerFor site res
- defaultCsrfSetCookieMiddleware :: HandlerFor site res -> HandlerFor site res
- defaultErrorHandler :: Yesod site => ErrorResponse -> HandlerFor site TypedContent
- defaultMakeLogger :: IO Logger
- defaultMessageLoggerSource :: (LogSource -> LogLevel -> IO Bool) -> Logger -> Loc -> LogSource -> LogLevel -> LogStr -> IO ()
- defaultShouldLogIO :: LogSource -> LogLevel -> IO Bool
- defaultYesodMiddleware :: Yesod site => HandlerFor site res -> HandlerFor site res
- envClientSessionBackend :: Int -> String -> IO SessionBackend
- formatLogMessage :: IO ZonedDate -> Loc -> LogSource -> LogLevel -> LogStr -> IO LogStr
- getApprootText :: Approot site -> site -> Request -> Text
- guessApproot :: Approot site
- guessApprootOr :: Approot site -> Approot site
- laxSameSiteSessions :: IO (Maybe SessionBackend) -> IO (Maybe SessionBackend)
- loadClientSession :: Key -> IO ClientSessionDateCache -> ByteString -> Request -> IO (SessionMap, SaveSession)
- sslOnlyMiddleware :: Int -> HandlerFor site res -> HandlerFor site res
- sslOnlySessions :: IO (Maybe SessionBackend) -> IO (Maybe SessionBackend)
- strictSameSiteSessions :: IO (Maybe SessionBackend) -> IO (Maybe SessionBackend)
- widgetToPageContent :: Yesod site => WidgetFor site () -> HandlerFor site (PageContent (Route site))
- class ToTypedContent a => HasContentType a where
- getContentType :: Monad m => m a -> ContentType
- class ToContent a where
- class ToFlushBuilder a where
- toFlushBuilder :: a -> Flush Builder
- class ToContent a => ToTypedContent a where
- toTypedContent :: a -> TypedContent
- contentTypeTypes :: ContentType -> (ByteString, ByteString)
- emptyContent :: Content
- repJson :: ToContent a => a -> RepJson
- repPlain :: ToContent a => a -> RepPlain
- repXml :: ToContent a => a -> RepXml
- simpleContentType :: ContentType -> ContentType
- typeAtom :: ContentType
- typeCss :: ContentType
- typeFlv :: ContentType
- typeGif :: ContentType
- typeHtml :: ContentType
- typeJavascript :: ContentType
- typeJpeg :: ContentType
- typeJson :: ContentType
- typeOctet :: ContentType
- typeOgv :: ContentType
- typePlain :: ContentType
- typePng :: ContentType
- typeRss :: ContentType
- typeSvg :: ContentType
- typeXml :: ContentType
- defaultGen :: IO Int
- defaultMiddlewaresNoLogging :: Middleware
- getGetMaxExpires :: IO (IO Text)
- mkDefaultMiddlewares :: Logger -> IO Middleware
- toWaiApp :: YesodDispatch site => site -> IO Application
- toWaiAppPlain :: YesodDispatch site => site -> IO Application
- toWaiAppYre :: YesodDispatch site => YesodRunnerEnv site -> Application
- warpDebug :: YesodDispatch site => Int -> site -> IO ()
- warpEnv :: YesodDispatch site => site -> IO ()
- data Fragment a b = a :#: b
- type HandlerT site (m :: Type -> Type) = HandlerFor site
- data ProvidedRep (m :: Type -> Type)
- class RedirectUrl master a where
- toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => a -> m Text
- addContentDispositionFileName :: MonadHandler m => Text -> m ()
- addHeader :: MonadHandler m => Text -> Text -> m ()
- addMessage :: MonadHandler m => Text -> Html -> m ()
- addMessageI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => Text -> msg -> m ()
- alreadyExpired :: MonadHandler m => m ()
- badMethod :: MonadHandler m => m a
- cacheByGet :: (MonadHandler m, Typeable a) => ByteString -> m (Maybe a)
- cacheBySet :: (MonadHandler m, Typeable a) => ByteString -> a -> m ()
- cacheGet :: (MonadHandler m, Typeable a) => m (Maybe a)
- cacheSeconds :: MonadHandler m => Int -> m ()
- cacheSet :: (MonadHandler m, Typeable a) => a -> m ()
- cached :: (MonadHandler m, Typeable a) => m a -> m a
- cachedBy :: (MonadHandler m, Typeable a) => ByteString -> m a -> m a
- checkCsrfHeaderNamed :: MonadHandler m => CI ByteString -> m ()
- checkCsrfHeaderOrParam :: (MonadHandler m, MonadLogger m) => CI ByteString -> Text -> m ()
- checkCsrfParamNamed :: MonadHandler m => Text -> m ()
- clearSession :: MonadHandler m => m ()
- clearUltDest :: MonadHandler m => m ()
- defaultCsrfCookieName :: ByteString
- defaultCsrfHeaderName :: CI ByteString
- defaultCsrfParamName :: Text
- deleteCookie :: MonadHandler m => Text -> Text -> m ()
- deleteSession :: MonadHandler m => Text -> m ()
- expiresAt :: MonadHandler m => UTCTime -> m ()
- fileSource :: forall (m :: Type -> Type). MonadResource m => FileInfo -> ConduitT () ByteString m ()
- fileSourceByteString :: MonadResource m => FileInfo -> m ByteString
- forkHandler :: (SomeException -> HandlerFor site ()) -> HandlerFor site () -> HandlerFor site ()
- getCurrentRoute :: MonadHandler m => m (Maybe (Route (HandlerSite m)))
- getExpires :: MonadIO m => Int -> m UTCTime
- getMessage :: MonadHandler m => m (Maybe Html)
- getMessageRender :: (MonadHandler m, RenderMessage (HandlerSite m) message) => m (message -> Text)
- getMessages :: MonadHandler m => m [(Text, Html)]
- getPostParams :: MonadHandler m => m [(Text, Text)]
- getRequest :: MonadHandler m => m YesodRequest
- getRouteToParent :: MonadHandler m => m (Route (SubHandlerSite m) -> Route (HandlerSite m))
- getSession :: MonadHandler m => m SessionMap
- getSubCurrentRoute :: MonadHandler m => m (Maybe (Route (SubHandlerSite m)))
- getSubYesod :: MonadHandler m => m (SubHandlerSite m)
- getUrlRender :: MonadHandler m => m (Route (HandlerSite m) -> Text)
- getUrlRenderParams :: MonadHandler m => m (Route (HandlerSite m) -> [(Text, Text)] -> Text)
- getYesod :: MonadHandler m => m (HandlerSite m)
- getsYesod :: MonadHandler m => (HandlerSite m -> a) -> m a
- giveUrlRenderer :: MonadHandler m => ((Route (HandlerSite m) -> [(Text, Text)] -> Text) -> output) -> m output
- hamletToRepHtml :: MonadHandler m => HtmlUrl (Route (HandlerSite m)) -> m Html
- handlerToIO :: MonadIO m => HandlerFor site (HandlerFor site a -> m a)
- hasValidCsrfHeaderNamed :: MonadHandler m => CI ByteString -> m Bool
- hasValidCsrfParamNamed :: MonadHandler m => Text -> m Bool
- invalidArgs :: MonadHandler m => [Text] -> m a
- invalidArgsI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => [msg] -> m a
- languages :: MonadHandler m => m [Text]
- lookupBasicAuth :: MonadHandler m => m (Maybe (Text, Text))
- lookupBearerAuth :: MonadHandler m => m (Maybe Text)
- lookupCookie :: MonadHandler m => Text -> m (Maybe Text)
- lookupCookies :: MonadHandler m => Text -> m [Text]
- lookupFile :: MonadHandler m => Text -> m (Maybe FileInfo)
- lookupFiles :: MonadHandler m => Text -> m [FileInfo]
- lookupGetParam :: MonadHandler m => Text -> m (Maybe Text)
- lookupGetParams :: MonadHandler m => Text -> m [Text]
- lookupHeader :: MonadHandler m => CI ByteString -> m (Maybe ByteString)
- lookupHeaders :: MonadHandler m => CI ByteString -> m [ByteString]
- lookupPostParam :: (MonadResource m, MonadHandler m) => Text -> m (Maybe Text)
- lookupPostParams :: (MonadResource m, MonadHandler m) => Text -> m [Text]
- lookupSession :: MonadHandler m => Text -> m (Maybe Text)
- lookupSessionBS :: MonadHandler m => Text -> m (Maybe ByteString)
- neverExpires :: MonadHandler m => m ()
- newIdent :: MonadHandler m => m Text
- notAuthenticated :: MonadHandler m => m a
- notFound :: MonadHandler m => m a
- notModified :: MonadHandler m => m a
- permissionDenied :: MonadHandler m => Text -> m a
- permissionDeniedI :: (RenderMessage (HandlerSite m) msg, MonadHandler m) => msg -> m a
- provideRep :: (Monad m, HasContentType a) => m a -> Writer (Endo [ProvidedRep m]) ()
- provideRepType :: (Monad m, ToContent a) => ContentType -> m a -> Writer (Endo [ProvidedRep m]) ()
- rawRequestBody :: forall (m :: Type -> Type) i. MonadHandler m => ConduitT i ByteString m ()
- redirect :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m a
- redirectToPost :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m a
- redirectUltDest :: (RedirectUrl (HandlerSite m) url, MonadHandler m) => url -> m a
- redirectWith :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => Status -> url -> m a
- replaceOrAddHeader :: MonadHandler m => Text -> Text -> m ()
- respond :: (Monad m, ToContent a) => ContentType -> a -> m TypedContent
- respondSource :: ContentType -> ConduitT () (Flush Builder) (HandlerFor site) () -> HandlerFor site TypedContent
- runRequestBody :: MonadHandler m => m RequestBodyContents
- selectRep :: MonadHandler m => Writer (Endo [ProvidedRep m]) () -> m TypedContent
- sendChunk :: forall (m :: Type -> Type) a i. (Monad m, ToFlushBuilder a) => a -> ConduitT i (Flush Builder) m ()
- sendChunkBS :: forall (m :: Type -> Type) i. Monad m => ByteString -> ConduitT i (Flush Builder) m ()
- sendChunkHtml :: forall (m :: Type -> Type) i. Monad m => Html -> ConduitT i (Flush Builder) m ()
- sendChunkLBS :: forall (m :: Type -> Type) i. Monad m => ByteString -> ConduitT i (Flush Builder) m ()
- sendChunkLazyText :: forall (m :: Type -> Type) i. Monad m => Text -> ConduitT i (Flush Builder) m ()
- sendChunkText :: forall (m :: Type -> Type) i. Monad m => Text -> ConduitT i (Flush Builder) m ()
- sendFile :: MonadHandler m => ContentType -> FilePath -> m a
- sendFilePart :: MonadHandler m => ContentType -> FilePath -> Integer -> Integer -> m a
- sendFlush :: forall (m :: Type -> Type) i. Monad m => ConduitT i (Flush Builder) m ()
- sendRawResponse :: (MonadHandler m, MonadUnliftIO m) => (ConduitT () ByteString IO () -> ConduitT ByteString Void IO () -> m ()) -> m a
- sendRawResponseNoConduit :: (MonadHandler m, MonadUnliftIO m) => (IO ByteString -> (ByteString -> IO ()) -> m ()) -> m a
- sendResponse :: (MonadHandler m, ToTypedContent c) => c -> m a
- sendResponseCreated :: MonadHandler m => Route (HandlerSite m) -> m a
- sendResponseNoContent :: MonadHandler m => m a
- sendResponseStatus :: (MonadHandler m, ToTypedContent c) => Status -> c -> m a
- sendStatusJSON :: (MonadHandler m, ToJSON c) => Status -> c -> m a
- sendWaiApplication :: MonadHandler m => Application -> m b
- sendWaiResponse :: MonadHandler m => Response -> m b
- setCookie :: MonadHandler m => SetCookie -> m ()
- setCsrfCookie :: MonadHandler m => m ()
- setCsrfCookieWithCookie :: MonadHandler m => SetCookie -> m ()
- setEtag :: MonadHandler m => Text -> m ()
- setHeader :: MonadHandler m => Text -> Text -> m ()
- setLanguage :: MonadHandler m => Text -> m ()
- setMessage :: MonadHandler m => Html -> m ()
- setMessageI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => msg -> m ()
- setSession :: MonadHandler m => Text -> Text -> m ()
- setSessionBS :: MonadHandler m => Text -> ByteString -> m ()
- setUltDest :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m ()
- setUltDestCurrent :: MonadHandler m => m ()
- setUltDestReferer :: MonadHandler m => m ()
- setWeakEtag :: MonadHandler m => Text -> m ()
- waiRequest :: MonadHandler m => m Request
- withUrlRenderer :: MonadHandler m => ((Route (HandlerSite m) -> [(Text, Text)] -> Text) -> output) -> m output
- newtype LiteApp = LiteApp {
- unLiteApp :: Method -> [Text] -> Maybe (LiteHandler TypedContent)
- data family Route a
- type LiteHandler = HandlerFor LiteApp
- type LiteWidget = WidgetFor LiteApp
- dispatchTo :: ToTypedContent a => LiteHandler a -> Writer LiteApp ()
- liteApp :: Writer LiteApp () -> LiteApp
- onMethod :: Method -> Writer LiteApp () -> Writer LiteApp ()
- onStatic :: Text -> Writer LiteApp () -> Writer LiteApp ()
- withDynamic :: PathPiece p => (p -> Writer LiteApp ()) -> Writer LiteApp ()
- withDynamicMulti :: PathMultiPiece ps => (ps -> Writer LiteApp ()) -> Writer LiteApp ()
- runFakeHandler :: (Yesod site, MonadIO m) => SessionMap -> (site -> Logger) -> site -> HandlerT site IO a -> m (Either ErrorResponse a)
- yesodRender :: Yesod y => y -> ResolvedApproot -> Route y -> [(Text, Text)] -> Text
- yesodRunner :: (ToTypedContent res, Yesod site) => HandlerFor site res -> YesodRunnerEnv site -> Maybe (Route site) -> Application
- clientSessionDateCacher :: NominalDiffTime -> IO (IO ClientSessionDateCache, IO ())
- mkYesod :: String -> [ResourceTree String] -> Q [Dec]
- mkYesodData :: String -> [ResourceTree String] -> Q [Dec]
- mkYesodDataOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec]
- mkYesodDispatch :: String -> [ResourceTree String] -> Q [Dec]
- mkYesodDispatchOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec]
- mkYesodOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec]
- mkYesodSubData :: String -> [ResourceTree String] -> Q [Dec]
- mkYesodSubDataOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec]
- mkYesodSubDispatch :: [ResourceTree a] -> Q Exp
- mkYesodWith :: [[String]] -> String -> [String] -> [ResourceTree String] -> Q [Dec]
- formatRFC1123 :: UTCTime -> Text
- formatRFC822 :: UTCTime -> Text
- formatW3 :: UTCTime -> Text
- acceptsJson :: MonadHandler m => m Bool
- contentTypeHeaderIsJson :: ByteString -> Bool
- defaultLayoutJson :: (Yesod site, ToJSON a) => WidgetFor site () -> HandlerFor site a -> HandlerFor site TypedContent
- jsonEncodingOrRedirect :: (MonadHandler m, ToJSON a) => Route (HandlerSite m) -> a -> m Encoding
- jsonOrRedirect :: (MonadHandler m, ToJSON a) => Route (HandlerSite m) -> a -> m Value
- jsonToRepJson :: (Monad m, ToJSON a) => a -> m Value
- parseCheckJsonBody :: (MonadHandler m, FromJSON a) => m (Result a)
- parseInsecureJsonBody :: (MonadHandler m, FromJSON a) => m (Result a)
- parseJsonBody :: (MonadHandler m, FromJSON a) => m (Result a)
- parseJsonBody_ :: (MonadHandler m, FromJSON a) => m a
- provideJson :: forall (m :: Type -> Type) a. (Monad m, ToJSON a) => a -> Writer (Endo [ProvidedRep m]) ()
- requireCheckJsonBody :: (MonadHandler m, FromJSON a) => m a
- requireInsecureJsonBody :: (MonadHandler m, FromJSON a) => m a
- requireJsonBody :: (MonadHandler m, FromJSON a) => m a
- returnJson :: (Monad m, ToJSON a) => a -> m Value
- returnJsonEncoding :: (Monad m, ToJSON a) => a -> m Encoding
- data Header
- = AddCookie !SetCookie
- | DeleteCookie !ByteString !ByteString
- | Header !(CI ByteString) !ByteString
- data Approot master
- = ApprootRelative
- | ApprootStatic !Text
- | ApprootMaster !(master -> Text)
- | ApprootRequest !(master -> Request -> Text)
- data AuthResult
- = Authorized
- | AuthenticationRequired
- | Unauthorized !Text
- data ErrorResponse
- = NotFound
- | InternalError !Text
- | InvalidArgs ![Text]
- | NotAuthenticated
- | PermissionDenied !Text
- | BadMethod !Method
- data ScriptLoadPosition master
- = BottomOfBody
- | BottomOfHeadBlocking
- | BottomOfHeadAsync !(BottomOfHeadAsync master)
- type BottomOfHeadAsync master = [Text] -> Maybe (HtmlUrl (Route master)) -> HtmlUrl (Route master)
- data Content
- = ContentBuilder !Builder !(Maybe Int)
- | ContentSource !(ConduitT () (Flush Builder) (ResourceT IO) ())
- | ContentFile !FilePath !(Maybe FilePart)
- | ContentDontEvaluate !Content
- type ContentType = ByteString
- newtype CssBuilder = CssBuilder {
- unCssBuilder :: Builder
- newtype DontFullyEvaluate a = DontFullyEvaluate {
- unDontFullyEvaluate :: a
- data FileInfo
- data FileUpload
- = FileUploadMemory !(BackEnd ByteString)
- | FileUploadDisk !(InternalState -> BackEnd FilePath)
- | FileUploadSource !(BackEnd (ConduitT () ByteString (ResourceT IO) ()))
- data HandlerFor site a
- data PageContent url = PageContent {}
- type RepHtml = Html
- newtype RepJson = RepJson Content
- newtype RepPlain = RepPlain Content
- newtype RepXml = RepXml Content
- type RequestBodyContents = ([(Text, Text)], [(Text, FileInfo)])
- newtype SessionBackend = SessionBackend {
- sbLoadSession :: Request -> IO (SessionMap, SaveSession)
- type SessionMap = Map Text ByteString
- data SubHandlerFor sub master a
- type Texts = [Text]
- data TypedContent = TypedContent !ContentType !Content
- newtype WaiSubsite = WaiSubsite {}
- newtype WaiSubsiteWithAuth = WaiSubsiteWithAuth {}
- data WidgetFor site a
- data YesodRequest = YesodRequest {
- reqGetParams :: ![(Text, Text)]
- reqCookies :: ![(Text, Text)]
- reqWaiRequest :: !Request
- reqLangs :: ![Text]
- reqToken :: !(Maybe Text)
- reqSession :: !SessionMap
- reqAccept :: ![ContentType]
- class ToWidget site a where
- toWidget :: (MonadWidget m, HandlerSite m ~ site) => a -> m ()
- class ToWidgetBody site a where
- toWidgetBody :: (MonadWidget m, HandlerSite m ~ site) => a -> m ()
- class ToWidgetHead site a where
- toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => a -> m ()
- class ToWidgetMedia site a where
- toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> a -> m ()
- type WidgetT site (m :: Type -> Type) = WidgetFor site
- addScript :: MonadWidget m => Route (HandlerSite m) -> m ()
- addScriptAttrs :: MonadWidget m => Route (HandlerSite m) -> [(Text, Text)] -> m ()
- addScriptEither :: MonadWidget m => Either (Route (HandlerSite m)) Text -> m ()
- addScriptRemote :: MonadWidget m => Text -> m ()
- addScriptRemoteAttrs :: MonadWidget m => Text -> [(Text, Text)] -> m ()
- addStylesheet :: MonadWidget m => Route (HandlerSite m) -> m ()
- addStylesheetAttrs :: MonadWidget m => Route (HandlerSite m) -> [(Text, Text)] -> m ()
- addStylesheetEither :: MonadWidget m => Either (Route (HandlerSite m)) Text -> m ()
- addStylesheetRemote :: MonadWidget m => Text -> m ()
- addStylesheetRemoteAttrs :: MonadWidget m => Text -> [(Text, Text)] -> m ()
- asWidgetT :: forall site (m :: Type -> Type). WidgetT site m () -> WidgetT site m ()
- handlerToWidget :: HandlerFor site a -> WidgetFor site a
- ihamletToHtml :: (MonadHandler m, RenderMessage (HandlerSite m) message) => HtmlUrlI18n message (Route (HandlerSite m)) -> m Html
- ihamletToRepHtml :: (MonadHandler m, RenderMessage (HandlerSite m) message) => HtmlUrlI18n message (Route (HandlerSite m)) -> m Html
- setDescription :: MonadWidget m => Text -> m ()
- setDescriptionI :: (MonadWidget m, RenderMessage (HandlerSite m) msg) => msg -> m ()
- setDescriptionIdemp :: MonadWidget m => Text -> m ()
- setDescriptionIdempI :: (MonadWidget m, RenderMessage (HandlerSite m) msg) => msg -> m ()
- setOGImage :: MonadWidget m => Text -> m ()
- setOGType :: MonadWidget m => Text -> m ()
- setTitle :: MonadWidget m => Html -> m ()
- setTitleI :: (MonadWidget m, RenderMessage (HandlerSite m) msg) => msg -> m ()
- whamlet :: QuasiQuoter
- whamletFile :: FilePath -> Q Exp
- whamletFileWithSettings :: HamletSettings -> FilePath -> Q Exp
- class RenderRoute a => ParseRoute a where
- parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route a)
- class Eq (Route a) => RenderRoute a where
- data Route a
- renderRoute :: Route a -> ([Text], [(Text, Text)])
- class RenderRoute a => RouteAttrs a where
- routeAttrs :: Route a -> Set Text
- parseRoutes :: QuasiQuoter
- parseRoutesFile :: FilePath -> Q Exp
- parseRoutesFileNoCheck :: FilePath -> Q Exp
- parseRoutesNoCheck :: QuasiQuoter
- data RouteOpts
- defaultOpts :: RouteOpts
- setEqDerived :: Bool -> RouteOpts -> RouteOpts
- setReadDerived :: Bool -> RouteOpts -> RouteOpts
- setShowDerived :: Bool -> RouteOpts -> RouteOpts
- (.:) :: FromJSON a => Object -> Key -> Parser a
- object :: [Pair] -> Value
- toHtml :: ToMarkup a => a -> Html
- logDebug :: Q Exp
- logDebugS :: Q Exp
- logError :: Q Exp
- logErrorS :: Q Exp
- logInfo :: Q Exp
- logInfoS :: Q Exp
- logOther :: Text -> Q Exp
- logOtherS :: Q Exp
- logWarn :: Q Exp
- logWarnS :: Q Exp
- cassius :: QuasiQuoter
- hamlet :: QuasiQuoter
- shamlet :: QuasiQuoter
- xhamlet :: QuasiQuoter
- renderCssUrl :: (url -> [(Text, Text)] -> Text) -> CssUrl url -> Text
- julius :: QuasiQuoter
- renderJavascriptUrl :: (url -> [(Text, Text)] -> Text) -> JavascriptUrl url -> Text
- lucius :: QuasiQuoter
- mkMessage :: String -> FilePath -> Lang -> Q [Dec]
- mkMessageFor :: String -> String -> FilePath -> Lang -> Q [Dec]
- mkMessageVariant :: String -> String -> FilePath -> Lang -> Q [Dec]
- maybeAuthorized :: Yesod site => Route site -> Bool -> HandlerT site IO (Maybe (Route site))
- readIntegral :: Num a => String -> Maybe a
- showIntegral :: Integral a => a -> String
- unauthorizedI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => msg -> m AuthResult
- yesodVersion :: String
- class FromJSON a where
- parseJSON :: Value -> Parser a
- parseJSONList :: Value -> Parser [a]
- omittedField :: Maybe a
- (.=) :: (KeyValue e kv, ToJSON v) => Key -> v -> kv
- class ToJSON a where
- toJSON :: a -> Value
- toEncoding :: a -> Encoding
- toJSONList :: [a] -> Value
- toEncodingList :: [a] -> Encoding
- omitField :: a -> Bool
- class Monad m => MonadIO (m :: Type -> Type) where
- liftIO :: IO a -> m a
- type Html = Markup
- preEscapedToMarkup :: ToMarkup a => a -> Markup
- class Monad m => MonadLogger (m :: Type -> Type)
- class PathMultiPiece s where
- fromPathMultiPiece :: [Text] -> Maybe s
- toPathMultiPiece :: s -> [Text]
- class PathPiece s where
- fromPathPiece :: Text -> Maybe s
- toPathPiece :: s -> Text
- class MonadIO m => MonadResource (m :: Type -> Type) where
- liftResourceT :: ResourceT IO a -> m a
- type HtmlUrl url = Render url -> Html
- type CssUrl url = (url -> [(Text, Text)] -> Text) -> Css
- type JavascriptUrl url = (url -> [(Text, Text)] -> Text) -> Javascript
- type Lang = Text
- class RenderMessage master message where
- renderMessage :: master -> [Lang] -> message -> Text
- data SomeMessage master = RenderMessage master msg => SomeMessage msg
- class ToMessage a where
- toMessage :: a -> Text
- class (forall (m :: Type -> Type). Monad m => Monad (t m)) => MonadTrans (t :: (Type -> Type) -> Type -> Type) where
- lift :: Monad m => m a -> t m a
- class MonadIO m => MonadUnliftIO (m :: Type -> Type) where
- withRunInIO :: ((forall a. m a -> IO a) -> IO b) -> m b
- type AutoFocus = Bool
- data Option a = Option {
- optionDisplay :: Text
- optionInternalValue :: a
- optionExternalValue :: Text
- data OptionList a
- = OptionList {
- olOptions :: [Option a]
- olReadExternal :: Text -> Maybe a
- | OptionListGrouped {
- olOptionsGrouped :: [(Text, [Option a])]
- olReadExternalGrouped :: Text -> Maybe a
- = OptionList {
- newtype Textarea = Textarea {
- unTextarea :: Text
- boolField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Bool
- checkBoxField :: forall (m :: Type -> Type). Monad m => Field m Bool
- checkboxesField :: Eq a => HandlerFor site (OptionList a) -> Field (HandlerFor site) [a]
- checkboxesField' :: Eq a => HandlerFor site (OptionList a) -> Field (HandlerFor site) [a]
- checkboxesFieldList :: (Eq a, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) [a]
- colorField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text
- datetimeLocalField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m LocalTime
- dayField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Day
- defaultFormMessage :: FormMessage -> Text
- doubleField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Double
- emailField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text
- fileAFormOpt :: forall (m :: Type -> Type). MonadHandler m => FieldSettings (HandlerSite m) -> AForm m (Maybe FileInfo)
- fileAFormReq :: forall (m :: Type -> Type). (MonadHandler m, RenderMessage (HandlerSite m) FormMessage) => FieldSettings (HandlerSite m) -> AForm m FileInfo
- fileField :: forall (m :: Type -> Type). Monad m => Field m FileInfo
- hiddenField :: forall (m :: Type -> Type) p. (Monad m, PathPiece p, RenderMessage (HandlerSite m) FormMessage) => Field m p
- htmlField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Html
- intField :: forall (m :: Type -> Type) i. (Monad m, Integral i, RenderMessage (HandlerSite m) FormMessage) => Field m i
- mkOptionList :: [Option a] -> OptionList a
- mkOptionListGrouped :: [(Text, [Option a])] -> OptionList a
- multiEmailField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m [Text]
- multiSelectField :: Eq a => HandlerFor site (OptionList a) -> Field (HandlerFor site) [a]
- multiSelectFieldList :: (Eq a, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) [a]
- optionsEnum :: (MonadHandler m, Show a, Enum a, Bounded a) => m (OptionList a)
- optionsPairs :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => [(msg, a)] -> m (OptionList a)
- optionsPairsGrouped :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => [(msg, [(msg, a)])] -> m (OptionList a)
- optionsPersist :: (YesodPersist site, PersistQueryRead backend, PathPiece (Key a), RenderMessage site msg, YesodPersistBackend site ~ backend, PersistRecordBackend a backend) => [Filter a] -> [SelectOpt a] -> (a -> msg) -> HandlerFor site (OptionList (Entity a))
- optionsPersistKey :: (YesodPersist site, PersistQueryRead backend, PathPiece (Key a), RenderMessage site msg, backend ~ YesodPersistBackend site, PersistRecordBackend a backend) => [Filter a] -> [SelectOpt a] -> (a -> msg) -> HandlerFor site (OptionList (Key a))
- parseDate :: String -> Either FormMessage Day
- parseTime :: Text -> Either FormMessage TimeOfDay
- passwordField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text
- radioField :: (Eq a, RenderMessage site FormMessage) => HandlerFor site (OptionList a) -> Field (HandlerFor site) a
- radioField' :: (Eq a, RenderMessage site FormMessage) => HandlerFor site (OptionList a) -> Field (HandlerFor site) a
- radioFieldList :: (Eq a, RenderMessage site FormMessage, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) a
- searchField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => AutoFocus -> Field m Text
- selectField :: (Eq a, RenderMessage site FormMessage) => HandlerFor site (OptionList a) -> Field (HandlerFor site) a
- selectFieldHelper :: (Eq a, RenderMessage site FormMessage) => (Text -> Text -> [(Text, Text)] -> WidgetFor site () -> WidgetFor site ()) -> (Text -> Text -> Bool -> WidgetFor site ()) -> (Text -> Text -> [(Text, Text)] -> Text -> Bool -> Text -> WidgetFor site ()) -> Maybe (Text -> WidgetFor site ()) -> HandlerFor site (OptionList a) -> Field (HandlerFor site) a
- selectFieldList :: (Eq a, RenderMessage site FormMessage, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) a
- selectFieldListGrouped :: (Eq a, RenderMessage site FormMessage, RenderMessage site msg) => [(msg, [(msg, a)])] -> Field (HandlerFor site) a
- textField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text
- textareaField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Textarea
- timeField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m TimeOfDay
- timeFieldTypeText :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m TimeOfDay
- timeFieldTypeTime :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m TimeOfDay
- urlField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text
- withRadioField :: (Eq a, RenderMessage site FormMessage) => (Text -> WidgetFor site () -> WidgetFor site ()) -> (Text -> Text -> Bool -> Text -> WidgetFor site () -> WidgetFor site ()) -> HandlerFor site (OptionList a) -> Field (HandlerFor site) a
- type FormRender (m :: Type -> Type) a = AForm m a -> Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ())
- aFormToForm :: forall (m :: Type -> Type) site a. (Monad m, HandlerSite m ~ site) => AForm m a -> MForm m (FormResult a, [FieldView site] -> [FieldView site])
- addClass :: Text -> [(Text, Text)] -> [(Text, Text)]
- aopt :: forall (m :: Type -> Type) a. MonadHandler m => Field m a -> FieldSettings (HandlerSite m) -> Maybe (Maybe a) -> AForm m (Maybe a)
- areq :: forall site (m :: Type -> Type) a. (RenderMessage site FormMessage, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> Maybe a -> AForm m a
- areqMsg :: forall site msg (m :: Type -> Type) a. (RenderMessage site msg, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> msg -> Maybe a -> AForm m a
- askFiles :: forall (m :: Type -> Type). Monad m => MForm m (Maybe FileEnv)
- askParams :: forall (m :: Type -> Type). Monad m => MForm m (Maybe Env)
- check :: forall (m :: Type -> Type) msg a. (Monad m, RenderMessage (HandlerSite m) msg) => (a -> Either msg a) -> Field m a -> Field m a
- checkBool :: forall (m :: Type -> Type) msg a. (Monad m, RenderMessage (HandlerSite m) msg) => (a -> Bool) -> msg -> Field m a -> Field m a
- checkM :: (Monad m, RenderMessage (HandlerSite m) msg) => (a -> m (Either msg a)) -> Field m a -> Field m a
- checkMMap :: (Monad m, RenderMessage (HandlerSite m) msg) => (a -> m (Either msg b)) -> (b -> a) -> Field m a -> Field m b
- convertField :: forall (m :: Type -> Type) a b. Functor m => (a -> b) -> (b -> a) -> Field m a -> Field m b
- customErrorMessage :: forall (m :: Type -> Type) a. Monad m => SomeMessage (HandlerSite m) -> Field m a -> Field m a
- fieldSettingsLabel :: RenderMessage site msg => msg -> FieldSettings site
- formToAForm :: forall (m :: Type -> Type) site a. (HandlerSite m ~ site, Monad m) => MForm m (FormResult a, [FieldView site]) -> AForm m a
- generateFormGet :: MonadHandler m => (Markup -> MForm m a) -> m (a, Enctype)
- generateFormGet' :: MonadHandler m => (Markup -> MForm m (FormResult a, xml)) -> m (xml, Enctype)
- generateFormPost :: (RenderMessage (HandlerSite m) FormMessage, MonadHandler m) => (Markup -> MForm m (FormResult a, xml)) -> m (xml, Enctype)
- identifyForm :: forall (m :: Type -> Type) a. Monad m => Text -> (Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ())) -> Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ())
- mFormToWForm :: forall (m :: Type -> Type) site a. (MonadHandler m, HandlerSite m ~ site) => MForm m (a, FieldView site) -> WForm m a
- mopt :: forall site (m :: Type -> Type) a. (site ~ HandlerSite m, MonadHandler m) => Field m a -> FieldSettings site -> Maybe (Maybe a) -> MForm m (FormResult (Maybe a), FieldView site)
- mreq :: forall site (m :: Type -> Type) a. (RenderMessage site FormMessage, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> Maybe a -> MForm m (FormResult a, FieldView site)
- mreqMsg :: forall site msg (m :: Type -> Type) a. (RenderMessage site msg, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> msg -> Maybe a -> MForm m (FormResult a, FieldView site)
- newFormIdent :: forall (m :: Type -> Type). Monad m => MForm m Text
- parseHelper :: (Monad m, RenderMessage site FormMessage) => (Text -> Either FormMessage a) -> [Text] -> [FileInfo] -> m (Either (SomeMessage site) (Maybe a))
- parseHelperGen :: (Monad m, RenderMessage site msg) => (Text -> Either msg a) -> [Text] -> [FileInfo] -> m (Either (SomeMessage site) (Maybe a))
- removeClass :: Text -> [(Text, Text)] -> [(Text, Text)]
- renderBootstrap :: forall (m :: Type -> Type) a. Monad m => FormRender m a
- renderBootstrap2 :: forall (m :: Type -> Type) a. Monad m => FormRender m a
- renderDivs :: forall (m :: Type -> Type) a. Monad m => FormRender m a
- renderDivsNoLabels :: forall (m :: Type -> Type) a. Monad m => FormRender m a
- renderTable :: forall (m :: Type -> Type) a. Monad m => FormRender m a
- runFormGet :: MonadHandler m => (Markup -> MForm m a) -> m (a, Enctype)
- runFormPost :: (RenderMessage (HandlerSite m) FormMessage, MonadResource m, MonadHandler m) => (Markup -> MForm m (FormResult a, xml)) -> m ((FormResult a, xml), Enctype)
- runFormPostNoToken :: MonadHandler m => (Markup -> MForm m a) -> m (a, Enctype)
- wFormToAForm :: forall (m :: Type -> Type) a. MonadHandler m => WForm m (FormResult a) -> AForm m a
- wFormToMForm :: forall (m :: Type -> Type) site a. (MonadHandler m, HandlerSite m ~ site) => WForm m a -> MForm m (a, [FieldView site])
- wopt :: forall (m :: Type -> Type) site a. (MonadHandler m, HandlerSite m ~ site) => Field m a -> FieldSettings site -> Maybe (Maybe a) -> WForm m (FormResult (Maybe a))
- wreq :: forall site (m :: Type -> Type) a. (RenderMessage site FormMessage, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> Maybe a -> WForm m (FormResult a)
- wreqMsg :: forall site msg (m :: Type -> Type) a. (RenderMessage site msg, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> msg -> Maybe a -> WForm m (FormResult a)
- newtype FormInput (m :: Type -> Type) a = FormInput {
- unFormInput :: HandlerSite m -> [Text] -> Env -> FileEnv -> m (Either DText a)
- iopt :: forall (m :: Type -> Type) a. Monad m => Field m a -> Text -> FormInput m (Maybe a)
- ireq :: forall (m :: Type -> Type) a. (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m a -> Text -> FormInput m a
- runInputGet :: MonadHandler m => FormInput m a -> m a
- runInputGetResult :: MonadHandler m => FormInput m a -> m (FormResult a)
- runInputPost :: MonadHandler m => FormInput m a -> m a
- runInputPostResult :: MonadHandler m => FormInput m a -> m (FormResult a)
- newtype AForm (m :: Type -> Type) a = AForm {
- unAForm :: (HandlerSite m, [Text]) -> Maybe (Env, FileEnv) -> Ints -> m (FormResult a, [FieldView (HandlerSite m)] -> [FieldView (HandlerSite m)], Ints, Enctype)
- data Enctype
- type Env = Map Text [Text]
- data Field (m :: Type -> Type) a = Field {
- fieldParse :: [Text] -> [FileInfo] -> m (Either (SomeMessage (HandlerSite m)) (Maybe a))
- fieldView :: FieldViewFunc m a
- fieldEnctype :: Enctype
- data FieldSettings master = FieldSettings {
- fsLabel :: SomeMessage master
- fsTooltip :: Maybe (SomeMessage master)
- fsId :: Maybe Text
- fsName :: Maybe Text
- fsAttrs :: [(Text, Text)]
- data FieldView site = FieldView {}
- type FieldViewFunc (m :: Type -> Type) a = Text -> Text -> [(Text, Text)] -> Either Text a -> Bool -> WidgetFor (HandlerSite m) ()
- type FileEnv = Map Text [FileInfo]
- data FormResult a
- = FormMissing
- | FormFailure [Text]
- | FormSuccess a
- data FormMessage
- = MsgInvalidInteger Text
- | MsgInvalidNumber Text
- | MsgInvalidEntry Text
- | MsgInvalidUrl Text
- | MsgInvalidEmail Text
- | MsgInvalidTimeFormat
- | MsgInvalidHour Text
- | MsgInvalidMinute Text
- | MsgInvalidSecond Text
- | MsgInvalidDay
- | MsgCsrfWarning
- | MsgValueRequired
- | MsgInputNotFound Text
- | MsgSelectNone
- | MsgInvalidBool Text
- | MsgBoolYes
- | MsgBoolNo
- | MsgDelete
- | MsgInvalidHexColorFormat Text
- | MsgInvalidDatetimeFormat Text
- data Ints
- type MForm (m :: Type -> Type) a = RWST (Maybe (Env, FileEnv), HandlerSite m, [Lang]) Enctype Ints m a
- type WForm (m :: Type -> Type) a = MForm (WriterT [FieldView (HandlerSite m)] m) a
- class PersistConfig c where
- type PersistConfigBackend c :: (Type -> Type) -> Type -> Type
- type PersistConfigPool c
- loadConfig :: Value -> Parser c
- applyEnv :: c -> IO c
- createPoolConfig :: c -> IO (PersistConfigPool c)
- runPool :: MonadUnliftIO m => c -> PersistConfigBackend c m a -> PersistConfigPool c -> m a
- data PersistFilter
- newtype DBRunner site = DBRunner {
- runDBRunner :: forall a. YesodDB site a -> HandlerFor site a
- type YesodDB site = ReaderT (YesodPersistBackend site) (HandlerFor site)
- class Monad (YesodDB site) => YesodPersist site where
- type YesodPersistBackend site
- runDB :: YesodDB site a -> HandlerFor site a
- type family YesodPersistBackend site
- class YesodPersist site => YesodPersistRunner site where
- getDBRunner :: HandlerFor site (DBRunner site, HandlerFor site ())
- defaultGetDBRunner :: (IsSqlBackend backend, YesodPersistBackend site ~ backend) => (site -> Pool backend) -> HandlerFor site (DBRunner site, HandlerFor site ())
- defaultRunDB :: PersistConfig c => (site -> c) -> (site -> PersistConfigPool c) -> PersistConfigBackend c (HandlerFor site) a -> HandlerFor site a
- get404 :: forall (m :: Type -> Type) backend val. (MonadIO m, PersistStoreRead backend, PersistRecordBackend val backend) => Key val -> ReaderT backend m val
- getBy404 :: forall backend val (m :: Type -> Type). (PersistUniqueRead backend, PersistRecordBackend val backend, MonadIO m) => Unique val -> ReaderT backend m (Entity val)
- insert400 :: forall (m :: Type -> Type) backend val. (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend val backend, SafeToInsert val) => val -> ReaderT backend m (Key val)
- insert400_ :: forall (m :: Type -> Type) backend val. (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend val backend, SafeToInsert val) => val -> ReaderT backend m ()
- respondSourceDB :: YesodPersistRunner site => ContentType -> ConduitT () (Flush Builder) (YesodDB site) () -> HandlerFor site TypedContent
- runDBSource :: YesodPersistRunner site => ConduitT () a (YesodDB site) () -> ConduitT () a (HandlerFor site) ()
- (!=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v
- (*=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v
- (+=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v
- (-=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v
- (/<-.) :: forall v typ. PersistField typ => EntityField v typ -> [typ] -> Filter v
- (/=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v
- (<-.) :: forall v typ. PersistField typ => EntityField v typ -> [typ] -> Filter v
- (<.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v
- (<=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v
- (=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v
- (==.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v
- (>.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v
- (>=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v
- limitOffsetOrder :: PersistEntity val => [SelectOpt val] -> (Int, Int, [SelectOpt val])
- listToJSON :: [PersistValue] -> Text
- mapToJSON :: [(Text, PersistValue)] -> Text
- toJsonText :: ToJSON j => j -> Text
- (||.) :: [Filter v] -> [Filter v] -> [Filter v]
- entityIdFromJSON :: (PersistEntity record, FromJSON record) => Value -> Parser (Entity record)
- entityIdToJSON :: (PersistEntity record, ToJSON record) => Entity record -> Value
- entityValues :: PersistEntity record => Entity record -> [PersistValue]
- fromPersistValueJSON :: FromJSON a => PersistValue -> Either Text a
- keyValueEntityFromJSON :: (PersistEntity record, FromJSON record) => Value -> Parser (Entity record)
- keyValueEntityToJSON :: (PersistEntity record, ToJSON record) => Entity record -> Value
- tabulateEntity :: PersistEntity record => (forall a. EntityField record a -> a) -> Entity record
- toPersistValueJSON :: ToJSON a => a -> PersistValue
- getPersistMap :: PersistValue -> Either Text [(Text, PersistValue)]
- selectKeys :: forall record backend (m :: Type -> Type). (PersistQueryRead backend, MonadResource m, PersistRecordBackend record backend, MonadReader backend m) => [Filter record] -> [SelectOpt record] -> ConduitM () (Key record) m ()
- selectKeysList :: forall record backend (m :: Type -> Type). (MonadIO m, PersistQueryRead backend, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m [Key record]
- selectList :: forall record backend (m :: Type -> Type). (MonadIO m, PersistQueryRead backend, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m [Entity record]
- selectSource :: forall record backend (m :: Type -> Type). (PersistQueryRead backend, MonadResource m, PersistRecordBackend record backend, MonadReader backend m) => [Filter record] -> [SelectOpt record] -> ConduitM () (Entity record) m ()
- belongsTo :: forall ent1 ent2 backend (m :: Type -> Type). (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Maybe (Key ent2)) -> ent1 -> ReaderT backend m (Maybe ent2)
- belongsToJust :: forall ent1 ent2 backend (m :: Type -> Type). (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Key ent2) -> ent1 -> ReaderT backend m ent2
- getEntity :: forall e backend (m :: Type -> Type). (PersistStoreRead backend, PersistRecordBackend e backend, MonadIO m) => Key e -> ReaderT backend m (Maybe (Entity e))
- getJust :: forall record backend (m :: Type -> Type). (PersistStoreRead backend, PersistRecordBackend record backend, MonadIO m) => Key record -> ReaderT backend m record
- getJustEntity :: forall record backend (m :: Type -> Type). (PersistEntityBackend record ~ BaseBackend backend, MonadIO m, PersistEntity record, PersistStoreRead backend) => Key record -> ReaderT backend m (Entity record)
- insertEntity :: forall e backend (m :: Type -> Type). (PersistStoreWrite backend, PersistRecordBackend e backend, SafeToInsert e, MonadIO m, HasCallStack) => e -> ReaderT backend m (Entity e)
- insertRecord :: forall record backend (m :: Type -> Type). (PersistEntityBackend record ~ BaseBackend backend, PersistEntity record, MonadIO m, PersistStoreWrite backend, SafeToInsert record, HasCallStack) => record -> ReaderT backend m record
- liftPersist :: (MonadIO m, MonadReader backend m) => ReaderT backend IO b -> m b
- withBaseBackend :: forall backend (m :: Type -> Type) a. HasPersistBackend backend => ReaderT (BaseBackend backend) m a -> ReaderT backend m a
- withCompatibleBackend :: forall sup sub (m :: Type -> Type) a. BackendCompatible sup sub => ReaderT sup m a -> ReaderT sub m a
- checkUnique :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueRead backend) => record -> ReaderT backend m (Maybe (Unique record))
- checkUniqueUpdateable :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueRead backend) => Entity record -> ReaderT backend m (Maybe (Unique record))
- getByValue :: forall record (m :: Type -> Type) backend. (MonadIO m, PersistUniqueRead backend, PersistRecordBackend record backend, AtLeastOneUniqueKey record) => record -> ReaderT backend m (Maybe (Entity record))
- insertBy :: forall record backend (m :: Type -> Type). (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend record backend, AtLeastOneUniqueKey record, SafeToInsert record) => record -> ReaderT backend m (Either (Entity record) (Key record))
- insertUniqueEntity :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueWrite backend, SafeToInsert record) => record -> ReaderT backend m (Maybe (Entity record))
- onlyOneUniqueDef :: (OnlyOneUniqueKey record, Monad proxy) => proxy record -> UniqueDef
- onlyUnique :: forall record backend (m :: Type -> Type). (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend record backend, OnlyOneUniqueKey record) => record -> ReaderT backend m (Unique record)
- replaceUnique :: forall record backend (m :: Type -> Type). (MonadIO m, Eq (Unique record), PersistRecordBackend record backend, PersistUniqueWrite backend) => Key record -> record -> ReaderT backend m (Maybe (Unique record))
- getEntityComments :: EntityDef -> Maybe Text
- getEntityDBName :: EntityDef -> EntityNameDB
- getEntityExtra :: EntityDef -> Map Text [[Text]]
- getEntityFields :: EntityDef -> [FieldDef]
- getEntityFieldsDatabase :: EntityDef -> [FieldDef]
- getEntityForeignDefs :: EntityDef -> [ForeignDef]
- getEntityHaskellName :: EntityDef -> EntityNameHS
- getEntityId :: EntityDef -> EntityIdDef
- getEntityIdField :: EntityDef -> Maybe FieldDef
- getEntityKeyFields :: EntityDef -> NonEmpty FieldDef
- getEntityUniques :: EntityDef -> [UniqueDef]
- getEntityUniquesNoPrimaryKey :: EntityDef -> [UniqueDef]
- isEntitySum :: EntityDef -> Bool
- overEntityFields :: ([FieldDef] -> [FieldDef]) -> EntityDef -> EntityDef
- setEntityDBName :: EntityNameDB -> EntityDef -> EntityDef
- setEntityId :: FieldDef -> EntityDef -> EntityDef
- setEntityIdDef :: EntityIdDef -> EntityDef -> EntityDef
- addFieldAttr :: FieldAttr -> FieldDef -> FieldDef
- isFieldMaybe :: FieldDef -> Bool
- isFieldNullable :: FieldDef -> IsNullable
- overFieldAttrs :: ([FieldAttr] -> [FieldAttr]) -> FieldDef -> FieldDef
- setFieldAttrs :: [FieldAttr] -> FieldDef -> FieldDef
- fromPersistValueText :: PersistValue -> Either Text Text
- derivePersistField :: String -> Q [Dec]
- derivePersistFieldJSON :: String -> Q [Dec]
- discoverEntities :: Q Exp
- embedEntityDefs :: [EntityDef] -> [UnboundEntityDef] -> [UnboundEntityDef]
- fieldError :: Text -> Text -> Text -> Text
- lensPTH :: (s -> a) -> (s -> b -> t) -> Lens s t a b
- migrateModels :: [EntityDef] -> Migration
- mkEntityDefList :: String -> [UnboundEntityDef] -> Q [Dec]
- mkMigrate :: String -> [UnboundEntityDef] -> Q [Dec]
- mkPersist :: MkPersistSettings -> [UnboundEntityDef] -> Q [Dec]
- mkPersistSettings :: Type -> MkPersistSettings
- mkPersistWith :: MkPersistSettings -> [EntityDef] -> [UnboundEntityDef] -> Q [Dec]
- parseReferences :: PersistSettings -> Text -> Q Exp
- persistFieldFromEntity :: MkPersistSettings -> UnboundEntityDef -> Q [Dec]
- persistFileWith :: PersistSettings -> FilePath -> Q Exp
- persistLowerCase :: QuasiQuoter
- persistManyFileWith :: PersistSettings -> [FilePath] -> Q Exp
- persistUpperCase :: QuasiQuoter
- persistWith :: PersistSettings -> QuasiQuoter
- pkNewtype :: MkPersistSettings -> UnboundEntityDef -> Bool
- setImplicitIdDef :: ImplicitIdDef -> MkPersistSettings -> MkPersistSettings
- share :: [[a] -> Q [Dec]] -> [a] -> Q [Dec]
- sqlSettings :: MkPersistSettings
- entitiesPrimary :: EntityDef -> NonEmpty FieldDef
- entityPrimary :: EntityDef -> Maybe CompositeDef
- fieldAttrsContainsNullable :: [FieldAttr] -> IsNullable
- isFieldNotGenerated :: FieldDef -> Bool
- isHaskellField :: FieldDef -> Bool
- keyAndEntityFields :: EntityDef -> NonEmpty FieldDef
- noCascade :: FieldCascade
- parseFieldAttrs :: [Text] -> [FieldAttr]
- renderCascadeAction :: CascadeAction -> Text
- renderFieldCascade :: FieldCascade -> Text
- type PersistQuery a = PersistQueryWrite a
- type PersistStore a = PersistStoreWrite a
- type PersistUnique a = PersistUniqueWrite a
- type family PersistConfigBackend c :: (Type -> Type) -> Type -> Type
- type family PersistConfigPool c
- type family BackendSpecificFilter backend record
- type family BackendSpecificUpdate backend record
- data PersistUpdate
- data Entity record = Entity {}
- class (PersistField (Key record), ToJSON (Key record), FromJSON (Key record), Show (Key record), Read (Key record), Eq (Key record), Ord (Key record)) => PersistEntity record where
- type PersistEntityBackend record
- data Key record
- data EntityField record :: Type -> Type
- data Unique record
- keyToValues :: Key record -> [PersistValue]
- keyFromValues :: [PersistValue] -> Either Text (Key record)
- persistIdField :: EntityField record (Key record)
- entityDef :: proxy record -> EntityDef
- persistFieldDef :: EntityField record typ -> FieldDef
- toPersistFields :: record -> [PersistValue]
- fromPersistValues :: [PersistValue] -> Either Text record
- tabulateEntityA :: Applicative f => (forall a. EntityField record a -> f a) -> f (Entity record)
- persistUniqueKeys :: record -> [Unique record]
- persistUniqueToFieldNames :: Unique record -> NonEmpty (FieldNameHS, FieldNameDB)
- persistUniqueToValues :: Unique record -> [PersistValue]
- fieldLens :: EntityField record field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity record -> f (Entity record)
- keyFromRecordM :: Maybe (record -> Key record)
- data family EntityField record :: Type -> Type
- data Filter record
- = PersistField typ => Filter {
- filterField :: EntityField record typ
- filterValue :: FilterValue typ
- filterFilter :: PersistFilter
- | FilterAnd [Filter record]
- | FilterOr [Filter record]
- | BackendFilter (BackendSpecificFilter (PersistEntityBackend record) record)
- = PersistField typ => Filter {
- data FilterValue typ where
- FilterValue :: forall typ. typ -> FilterValue typ
- FilterValues :: forall typ. [typ] -> FilterValue typ
- UnsafeValue :: forall a typ. PersistField a => a -> FilterValue typ
- data family Key record
- type family PersistEntityBackend record
- data family Unique record
- class SafeToInsert a
- data SelectOpt record
- = Asc (EntityField record typ)
- | Desc (EntityField record typ)
- | OffsetBy Int
- | LimitTo Int
- class SymbolToField (sym :: Symbol) rec typ | sym rec -> typ where
- symbolToField :: EntityField rec typ
- data Update record
- = PersistField typ => Update {
- updateField :: EntityField record typ
- updateValue :: typ
- updateUpdate :: PersistUpdate
- | BackendUpdate (BackendSpecificUpdate (PersistEntityBackend record) record)
- = PersistField typ => Update {
- newtype OverflowNatural = OverflowNatural {
- unOverflowNatural :: Natural
- class PersistField a where
- toPersistValue :: a -> PersistValue
- fromPersistValue :: PersistValue -> Either Text a
- class (PersistCore backend, PersistStoreRead backend) => PersistQueryRead backend where
- selectSourceRes :: forall record (m1 :: Type -> Type) (m2 :: Type -> Type). (PersistRecordBackend record backend, MonadIO m1, MonadIO m2) => [Filter record] -> [SelectOpt record] -> ReaderT backend m1 (Acquire (ConduitM () (Entity record) m2 ()))
- selectFirst :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m (Maybe (Entity record))
- selectKeysRes :: forall (m1 :: Type -> Type) (m2 :: Type -> Type) record. (MonadIO m1, MonadIO m2, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m1 (Acquire (ConduitM () (Key record) m2 ()))
- count :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m Int
- exists :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m Bool
- class (PersistQueryRead backend, PersistStoreWrite backend) => PersistQueryWrite backend where
- updateWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> [Update record] -> ReaderT backend m ()
- deleteWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m ()
- class BackendCompatible sup sub where
- projectBackend :: sub -> sup
- class PersistCore backend where
- data BackendKey backend
- data family BackendKey backend
- class HasPersistBackend backend where
- type BaseBackend backend
- persistBackend :: backend -> BaseBackend backend
- type family BaseBackend backend
- class HasPersistBackend backend => IsPersistBackend backend
- type PersistRecordBackend record backend = (PersistEntity record, PersistEntityBackend record ~ BaseBackend backend)
- class (Show (BackendKey backend), Read (BackendKey backend), Eq (BackendKey backend), Ord (BackendKey backend), PersistCore backend, PersistField (BackendKey backend), ToJSON (BackendKey backend), FromJSON (BackendKey backend)) => PersistStoreRead backend where
- get :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> ReaderT backend m (Maybe record)
- getMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [Key record] -> ReaderT backend m (Map (Key record) record)
- class (Show (BackendKey backend), Read (BackendKey backend), Eq (BackendKey backend), Ord (BackendKey backend), PersistStoreRead backend, PersistField (BackendKey backend), ToJSON (BackendKey backend), FromJSON (BackendKey backend)) => PersistStoreWrite backend where
- insert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Key record)
- insert_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m ()
- insertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m [Key record]
- insertMany_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m ()
- insertEntityMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [Entity record] -> ReaderT backend m ()
- insertKey :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m ()
- repsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m ()
- repsertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [(Key record, record)] -> ReaderT backend m ()
- replace :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m ()
- delete :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> ReaderT backend m ()
- update :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> [Update record] -> ReaderT backend m ()
- updateGet :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> [Update record] -> ReaderT backend m record
- class (PersistEntity record, PersistEntityBackend record ~ backend, PersistCore backend) => ToBackendKey backend record where
- toBackendKey :: Key record -> BackendKey backend
- fromBackendKey :: BackendKey backend -> Key record
- class PersistEntity record => AtLeastOneUniqueKey record where
- requireUniquesP :: record -> NonEmpty (Unique record)
- type MultipleUniqueKeysError ty = ((('Text "The entity " ':<>: 'ShowType ty) ':<>: 'Text " has multiple unique keys.") ':$$: ('Text "The function you are trying to call requires only a single " ':<>: 'Text "unique key.")) ':$$: (('Text "There is probably a variant of the function with 'By' " ':<>: 'Text "appended that will allow you to select a unique key ") ':<>: 'Text "for the operation.")
- type NoUniqueKeysError ty = (('Text "The entity " ':<>: 'ShowType ty) ':<>: 'Text " does not have any unique keys.") ':$$: ('Text "The function you are trying to call requires a unique key " ':<>: 'Text "to be defined on the entity.")
- class PersistEntity record => OnlyOneUniqueKey record where
- onlyUniqueP :: record -> Unique record
- class PersistStoreRead backend => PersistUniqueRead backend where
- getBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m (Maybe (Entity record))
- existsBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m Bool
- class (PersistUniqueRead backend, PersistStoreWrite backend) => PersistUniqueWrite backend where
- deleteBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m ()
- insertUnique :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Maybe (Key record))
- insertUnique_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Maybe ())
- upsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, OnlyOneUniqueKey record, SafeToInsert record) => record -> [Update record] -> ReaderT backend m (Entity record)
- upsertBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => Unique record -> record -> [Update record] -> ReaderT backend m (Entity record)
- putMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m ()
- data ImplicitIdDef
- newtype ConstraintNameDB = ConstraintNameDB {
- unConstraintNameDB :: Text
- newtype ConstraintNameHS = ConstraintNameHS {
- unConstraintNameHS :: Text
- class DatabaseName a where
- escapeWith :: (Text -> str) -> a -> str
- newtype EntityNameDB = EntityNameDB {
- unEntityNameDB :: Text
- newtype EntityNameHS = EntityNameHS {
- unEntityNameHS :: Text
- newtype FieldNameDB = FieldNameDB {
- unFieldNameDB :: Text
- newtype FieldNameHS = FieldNameHS {
- unFieldNameHS :: Text
- data LiteralType
- data PersistValue where
- PersistText Text
- PersistByteString ByteString
- PersistInt64 Int64
- PersistDouble Double
- PersistRational Rational
- PersistBool Bool
- PersistDay Day
- PersistTimeOfDay TimeOfDay
- PersistUTCTime UTCTime
- PersistNull
- PersistList [PersistValue]
- PersistMap [(Text, PersistValue)]
- PersistObjectId ByteString
- PersistArray [PersistValue]
- PersistLiteral_ LiteralType ByteString
- pattern PersistDbSpecific :: ByteString -> PersistValue
- pattern PersistLiteral :: ByteString -> PersistValue
- pattern PersistLiteralEscaped :: ByteString -> PersistValue
- data EntityJSON = EntityJSON {
- entityToJSON :: Name
- entityFromJSON :: Name
- data MkPersistSettings
- type Attr = Text
- data CascadeAction
- = Cascade
- | Restrict
- | SetNull
- | SetDefault
- data Checkmark
- data CompositeDef = CompositeDef {
- compositeFields :: !(NonEmpty FieldDef)
- compositeAttrs :: ![Attr]
- data EmbedEntityDef = EmbedEntityDef {}
- data EmbedFieldDef = EmbedFieldDef {
- emFieldDB :: FieldNameDB
- emFieldEmbed :: Maybe (Either SelfEmbed EntityNameHS)
- data EntityDef
- data EntityIdDef
- type ExtraLine = [Text]
- data FieldAttr
- = FieldAttrMaybe
- | FieldAttrNullable
- | FieldAttrMigrationOnly
- | FieldAttrSafeToRemove
- | FieldAttrNoreference
- | FieldAttrReference Text
- | FieldAttrConstraint Text
- | FieldAttrDefault Text
- | FieldAttrSqltype Text
- | FieldAttrMaxlen Integer
- | FieldAttrSql Text
- | FieldAttrOther Text
- data FieldCascade = FieldCascade {
- fcOnUpdate :: !(Maybe CascadeAction)
- fcOnDelete :: !(Maybe CascadeAction)
- data FieldDef = FieldDef {
- fieldHaskell :: !FieldNameHS
- fieldDB :: !FieldNameDB
- fieldType :: !FieldType
- fieldSqlType :: !SqlType
- fieldAttrs :: ![FieldAttr]
- fieldStrict :: !Bool
- fieldReference :: !ReferenceDef
- fieldCascade :: !FieldCascade
- fieldComments :: !(Maybe Text)
- fieldGenerated :: !(Maybe Text)
- fieldIsImplicitIdColumn :: !Bool
- data FieldType
- data ForeignDef = ForeignDef {
- foreignRefTableHaskell :: !EntityNameHS
- foreignRefTableDBName :: !EntityNameDB
- foreignConstraintNameHaskell :: !ConstraintNameHS
- foreignConstraintNameDBName :: !ConstraintNameDB
- foreignFieldCascade :: !FieldCascade
- foreignFields :: ![(ForeignFieldDef, ForeignFieldDef)]
- foreignAttrs :: ![Attr]
- foreignNullable :: Bool
- foreignToPrimary :: Bool
- type ForeignFieldDef = (FieldNameHS, FieldNameDB)
- data IsNullable
- data PersistException
- = PersistError Text
- | PersistMarshalError Text
- | PersistInvalidField Text
- | PersistForeignConstraintUnmet Text
- | PersistMongoDBError Text
- | PersistMongoDBUnsupported Text
- data ReferenceDef
- data SqlType
- data UniqueDef = UniqueDef {
- uniqueHaskell :: !ConstraintNameHS
- uniqueDBName :: !ConstraintNameDB
- uniqueFields :: !(NonEmpty (FieldNameHS, FieldNameDB))
- uniqueAttrs :: ![Attr]
- data UpdateException
- = KeyNotFound String
- | UpsertError String
- data WhyNullable
Re-exports from yesod-core
warp :: YesodDispatch site => Int -> site -> IO () #
class RenderRoute site => Yesod site where #
Minimal complete definition
Nothing
Methods
catchHandlerExceptions :: MonadUnliftIO m => site -> m a -> (SomeException -> m a) -> m a #
errorHandler :: ErrorResponse -> HandlerFor site TypedContent #
defaultLayout :: WidgetFor site () -> HandlerFor site Html #
urlParamRenderOverride :: site -> Route site -> [(Text, Text)] -> Maybe Builder #
isAuthorized :: Route site -> Bool -> HandlerFor site AuthResult #
isWriteRequest :: Route site -> HandlerFor site Bool #
authRoute :: site -> Maybe (Route site) #
cleanPath :: site -> [Text] -> Either [Text] [Text] #
joinPath :: site -> Text -> [Text] -> [(Text, Text)] -> Builder #
addStaticContent :: Text -> Text -> ByteString -> HandlerFor site (Maybe (Either Text (Route site, [(Text, Text)]))) #
maximumContentLength :: site -> Maybe (Route site) -> Maybe Word64 #
maximumContentLengthIO :: site -> Maybe (Route site) -> IO (Maybe Word64) #
makeLogger :: site -> IO Logger #
messageLoggerSource :: site -> Logger -> Loc -> LogSource -> LogLevel -> LogStr -> IO () #
jsLoader :: site -> ScriptLoadPosition site #
jsAttributes :: site -> [(Text, Text)] #
jsAttributesHandler :: HandlerFor site [(Text, Text)] #
makeSessionBackend :: site -> IO (Maybe SessionBackend) #
fileUpload :: site -> RequestBodyLength -> FileUpload #
shouldLogIO :: site -> LogSource -> LogLevel -> IO Bool #
yesodMiddleware :: ToTypedContent res => HandlerFor site res -> HandlerFor site res #
yesodWithInternalState :: site -> Maybe (Route site) -> (InternalState -> IO a) -> IO a #
defaultMessageWidget :: Html -> HtmlUrl (Route site) -> WidgetFor site () #
Instances
Instances
Arbitrary Value | |||||
CoArbitrary Value | |||||
Defined in Data.Aeson.Types.Internal Methods coarbitrary :: Value -> Gen b -> Gen b | |||||
Function Value | |||||
Defined in Data.Aeson.Types.Internal | |||||
FromJSON Value | |||||
Defined in Data.Aeson.Types.FromJSON | |||||
ToJSON Value | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
NFData Value | |||||
Defined in Data.Aeson.Types.Internal | |||||
Data Value | |||||
Defined in Data.Aeson.Types.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value dataTypeOf :: Value -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) gmapT :: (forall b. Data b => b -> b) -> Value -> Value gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value | |||||
IsString Value | |||||
Defined in Data.Aeson.Types.Internal Methods fromString :: String -> Value | |||||
Generic Value | |||||
Defined in Data.Aeson.Types.Internal Associated Types
| |||||
Read Value | |||||
Defined in Data.Aeson.Types.Internal | |||||
Show Value | |||||
Eq Value | |||||
Ord Value | |||||
Hashable Value | |||||
Defined in Data.Aeson.Types.Internal | |||||
ToJavascript Value | |||||
Defined in Text.Julius Methods toJavascript :: Value -> Javascript | |||||
HasContentType Encoding | |||||
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Encoding -> ContentType # | |||||
HasContentType Value | |||||
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Value -> ContentType # | |||||
ToContent Encoding | |||||
Defined in Yesod.Core.Content | |||||
ToContent Value | |||||
Defined in Yesod.Core.Content | |||||
ToTypedContent Encoding | |||||
Defined in Yesod.Core.Content Methods toTypedContent :: Encoding -> TypedContent # | |||||
ToTypedContent Value | |||||
Defined in Yesod.Core.Content Methods toTypedContent :: Value -> TypedContent # | |||||
KeyValue Encoding Series | |||||
Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> Series # explicitToField :: (v -> Encoding) -> Key -> v -> Series | |||||
KeyValueOmit Encoding Series | |||||
Defined in Data.Aeson.Types.ToJSON Methods (.?=) :: ToJSON v => Key -> v -> Series explicitToFieldOmit :: (v -> Bool) -> (v -> Encoding) -> Key -> v -> Series | |||||
Lift Value | |||||
(GToJSON' Encoding arity a, ConsToJSON Encoding arity a, Constructor c) => SumToJSON' TwoElemArray Encoding arity (C1 c a) | |||||
Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Encoding arity a0 -> C1 c a a0 -> Tagged TwoElemArray Encoding | |||||
(GToJSON' Value arity a, ConsToJSON Value arity a, Constructor c) => SumToJSON' TwoElemArray Value arity (C1 c a) | |||||
Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Value arity a0 -> C1 c a a0 -> Tagged TwoElemArray Value | |||||
GToJSON' Encoding arity (U1 :: Type -> Type) | |||||
Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a -> U1 a -> Encoding | |||||
GToJSON' Encoding arity (V1 :: Type -> Type) | |||||
Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a -> V1 a -> Encoding | |||||
GToJSON' Value arity (U1 :: Type -> Type) | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
GToJSON' Value arity (V1 :: Type -> Type) | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
ToJSON1 f => GToJSON' Encoding One (Rec1 f) | |||||
Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> Rec1 f a -> Encoding | |||||
ToJSON1 f => GToJSON' Value One (Rec1 f) | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
(EncodeProduct arity a, EncodeProduct arity b) => GToJSON' Encoding arity (a :*: b) | |||||
Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> (a :*: b) a0 -> Encoding | |||||
ToJSON a => GToJSON' Encoding arity (K1 i a :: Type -> Type) | |||||
Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> K1 i a a0 -> Encoding | |||||
(WriteProduct arity a, WriteProduct arity b, ProductSize a, ProductSize b) => GToJSON' Value arity (a :*: b) | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
ToJSON a => GToJSON' Value arity (K1 i a :: Type -> Type) | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
(ToJSON1 f, GToJSON' Encoding One g) => GToJSON' Encoding One (f :.: g) | |||||
Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> (f :.: g) a -> Encoding | |||||
(ToJSON1 f, GToJSON' Value One g) => GToJSON' Value One (f :.: g) | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
FromPairs Value (DList Pair) | |||||
Defined in Data.Aeson.Types.ToJSON | |||||
value ~ Value => KeyValue Value (KeyMap value) | |||||
Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> KeyMap value # explicitToField :: (v -> Value) -> Key -> v -> KeyMap value | |||||
value ~ Value => KeyValueOmit Value (KeyMap value) | |||||
Defined in Data.Aeson.Types.ToJSON Methods (.?=) :: ToJSON v => Key -> v -> KeyMap value explicitToFieldOmit :: (v -> Bool) -> (v -> Value) -> Key -> v -> KeyMap value | |||||
v ~ Value => KeyValuePair v (DList Pair) | |||||
Defined in Data.Aeson.Types.ToJSON Methods pair :: Key -> v -> DList Pair | |||||
(key ~ Key, value ~ Value) => KeyValue Value (key, value) | |||||
Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> (key, value) # explicitToField :: (v -> Value) -> Key -> v -> (key, value) | |||||
type Rep Value | |||||
Defined in Data.Aeson.Types.Internal type Rep Value = D1 ('MetaData "Value" "Data.Aeson.Types.Internal" "aeson-2.2.3.0-GWQ3CepVESo8n3MMUmyiT" 'False) ((C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Object)) :+: (C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Array)) :+: C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)) :+: (C1 ('MetaCons "Bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type)))) |
type Application = Request -> (Response -> IO ResponseReceived) -> IO ResponseReceived #
Constructors
LevelDebug | |
LevelInfo | |
LevelWarn | |
LevelError | |
LevelOther Text |
Instances
Read LogLevel | |
Defined in Control.Monad.Logger | |
Show LogLevel | |
Eq LogLevel | |
Ord LogLevel | |
Defined in Control.Monad.Logger | |
Lift LogLevel | |
class YesodBreadcrumbs site where #
Methods
breadcrumb :: Route site -> HandlerFor site (Text, Maybe (Route site)) #
breadcrumbs :: (YesodBreadcrumbs site, Show (Route site), Eq (Route site)) => HandlerFor site (Text, [(Route site, Text)]) #
class Yesod site => YesodDispatch site where #
Methods
yesodDispatch :: YesodRunnerEnv site -> Application #
Instances
YesodDispatch LiteApp | |
Defined in Yesod.Core.Internal.LiteApp Methods yesodDispatch :: YesodRunnerEnv LiteApp -> Application # |
class YesodSubDispatch sub master where #
Methods
yesodSubDispatch :: YesodSubRunnerEnv sub master -> Application #
Instances
YesodSubDispatch WaiSubsite master | |
Defined in Yesod.Core.Class.Dispatch Methods yesodSubDispatch :: YesodSubRunnerEnv WaiSubsite master -> Application # | |
YesodSubDispatch WaiSubsiteWithAuth master | |
Defined in Yesod.Core.Class.Dispatch Methods yesodSubDispatch :: YesodSubRunnerEnv WaiSubsiteWithAuth master -> Application # |
class (MonadResource m, MonadLogger m) => MonadHandler (m :: Type -> Type) where #
Methods
liftHandler :: HandlerFor (HandlerSite m) a -> m a #
liftSubHandler :: SubHandlerFor (SubHandlerSite m) (HandlerSite m) a -> m a #
Instances
type family HandlerSite (m :: Type -> Type) #
Instances
type HandlerSite (MaybeT m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (HandlerFor site) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (WidgetFor site) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (ExceptT e m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (IdentityT m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (ReaderT r m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (StateT s m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (StateT s m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (WriterT w m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (WriterT w m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (SubHandlerFor sub master) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (ConduitM i o m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (RWST r w s m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (RWST r w s m) | |
Defined in Yesod.Core.Class.Handler | |
type HandlerSite (Pipe l i o u m) | |
Defined in Yesod.Core.Class.Handler |
class MonadHandler m => MonadWidget (m :: Type -> Type) where #
Methods
liftWidget :: WidgetFor (HandlerSite m) a -> m a #
Instances
MonadWidget m => MonadWidget (MaybeT m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (MaybeT m)) a -> MaybeT m a # | |
MonadWidget (WidgetFor site) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (WidgetFor site)) a -> WidgetFor site a # | |
MonadWidget m => MonadWidget (ExceptT e m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (ExceptT e m)) a -> ExceptT e m a # | |
MonadWidget m => MonadWidget (IdentityT m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (IdentityT m)) a -> IdentityT m a # | |
MonadWidget m => MonadWidget (ReaderT r m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (ReaderT r m)) a -> ReaderT r m a # | |
MonadWidget m => MonadWidget (StateT s m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (StateT s m)) a -> StateT s m a # | |
MonadWidget m => MonadWidget (StateT s m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (StateT s m)) a -> StateT s m a # | |
(Monoid w, MonadWidget m) => MonadWidget (WriterT w m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (WriterT w m)) a -> WriterT w m a # | |
(Monoid w, MonadWidget m) => MonadWidget (WriterT w m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (WriterT w m)) a -> WriterT w m a # | |
MonadWidget m => MonadWidget (ConduitM i o m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (ConduitM i o m)) a -> ConduitM i o m a # | |
(Monoid w, MonadWidget m) => MonadWidget (RWST r w s m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (RWST r w s m)) a -> RWST r w s m a # | |
(Monoid w, MonadWidget m) => MonadWidget (RWST r w s m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (RWST r w s m)) a -> RWST r w s m a # | |
MonadWidget m => MonadWidget (Pipe l i o u m) | |
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (Pipe l i o u m)) a -> Pipe l i o u m a # |
type family SubHandlerSite (m :: Type -> Type) #
Instances
type SubHandlerSite (MaybeT m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (HandlerFor site) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (WidgetFor site) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (ExceptT e m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (IdentityT m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (ReaderT r m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (StateT s m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (StateT s m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (WriterT w m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (WriterT w m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (SubHandlerFor sub master) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (ConduitM i o m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (RWST r w s m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (RWST r w s m) | |
Defined in Yesod.Core.Class.Handler | |
type SubHandlerSite (Pipe l i o u m) | |
Defined in Yesod.Core.Class.Handler |
authorizationCheck :: Yesod site => HandlerFor site () #
clientSessionBackend :: Key -> IO ClientSessionDateCache -> SessionBackend #
csrfCheckMiddleware :: HandlerFor site res -> HandlerFor site Bool -> CI ByteString -> Text -> HandlerFor site res #
csrfSetCookieMiddleware :: HandlerFor site res -> SetCookie -> HandlerFor site res #
customizeSessionCookies :: (SetCookie -> SetCookie) -> SessionBackend -> SessionBackend #
defaultClientSessionBackend :: Int -> FilePath -> IO SessionBackend #
defaultCsrfCheckMiddleware :: Yesod site => HandlerFor site res -> HandlerFor site res #
defaultCsrfMiddleware :: Yesod site => HandlerFor site res -> HandlerFor site res #
defaultCsrfSetCookieMiddleware :: HandlerFor site res -> HandlerFor site res #
defaultErrorHandler :: Yesod site => ErrorResponse -> HandlerFor site TypedContent #
defaultMakeLogger :: IO Logger #
defaultMessageLoggerSource :: (LogSource -> LogLevel -> IO Bool) -> Logger -> Loc -> LogSource -> LogLevel -> LogStr -> IO () #
defaultShouldLogIO :: LogSource -> LogLevel -> IO Bool #
defaultYesodMiddleware :: Yesod site => HandlerFor site res -> HandlerFor site res #
envClientSessionBackend :: Int -> String -> IO SessionBackend #
formatLogMessage :: IO ZonedDate -> Loc -> LogSource -> LogLevel -> LogStr -> IO LogStr #
getApprootText :: Approot site -> site -> Request -> Text #
guessApproot :: Approot site #
guessApprootOr :: Approot site -> Approot site #
laxSameSiteSessions :: IO (Maybe SessionBackend) -> IO (Maybe SessionBackend) #
loadClientSession :: Key -> IO ClientSessionDateCache -> ByteString -> Request -> IO (SessionMap, SaveSession) #
sslOnlyMiddleware :: Int -> HandlerFor site res -> HandlerFor site res #
sslOnlySessions :: IO (Maybe SessionBackend) -> IO (Maybe SessionBackend) #
strictSameSiteSessions :: IO (Maybe SessionBackend) -> IO (Maybe SessionBackend) #
widgetToPageContent :: Yesod site => WidgetFor site () -> HandlerFor site (PageContent (Route site)) #
class ToTypedContent a => HasContentType a where #
Methods
getContentType :: Monad m => m a -> ContentType #
Instances
HasContentType Encoding | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Encoding -> ContentType # | |
HasContentType Value | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Value -> ContentType # | |
HasContentType Html | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Html -> ContentType # | |
HasContentType Css | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Css -> ContentType # | |
HasContentType Javascript | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Javascript -> ContentType # | |
HasContentType Text | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Text -> ContentType # | |
HasContentType Text | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m Text -> ContentType # | |
HasContentType RepJson | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m RepJson -> ContentType # | |
HasContentType RepPlain | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m RepPlain -> ContentType # | |
HasContentType RepXml | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m RepXml -> ContentType # | |
HasContentType a => HasContentType (DontFullyEvaluate a) | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m (DontFullyEvaluate a) -> ContentType # | |
HasContentType (JSONResponse a) | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m (JSONResponse a) -> ContentType # |
Instances
ToContent Encoding | |
Defined in Yesod.Core.Content | |
ToContent Value | |
Defined in Yesod.Core.Content | |
ToContent Html | |
Defined in Yesod.Core.Content | |
ToContent Builder | |
Defined in Yesod.Core.Content | |
ToContent ByteString | |
Defined in Yesod.Core.Content | |
ToContent ByteString | |
Defined in Yesod.Core.Content | |
ToContent Void | |
Defined in Yesod.Core.Content | |
ToContent Css | |
Defined in Yesod.Core.Content | |
ToContent Javascript | |
Defined in Yesod.Core.Content | |
ToContent Text | |
Defined in Yesod.Core.Content | |
ToContent Text | |
Defined in Yesod.Core.Content | |
ToContent Content | |
Defined in Yesod.Core.Content | |
ToContent RepJson | |
Defined in Yesod.Core.Content | |
ToContent RepPlain | |
Defined in Yesod.Core.Content | |
ToContent RepXml | |
Defined in Yesod.Core.Content | |
ToContent TypedContent | |
Defined in Yesod.Core.Content Methods toContent :: TypedContent -> Content # | |
ToContent String | |
Defined in Yesod.Core.Content | |
ToContent () | |
Defined in Yesod.Core.Content | |
ToContent a => ToContent (DontFullyEvaluate a) | |
Defined in Yesod.Core.Content Methods toContent :: DontFullyEvaluate a -> Content # | |
ToContent (JSONResponse a) | |
Defined in Yesod.Core.Content | |
ToContent (ContentType, Content) | |
Defined in Yesod.Core.Content Methods toContent :: (ContentType, Content) -> Content # | |
ToFlushBuilder builder => ToContent (ConduitT () builder (ResourceT IO) ()) | |
Defined in Yesod.Core.Content | |
ToFlushBuilder builder => ToContent (SealedConduitT () builder (ResourceT IO) ()) | |
Defined in Yesod.Core.Content | |
ToFlushBuilder builder => ToContent (Pipe () () builder () (ResourceT IO) ()) | |
Defined in Yesod.Core.Content |
class ToFlushBuilder a where #
Methods
toFlushBuilder :: a -> Flush Builder #
Instances
ToFlushBuilder Html | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Html -> Flush Builder # | |
ToFlushBuilder Builder | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Builder -> Flush Builder # | |
ToFlushBuilder ByteString | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: ByteString -> Flush Builder # | |
ToFlushBuilder ByteString | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: ByteString -> Flush Builder # | |
ToFlushBuilder Text | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Text -> Flush Builder # | |
ToFlushBuilder Text | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Text -> Flush Builder # | |
ToFlushBuilder String | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: String -> Flush Builder # | |
ToFlushBuilder (Flush Html) | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Flush Html -> Flush Builder # | |
ToFlushBuilder (Flush Builder) | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Flush Builder -> Flush Builder # | |
ToFlushBuilder (Flush ByteString) | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Flush ByteString -> Flush Builder # | |
ToFlushBuilder (Flush ByteString) | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Flush ByteString -> Flush Builder # | |
ToFlushBuilder (Flush Text) | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Flush Text -> Flush Builder # | |
ToFlushBuilder (Flush Text) | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Flush Text -> Flush Builder # | |
ToFlushBuilder (Flush String) | |
Defined in Yesod.Core.Content Methods toFlushBuilder :: Flush String -> Flush Builder # |
class ToContent a => ToTypedContent a where #
Methods
toTypedContent :: a -> TypedContent #
Instances
ToTypedContent Encoding | |
Defined in Yesod.Core.Content Methods toTypedContent :: Encoding -> TypedContent # | |
ToTypedContent Value | |
Defined in Yesod.Core.Content Methods toTypedContent :: Value -> TypedContent # | |
ToTypedContent Html | |
Defined in Yesod.Core.Content Methods toTypedContent :: Html -> TypedContent # | |
ToTypedContent Void | |
Defined in Yesod.Core.Content Methods toTypedContent :: Void -> TypedContent # | |
ToTypedContent Css | |
Defined in Yesod.Core.Content Methods toTypedContent :: Css -> TypedContent # | |
ToTypedContent Javascript | |
Defined in Yesod.Core.Content Methods toTypedContent :: Javascript -> TypedContent # | |
ToTypedContent Text | |
Defined in Yesod.Core.Content Methods toTypedContent :: Text -> TypedContent # | |
ToTypedContent Text | |
Defined in Yesod.Core.Content Methods toTypedContent :: Text -> TypedContent # | |
ToTypedContent RepJson | |
Defined in Yesod.Core.Content Methods toTypedContent :: RepJson -> TypedContent # | |
ToTypedContent RepPlain | |
Defined in Yesod.Core.Content Methods toTypedContent :: RepPlain -> TypedContent # | |
ToTypedContent RepXml | |
Defined in Yesod.Core.Content Methods toTypedContent :: RepXml -> TypedContent # | |
ToTypedContent TypedContent | |
Defined in Yesod.Core.Content Methods | |
ToTypedContent () | |
Defined in Yesod.Core.Content Methods toTypedContent :: () -> TypedContent # | |
ToTypedContent a => ToTypedContent (DontFullyEvaluate a) | |
Defined in Yesod.Core.Content Methods toTypedContent :: DontFullyEvaluate a -> TypedContent # | |
ToTypedContent (JSONResponse a) | |
Defined in Yesod.Core.Content Methods toTypedContent :: JSONResponse a -> TypedContent # | |
ToTypedContent [Char] | |
Defined in Yesod.Core.Content Methods toTypedContent :: [Char] -> TypedContent # | |
ToTypedContent (ContentType, Content) | |
Defined in Yesod.Core.Content Methods toTypedContent :: (ContentType, Content) -> TypedContent # |
contentTypeTypes :: ContentType -> (ByteString, ByteString) #
emptyContent :: Content #
typeAtom :: ContentType #
typeCss :: ContentType #
typeFlv :: ContentType #
typeGif :: ContentType #
typeHtml :: ContentType #
typeJpeg :: ContentType #
typeJson :: ContentType #
typeOgv :: ContentType #
typePng :: ContentType #
typeRss :: ContentType #
typeSvg :: ContentType #
typeXml :: ContentType #
defaultGen :: IO Int #
defaultMiddlewaresNoLogging :: Middleware #
getGetMaxExpires :: IO (IO Text) #
mkDefaultMiddlewares :: Logger -> IO Middleware #
toWaiApp :: YesodDispatch site => site -> IO Application #
toWaiAppPlain :: YesodDispatch site => site -> IO Application #
toWaiAppYre :: YesodDispatch site => YesodRunnerEnv site -> Application #
warpDebug :: YesodDispatch site => Int -> site -> IO () #
warpEnv :: YesodDispatch site => site -> IO () #
Constructors
a :#: b |
Instances
(RedirectUrl master a, PathPiece b) => RedirectUrl master (Fragment a b) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => Fragment a b -> m Text # | |
(Show a, Show b) => Show (Fragment a b) | |
type HandlerT site (m :: Type -> Type) = HandlerFor site #
data ProvidedRep (m :: Type -> Type) #
class RedirectUrl master a where #
Methods
toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => a -> m Text #
Instances
RedirectUrl master Text | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => Text -> m Text # | |
RedirectUrl master String | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => String -> m Text # | |
RedirectUrl master (Route master) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => Route master -> m Text # | |
(RedirectUrl master a, PathPiece b) => RedirectUrl master (Fragment a b) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => Fragment a b -> m Text # | |
(key ~ Text, val ~ Text) => RedirectUrl master (Route master, Map key val) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => (Route master, Map key val) -> m Text # | |
(key ~ Text, val ~ Text) => RedirectUrl master (Route master, [(key, val)]) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => (Route master, [(key, val)]) -> m Text # |
addContentDispositionFileName :: MonadHandler m => Text -> m () #
addHeader :: MonadHandler m => Text -> Text -> m () #
addMessage :: MonadHandler m => Text -> Html -> m () #
addMessageI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => Text -> msg -> m () #
alreadyExpired :: MonadHandler m => m () #
badMethod :: MonadHandler m => m a #
cacheByGet :: (MonadHandler m, Typeable a) => ByteString -> m (Maybe a) #
cacheBySet :: (MonadHandler m, Typeable a) => ByteString -> a -> m () #
cacheGet :: (MonadHandler m, Typeable a) => m (Maybe a) #
cacheSeconds :: MonadHandler m => Int -> m () #
cacheSet :: (MonadHandler m, Typeable a) => a -> m () #
cached :: (MonadHandler m, Typeable a) => m a -> m a #
cachedBy :: (MonadHandler m, Typeable a) => ByteString -> m a -> m a #
checkCsrfHeaderNamed :: MonadHandler m => CI ByteString -> m () #
checkCsrfHeaderOrParam :: (MonadHandler m, MonadLogger m) => CI ByteString -> Text -> m () #
checkCsrfParamNamed :: MonadHandler m => Text -> m () #
clearSession :: MonadHandler m => m () #
clearUltDest :: MonadHandler m => m () #
defaultCsrfCookieName :: ByteString #
defaultCsrfHeaderName :: CI ByteString #
defaultCsrfParamName :: Text #
deleteCookie :: MonadHandler m => Text -> Text -> m () #
deleteSession :: MonadHandler m => Text -> m () #
expiresAt :: MonadHandler m => UTCTime -> m () #
fileSource :: forall (m :: Type -> Type). MonadResource m => FileInfo -> ConduitT () ByteString m () #
fileSourceByteString :: MonadResource m => FileInfo -> m ByteString #
forkHandler :: (SomeException -> HandlerFor site ()) -> HandlerFor site () -> HandlerFor site () #
getCurrentRoute :: MonadHandler m => m (Maybe (Route (HandlerSite m))) #
getExpires :: MonadIO m => Int -> m UTCTime #
getMessage :: MonadHandler m => m (Maybe Html) #
getMessageRender :: (MonadHandler m, RenderMessage (HandlerSite m) message) => m (message -> Text) #
getMessages :: MonadHandler m => m [(Text, Html)] #
getPostParams :: MonadHandler m => m [(Text, Text)] #
getRequest :: MonadHandler m => m YesodRequest #
getRouteToParent :: MonadHandler m => m (Route (SubHandlerSite m) -> Route (HandlerSite m)) #
getSession :: MonadHandler m => m SessionMap #
getSubCurrentRoute :: MonadHandler m => m (Maybe (Route (SubHandlerSite m))) #
getSubYesod :: MonadHandler m => m (SubHandlerSite m) #
getUrlRender :: MonadHandler m => m (Route (HandlerSite m) -> Text) #
getUrlRenderParams :: MonadHandler m => m (Route (HandlerSite m) -> [(Text, Text)] -> Text) #
getYesod :: MonadHandler m => m (HandlerSite m) #
getsYesod :: MonadHandler m => (HandlerSite m -> a) -> m a #
giveUrlRenderer :: MonadHandler m => ((Route (HandlerSite m) -> [(Text, Text)] -> Text) -> output) -> m output #
hamletToRepHtml :: MonadHandler m => HtmlUrl (Route (HandlerSite m)) -> m Html #
handlerToIO :: MonadIO m => HandlerFor site (HandlerFor site a -> m a) #
hasValidCsrfHeaderNamed :: MonadHandler m => CI ByteString -> m Bool #
hasValidCsrfParamNamed :: MonadHandler m => Text -> m Bool #
invalidArgs :: MonadHandler m => [Text] -> m a #
invalidArgsI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => [msg] -> m a #
languages :: MonadHandler m => m [Text] #
lookupBasicAuth :: MonadHandler m => m (Maybe (Text, Text)) #
lookupBearerAuth :: MonadHandler m => m (Maybe Text) #
lookupCookie :: MonadHandler m => Text -> m (Maybe Text) #
lookupCookies :: MonadHandler m => Text -> m [Text] #
lookupFile :: MonadHandler m => Text -> m (Maybe FileInfo) #
lookupFiles :: MonadHandler m => Text -> m [FileInfo] #
lookupGetParam :: MonadHandler m => Text -> m (Maybe Text) #
lookupGetParams :: MonadHandler m => Text -> m [Text] #
lookupHeader :: MonadHandler m => CI ByteString -> m (Maybe ByteString) #
lookupHeaders :: MonadHandler m => CI ByteString -> m [ByteString] #
lookupPostParam :: (MonadResource m, MonadHandler m) => Text -> m (Maybe Text) #
lookupPostParams :: (MonadResource m, MonadHandler m) => Text -> m [Text] #
lookupSession :: MonadHandler m => Text -> m (Maybe Text) #
lookupSessionBS :: MonadHandler m => Text -> m (Maybe ByteString) #
neverExpires :: MonadHandler m => m () #
newIdent :: MonadHandler m => m Text #
notAuthenticated :: MonadHandler m => m a #
notFound :: MonadHandler m => m a #
notModified :: MonadHandler m => m a #
permissionDenied :: MonadHandler m => Text -> m a #
permissionDeniedI :: (RenderMessage (HandlerSite m) msg, MonadHandler m) => msg -> m a #
provideRep :: (Monad m, HasContentType a) => m a -> Writer (Endo [ProvidedRep m]) () #
provideRepType :: (Monad m, ToContent a) => ContentType -> m a -> Writer (Endo [ProvidedRep m]) () #
rawRequestBody :: forall (m :: Type -> Type) i. MonadHandler m => ConduitT i ByteString m () #
redirect :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m a #
redirectToPost :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m a #
redirectUltDest :: (RedirectUrl (HandlerSite m) url, MonadHandler m) => url -> m a #
redirectWith :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => Status -> url -> m a #
replaceOrAddHeader :: MonadHandler m => Text -> Text -> m () #
respond :: (Monad m, ToContent a) => ContentType -> a -> m TypedContent #
respondSource :: ContentType -> ConduitT () (Flush Builder) (HandlerFor site) () -> HandlerFor site TypedContent #
runRequestBody :: MonadHandler m => m RequestBodyContents #
selectRep :: MonadHandler m => Writer (Endo [ProvidedRep m]) () -> m TypedContent #
sendChunk :: forall (m :: Type -> Type) a i. (Monad m, ToFlushBuilder a) => a -> ConduitT i (Flush Builder) m () #
sendChunkBS :: forall (m :: Type -> Type) i. Monad m => ByteString -> ConduitT i (Flush Builder) m () #
sendChunkHtml :: forall (m :: Type -> Type) i. Monad m => Html -> ConduitT i (Flush Builder) m () #
sendChunkLBS :: forall (m :: Type -> Type) i. Monad m => ByteString -> ConduitT i (Flush Builder) m () #
sendChunkLazyText :: forall (m :: Type -> Type) i. Monad m => Text -> ConduitT i (Flush Builder) m () #
sendChunkText :: forall (m :: Type -> Type) i. Monad m => Text -> ConduitT i (Flush Builder) m () #
sendFile :: MonadHandler m => ContentType -> FilePath -> m a #
sendFilePart :: MonadHandler m => ContentType -> FilePath -> Integer -> Integer -> m a #
sendRawResponse :: (MonadHandler m, MonadUnliftIO m) => (ConduitT () ByteString IO () -> ConduitT ByteString Void IO () -> m ()) -> m a #
sendRawResponseNoConduit :: (MonadHandler m, MonadUnliftIO m) => (IO ByteString -> (ByteString -> IO ()) -> m ()) -> m a #
sendResponse :: (MonadHandler m, ToTypedContent c) => c -> m a #
sendResponseCreated :: MonadHandler m => Route (HandlerSite m) -> m a #
sendResponseNoContent :: MonadHandler m => m a #
sendResponseStatus :: (MonadHandler m, ToTypedContent c) => Status -> c -> m a #
sendStatusJSON :: (MonadHandler m, ToJSON c) => Status -> c -> m a #
sendWaiApplication :: MonadHandler m => Application -> m b #
sendWaiResponse :: MonadHandler m => Response -> m b #
setCookie :: MonadHandler m => SetCookie -> m () #
setCsrfCookie :: MonadHandler m => m () #
setCsrfCookieWithCookie :: MonadHandler m => SetCookie -> m () #
setEtag :: MonadHandler m => Text -> m () #
setHeader :: MonadHandler m => Text -> Text -> m () #
setLanguage :: MonadHandler m => Text -> m () #
setMessage :: MonadHandler m => Html -> m () #
setMessageI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => msg -> m () #
setSession :: MonadHandler m => Text -> Text -> m () #
setSessionBS :: MonadHandler m => Text -> ByteString -> m () #
setUltDest :: (MonadHandler m, RedirectUrl (HandlerSite m) url) => url -> m () #
setUltDestCurrent :: MonadHandler m => m () #
setUltDestReferer :: MonadHandler m => m () #
setWeakEtag :: MonadHandler m => Text -> m () #
waiRequest :: MonadHandler m => m Request #
withUrlRenderer :: MonadHandler m => ((Route (HandlerSite m) -> [(Text, Text)] -> Text) -> output) -> m output #
Constructors
LiteApp | |
Fields
|
Instances
Monoid LiteApp | |||||
Semigroup LiteApp | |||||
YesodDispatch LiteApp | |||||
Defined in Yesod.Core.Internal.LiteApp Methods yesodDispatch :: YesodRunnerEnv LiteApp -> Application # | |||||
Yesod LiteApp | |||||
Defined in Yesod.Core.Internal.LiteApp Methods catchHandlerExceptions :: MonadUnliftIO m => LiteApp -> m a -> (SomeException -> m a) -> m a # errorHandler :: ErrorResponse -> HandlerFor LiteApp TypedContent # defaultLayout :: WidgetFor LiteApp () -> HandlerFor LiteApp Html # urlParamRenderOverride :: LiteApp -> Route LiteApp -> [(Text, Text)] -> Maybe Builder # isAuthorized :: Route LiteApp -> Bool -> HandlerFor LiteApp AuthResult # isWriteRequest :: Route LiteApp -> HandlerFor LiteApp Bool # authRoute :: LiteApp -> Maybe (Route LiteApp) # cleanPath :: LiteApp -> [Text] -> Either [Text] [Text] # joinPath :: LiteApp -> Text -> [Text] -> [(Text, Text)] -> Builder # addStaticContent :: Text -> Text -> ByteString -> HandlerFor LiteApp (Maybe (Either Text (Route LiteApp, [(Text, Text)]))) # maximumContentLength :: LiteApp -> Maybe (Route LiteApp) -> Maybe Word64 # maximumContentLengthIO :: LiteApp -> Maybe (Route LiteApp) -> IO (Maybe Word64) # makeLogger :: LiteApp -> IO Logger # messageLoggerSource :: LiteApp -> Logger -> Loc -> LogSource -> LogLevel -> LogStr -> IO () # jsLoader :: LiteApp -> ScriptLoadPosition LiteApp # jsAttributes :: LiteApp -> [(Text, Text)] # jsAttributesHandler :: HandlerFor LiteApp [(Text, Text)] # makeSessionBackend :: LiteApp -> IO (Maybe SessionBackend) # fileUpload :: LiteApp -> RequestBodyLength -> FileUpload # shouldLogIO :: LiteApp -> LogSource -> LogLevel -> IO Bool # yesodMiddleware :: ToTypedContent res => HandlerFor LiteApp res -> HandlerFor LiteApp res # yesodWithInternalState :: LiteApp -> Maybe (Route LiteApp) -> (InternalState -> IO a) -> IO a # defaultMessageWidget :: Html -> HtmlUrl (Route LiteApp) -> WidgetFor LiteApp () # | |||||
ParseRoute LiteApp | |||||
Defined in Yesod.Core.Internal.LiteApp Methods parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route LiteApp) # | |||||
RenderRoute LiteApp | |||||
Defined in Yesod.Core.Internal.LiteApp Associated Types
Methods renderRoute :: Route LiteApp -> ([Text], [(Text, Text)]) # | |||||
Read (Route LiteApp) | |||||
Show (Route LiteApp) | |||||
Eq (Route LiteApp) | |||||
Ord (Route LiteApp) | |||||
Defined in Yesod.Core.Internal.LiteApp | |||||
data Route LiteApp | |||||
Defined in Yesod.Core.Internal.LiteApp |
Instances
RedirectUrl master (Route master) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => Route master -> m Text # | |
(key ~ Text, val ~ Text) => RedirectUrl master (Route master, Map key val) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => (Route master, Map key val) -> m Text # | |
(key ~ Text, val ~ Text) => RedirectUrl master (Route master, [(key, val)]) | |
Defined in Yesod.Core.Handler Methods toTextUrl :: (MonadHandler m, HandlerSite m ~ master) => (Route master, [(key, val)]) -> m Text # | |
Read (Route LiteApp) | |
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] | |
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 LiteApp) | |
Show (Route WaiSubsite) | |
Defined in Yesod.Core.Types Methods showsPrec :: Int -> Route WaiSubsite -> ShowS show :: Route WaiSubsite -> String showList :: [Route WaiSubsite] -> ShowS | |
Show (Route WaiSubsiteWithAuth) | |
Defined in Yesod.Core.Types Methods showsPrec :: Int -> Route WaiSubsiteWithAuth -> ShowS show :: Route WaiSubsiteWithAuth -> String showList :: [Route WaiSubsiteWithAuth] -> ShowS | |
Eq (Route LiteApp) | |
Eq (Route WaiSubsite) | |
Defined in Yesod.Core.Types Methods (==) :: Route WaiSubsite -> Route WaiSubsite -> Bool (/=) :: Route WaiSubsite -> Route WaiSubsite -> Bool | |
Eq (Route WaiSubsiteWithAuth) | |
Defined in Yesod.Core.Types Methods (==) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool (/=) :: Route WaiSubsiteWithAuth -> Route WaiSubsiteWithAuth -> Bool | |
Ord (Route LiteApp) | |
Defined in Yesod.Core.Internal.LiteApp | |
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 | |
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 | |
data Route LiteApp | |
Defined in Yesod.Core.Internal.LiteApp | |
data Route WaiSubsite | |
Defined in Yesod.Core.Types | |
data Route WaiSubsiteWithAuth | |
Defined in Yesod.Core.Types |
type LiteHandler = HandlerFor LiteApp #
type LiteWidget = WidgetFor LiteApp #
dispatchTo :: ToTypedContent a => LiteHandler a -> Writer LiteApp () #
withDynamic :: PathPiece p => (p -> Writer LiteApp ()) -> Writer LiteApp () #
withDynamicMulti :: PathMultiPiece ps => (ps -> Writer LiteApp ()) -> Writer LiteApp () #
runFakeHandler :: (Yesod site, MonadIO m) => SessionMap -> (site -> Logger) -> site -> HandlerT site IO a -> m (Either ErrorResponse a) #
yesodRender :: Yesod y => y -> ResolvedApproot -> Route y -> [(Text, Text)] -> Text #
yesodRunner :: (ToTypedContent res, Yesod site) => HandlerFor site res -> YesodRunnerEnv site -> Maybe (Route site) -> Application #
clientSessionDateCacher :: NominalDiffTime -> IO (IO ClientSessionDateCache, IO ()) #
mkYesodData :: String -> [ResourceTree String] -> Q [Dec] #
mkYesodDataOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec] #
mkYesodDispatch :: String -> [ResourceTree String] -> Q [Dec] #
mkYesodDispatchOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec] #
mkYesodOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec] #
mkYesodSubData :: String -> [ResourceTree String] -> Q [Dec] #
mkYesodSubDataOpts :: RouteOpts -> String -> [ResourceTree String] -> Q [Dec] #
mkYesodSubDispatch :: [ResourceTree a] -> Q Exp #
mkYesodWith :: [[String]] -> String -> [String] -> [ResourceTree String] -> Q [Dec] #
formatRFC1123 :: UTCTime -> Text #
formatRFC822 :: UTCTime -> Text #
acceptsJson :: MonadHandler m => m Bool #
contentTypeHeaderIsJson :: ByteString -> Bool #
defaultLayoutJson :: (Yesod site, ToJSON a) => WidgetFor site () -> HandlerFor site a -> HandlerFor site TypedContent #
jsonEncodingOrRedirect :: (MonadHandler m, ToJSON a) => Route (HandlerSite m) -> a -> m Encoding #
jsonOrRedirect :: (MonadHandler m, ToJSON a) => Route (HandlerSite m) -> a -> m Value #
jsonToRepJson :: (Monad m, ToJSON a) => a -> m Value #
parseCheckJsonBody :: (MonadHandler m, FromJSON a) => m (Result a) #
parseInsecureJsonBody :: (MonadHandler m, FromJSON a) => m (Result a) #
parseJsonBody :: (MonadHandler m, FromJSON a) => m (Result a) #
parseJsonBody_ :: (MonadHandler m, FromJSON a) => m a #
provideJson :: forall (m :: Type -> Type) a. (Monad m, ToJSON a) => a -> Writer (Endo [ProvidedRep m]) () #
requireCheckJsonBody :: (MonadHandler m, FromJSON a) => m a #
requireInsecureJsonBody :: (MonadHandler m, FromJSON a) => m a #
requireJsonBody :: (MonadHandler m, FromJSON a) => m a #
returnJson :: (Monad m, ToJSON a) => a -> m Value #
returnJsonEncoding :: (Monad m, ToJSON a) => a -> m Encoding #
Constructors
AddCookie !SetCookie | |
DeleteCookie !ByteString !ByteString | |
Header !(CI ByteString) !ByteString |
Instances
NFData Header | |
Defined in Yesod.Core.Types | |
Show Header | |
Eq Header | |
Constructors
ApprootRelative | |
ApprootStatic !Text | |
ApprootMaster !(master -> Text) | |
ApprootRequest !(master -> Request -> Text) |
data AuthResult #
Constructors
Authorized | |
AuthenticationRequired | |
Unauthorized !Text |
Instances
Read AuthResult | |
Defined in Yesod.Core.Types Methods readsPrec :: Int -> ReadS AuthResult readList :: ReadS [AuthResult] readPrec :: ReadPrec AuthResult readListPrec :: ReadPrec [AuthResult] | |
Show AuthResult | |
Defined in Yesod.Core.Types Methods showsPrec :: Int -> AuthResult -> ShowS show :: AuthResult -> String showList :: [AuthResult] -> ShowS | |
Eq AuthResult | |
Defined in Yesod.Core.Types |
data ErrorResponse #
Constructors
NotFound | |
InternalError !Text | |
InvalidArgs ![Text] | |
NotAuthenticated | |
PermissionDenied !Text | |
BadMethod !Method |
Instances
NFData ErrorResponse | |||||
Defined in Yesod.Core.Types Methods rnf :: ErrorResponse -> () | |||||
Generic ErrorResponse | |||||
Defined in Yesod.Core.Types Associated Types
| |||||
Show ErrorResponse | |||||
Defined in Yesod.Core.Types Methods showsPrec :: Int -> ErrorResponse -> ShowS show :: ErrorResponse -> String showList :: [ErrorResponse] -> ShowS | |||||
Eq ErrorResponse | |||||
Defined in Yesod.Core.Types | |||||
type Rep ErrorResponse | |||||
Defined in Yesod.Core.Types type Rep ErrorResponse = D1 ('MetaData "ErrorResponse" "Yesod.Core.Types" "yesod-core-1.6.27.0-JEFEipwfkUq5ukmS7YQqA4" 'False) ((C1 ('MetaCons "NotFound" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InternalError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "InvalidArgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text])))) :+: (C1 ('MetaCons "NotAuthenticated" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PermissionDenied" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "BadMethod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Method))))) |
data ScriptLoadPosition master #
Constructors
BottomOfBody | |
BottomOfHeadBlocking | |
BottomOfHeadAsync !(BottomOfHeadAsync master) |
type BottomOfHeadAsync master = [Text] -> Maybe (HtmlUrl (Route master)) -> HtmlUrl (Route master) #
Constructors
ContentBuilder !Builder !(Maybe Int) | |
ContentSource !(ConduitT () (Flush Builder) (ResourceT IO) ()) | |
ContentFile !FilePath !(Maybe FilePart) | |
ContentDontEvaluate !Content |
Instances
IsString Content | |
Defined in Yesod.Core.Types Methods fromString :: String -> Content | |
ToContent Content | |
Defined in Yesod.Core.Content | |
ToContent (ContentType, Content) | |
Defined in Yesod.Core.Content Methods toContent :: (ContentType, Content) -> Content # | |
ToTypedContent (ContentType, Content) | |
Defined in Yesod.Core.Content Methods toTypedContent :: (ContentType, Content) -> TypedContent # |
type ContentType = ByteString #
newtype CssBuilder #
Constructors
CssBuilder | |
Fields
|
Instances
ToWidget site CssBuilder | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => CssBuilder -> m () # | |
ToWidgetHead site CssBuilder | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => CssBuilder -> m () # | |
ToWidgetMedia site CssBuilder | |
Defined in Yesod.Core.Widget Methods toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> CssBuilder -> m () # | |
render ~ RY site => ToWidget site (render -> CssBuilder) | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => (render -> CssBuilder) -> m () # | |
render ~ RY site => ToWidgetHead site (render -> CssBuilder) | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => (render -> CssBuilder) -> m () # | |
render ~ RY site => ToWidgetMedia site (render -> CssBuilder) | |
Defined in Yesod.Core.Widget Methods toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> (render -> CssBuilder) -> m () # |
newtype DontFullyEvaluate a #
Constructors
DontFullyEvaluate | |
Fields
|
Instances
HasContentType a => HasContentType (DontFullyEvaluate a) | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m (DontFullyEvaluate a) -> ContentType # | |
ToContent a => ToContent (DontFullyEvaluate a) | |
Defined in Yesod.Core.Content Methods toContent :: DontFullyEvaluate a -> Content # | |
ToTypedContent a => ToTypedContent (DontFullyEvaluate a) | |
Defined in Yesod.Core.Content Methods toTypedContent :: DontFullyEvaluate a -> TypedContent # |
data FileUpload #
Constructors
FileUploadMemory !(BackEnd ByteString) | |
FileUploadDisk !(InternalState -> BackEnd FilePath) | |
FileUploadSource !(BackEnd (ConduitT () ByteString (ResourceT IO) ())) |
data HandlerFor site a #
Instances
MonadIO (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods liftIO :: IO a -> HandlerFor site a # | |||||||||
MonadThrow (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods throwM :: (HasCallStack, Exception e) => e -> HandlerFor site a | |||||||||
Applicative (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods pure :: a -> HandlerFor site a (<*>) :: HandlerFor site (a -> b) -> HandlerFor site a -> HandlerFor site b liftA2 :: (a -> b -> c) -> HandlerFor site a -> HandlerFor site b -> HandlerFor site c (*>) :: HandlerFor site a -> HandlerFor site b -> HandlerFor site b (<*) :: HandlerFor site a -> HandlerFor site b -> HandlerFor site a | |||||||||
Functor (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods fmap :: (a -> b) -> HandlerFor site a -> HandlerFor site b (<$) :: a -> HandlerFor site b -> HandlerFor site a | |||||||||
Monad (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods (>>=) :: HandlerFor site a -> (a -> HandlerFor site b) -> HandlerFor site b (>>) :: HandlerFor site a -> HandlerFor site b -> HandlerFor site b return :: a -> HandlerFor site a | |||||||||
MonadLogger (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> HandlerFor site () | |||||||||
MonadLoggerIO (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods askLoggerIO :: HandlerFor site (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) | |||||||||
PrimMonad (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Associated Types
Methods primitive :: (State# (PrimState (HandlerFor site)) -> (# State# (PrimState (HandlerFor site)), a #)) -> HandlerFor site a | |||||||||
MonadResource (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods liftResourceT :: ResourceT IO a -> HandlerFor site a # | |||||||||
MonadUnliftIO (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods withRunInIO :: ((forall a. HandlerFor site a -> IO a) -> IO b) -> HandlerFor site b # | |||||||||
MonadHandler (HandlerFor site) | |||||||||
Defined in Yesod.Core.Class.Handler Associated Types
Methods liftHandler :: HandlerFor (HandlerSite (HandlerFor site)) a -> HandlerFor site a # liftSubHandler :: SubHandlerFor (SubHandlerSite (HandlerFor site)) (HandlerSite (HandlerFor site)) a -> HandlerFor site a # | |||||||||
MonadReader (HandlerData site site) (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types Methods ask :: HandlerFor site (HandlerData site site) local :: (HandlerData site site -> HandlerData site site) -> HandlerFor site a -> HandlerFor site a reader :: (HandlerData site site -> a) -> HandlerFor site a | |||||||||
type PrimState (HandlerFor site) | |||||||||
Defined in Yesod.Core.Types type PrimState (HandlerFor site) = PrimState IO | |||||||||
type HandlerSite (HandlerFor site) | |||||||||
Defined in Yesod.Core.Class.Handler | |||||||||
type SubHandlerSite (HandlerFor site) | |||||||||
Defined in Yesod.Core.Class.Handler |
data PageContent url #
Constructors
PageContent | |
Instances
HasContentType RepJson | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m RepJson -> ContentType # | |
ToContent RepJson | |
Defined in Yesod.Core.Content | |
ToTypedContent RepJson | |
Defined in Yesod.Core.Content Methods toTypedContent :: RepJson -> TypedContent # |
Instances
HasContentType RepPlain | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m RepPlain -> ContentType # | |
ToContent RepPlain | |
Defined in Yesod.Core.Content | |
ToTypedContent RepPlain | |
Defined in Yesod.Core.Content Methods toTypedContent :: RepPlain -> TypedContent # |
Instances
HasContentType RepXml | |
Defined in Yesod.Core.Content Methods getContentType :: Monad m => m RepXml -> ContentType # | |
ToContent RepXml | |
Defined in Yesod.Core.Content | |
ToTypedContent RepXml | |
Defined in Yesod.Core.Content Methods toTypedContent :: RepXml -> TypedContent # |
type RequestBodyContents = ([(Text, Text)], [(Text, FileInfo)]) #
newtype SessionBackend #
Constructors
SessionBackend | |
Fields
|
type SessionMap = Map Text ByteString #
data SubHandlerFor sub master a #
Instances
MonadIO (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods liftIO :: IO a -> SubHandlerFor child master a # | |||||||||
MonadThrow (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods throwM :: (HasCallStack, Exception e) => e -> SubHandlerFor child master a | |||||||||
Applicative (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods pure :: a -> SubHandlerFor child master a (<*>) :: SubHandlerFor child master (a -> b) -> SubHandlerFor child master a -> SubHandlerFor child master b liftA2 :: (a -> b -> c) -> SubHandlerFor child master a -> SubHandlerFor child master b -> SubHandlerFor child master c (*>) :: SubHandlerFor child master a -> SubHandlerFor child master b -> SubHandlerFor child master b (<*) :: SubHandlerFor child master a -> SubHandlerFor child master b -> SubHandlerFor child master a | |||||||||
Functor (SubHandlerFor sub master) | |||||||||
Defined in Yesod.Core.Types Methods fmap :: (a -> b) -> SubHandlerFor sub master a -> SubHandlerFor sub master b (<$) :: a -> SubHandlerFor sub master b -> SubHandlerFor sub master a | |||||||||
Monad (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods (>>=) :: SubHandlerFor child master a -> (a -> SubHandlerFor child master b) -> SubHandlerFor child master b (>>) :: SubHandlerFor child master a -> SubHandlerFor child master b -> SubHandlerFor child master b return :: a -> SubHandlerFor child master a | |||||||||
MonadLogger (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> SubHandlerFor child master () | |||||||||
MonadLoggerIO (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods askLoggerIO :: SubHandlerFor child master (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) | |||||||||
MonadResource (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods liftResourceT :: ResourceT IO a -> SubHandlerFor child master a # | |||||||||
MonadUnliftIO (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods withRunInIO :: ((forall a. SubHandlerFor child master a -> IO a) -> IO b) -> SubHandlerFor child master b # | |||||||||
MonadHandler (SubHandlerFor sub master) | |||||||||
Defined in Yesod.Core.Class.Handler Associated Types
Methods liftHandler :: HandlerFor (HandlerSite (SubHandlerFor sub master)) a -> SubHandlerFor sub master a # liftSubHandler :: SubHandlerFor (SubHandlerSite (SubHandlerFor sub master)) (HandlerSite (SubHandlerFor sub master)) a -> SubHandlerFor sub master a # | |||||||||
MonadReader (HandlerData child master) (SubHandlerFor child master) | |||||||||
Defined in Yesod.Core.Types Methods ask :: SubHandlerFor child master (HandlerData child master) local :: (HandlerData child master -> HandlerData child master) -> SubHandlerFor child master a -> SubHandlerFor child master a reader :: (HandlerData child master -> a) -> SubHandlerFor child master a | |||||||||
type HandlerSite (SubHandlerFor sub master) | |||||||||
Defined in Yesod.Core.Class.Handler | |||||||||
type SubHandlerSite (SubHandlerFor sub master) | |||||||||
Defined in Yesod.Core.Class.Handler |
data TypedContent #
Constructors
TypedContent !ContentType !Content |
Instances
ToContent TypedContent | |
Defined in Yesod.Core.Content Methods toContent :: TypedContent -> Content # | |
ToTypedContent TypedContent | |
Defined in Yesod.Core.Content Methods |
newtype WaiSubsite #
Constructors
WaiSubsite | |
Fields |
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
Methods renderRoute :: Route WaiSubsite -> ([Text], [(Text, Text)]) # | |||||
YesodSubDispatch WaiSubsite master | |||||
Defined in Yesod.Core.Class.Dispatch Methods yesodSubDispatch :: YesodSubRunnerEnv WaiSubsite master -> Application # | |||||
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 | |||||
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 | |||||
data Route WaiSubsite | |||||
Defined in Yesod.Core.Types |
newtype WaiSubsiteWithAuth #
Constructors
WaiSubsiteWithAuth | |
Fields |
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
Methods renderRoute :: Route WaiSubsiteWithAuth -> ([Text], [(Text, Text)]) # | |||||
YesodSubDispatch WaiSubsiteWithAuth master | |||||
Defined in Yesod.Core.Class.Dispatch Methods yesodSubDispatch :: YesodSubRunnerEnv WaiSubsiteWithAuth master -> Application # | |||||
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 | |||||
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 | |||||
data Route WaiSubsiteWithAuth | |||||
Defined in Yesod.Core.Types |
Instances
(site' ~ site, a ~ ()) => ToWidget site' (WidgetFor site a) | |||||||||
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site') => WidgetFor site a -> m () # | |||||||||
MonadIO (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types | |||||||||
MonadThrow (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types | |||||||||
Applicative (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types | |||||||||
Functor (WidgetFor site) | |||||||||
Monad (WidgetFor site) | |||||||||
MonadLogger (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WidgetFor site () | |||||||||
MonadLoggerIO (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types Methods askLoggerIO :: WidgetFor site (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) | |||||||||
PrimMonad (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types Associated Types
| |||||||||
MonadResource (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types Methods liftResourceT :: ResourceT IO a -> WidgetFor site a # | |||||||||
MonadUnliftIO (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types Methods withRunInIO :: ((forall a. WidgetFor site a -> IO a) -> IO b) -> WidgetFor site b # | |||||||||
MonadHandler (WidgetFor site) | |||||||||
Defined in Yesod.Core.Class.Handler Associated Types
Methods liftHandler :: HandlerFor (HandlerSite (WidgetFor site)) a -> WidgetFor site a # liftSubHandler :: SubHandlerFor (SubHandlerSite (WidgetFor site)) (HandlerSite (WidgetFor site)) a -> WidgetFor site a # | |||||||||
MonadWidget (WidgetFor site) | |||||||||
Defined in Yesod.Core.Class.Handler Methods liftWidget :: WidgetFor (HandlerSite (WidgetFor site)) a -> WidgetFor site a # | |||||||||
MonadReader (WidgetData site) (WidgetFor site) | |||||||||
a ~ () => Monoid (WidgetFor site a) | |||||||||
a ~ () => Semigroup (WidgetFor site a) | |||||||||
a ~ () => IsString (WidgetFor site a) | |||||||||
Defined in Yesod.Core.Types Methods fromString :: String -> WidgetFor site a | |||||||||
type PrimState (WidgetFor site) | |||||||||
Defined in Yesod.Core.Types type PrimState (WidgetFor site) = PrimState IO | |||||||||
type HandlerSite (WidgetFor site) | |||||||||
Defined in Yesod.Core.Class.Handler | |||||||||
type SubHandlerSite (WidgetFor site) | |||||||||
Defined in Yesod.Core.Class.Handler |
data YesodRequest #
Constructors
YesodRequest | |
Fields
|
Methods
toWidget :: (MonadWidget m, HandlerSite m ~ site) => a -> m () #
Instances
ToWidget site Html | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => Html -> m () # | |
ToWidget site Css | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => Css -> m () # | |
ToWidget site Javascript | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => Javascript -> m () # | |
ToWidget site Text | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => Text -> m () # | |
ToWidget site Builder | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => Builder -> m () # | |
ToWidget site Text | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => Text -> m () # | |
ToWidget site CssBuilder | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => CssBuilder -> m () # | |
render ~ RY site => ToWidget site (render -> Html) | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => (render -> Html) -> m () # | |
render ~ RY site => ToWidget site (render -> Css) | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => (render -> Css) -> m () # | |
render ~ RY site => ToWidget site (render -> Javascript) | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => (render -> Javascript) -> m () # | |
render ~ RY site => ToWidget site (render -> CssBuilder) | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site) => (render -> CssBuilder) -> m () # | |
(site' ~ site, a ~ ()) => ToWidget site' (WidgetFor site a) | |
Defined in Yesod.Core.Widget Methods toWidget :: (MonadWidget m, HandlerSite m ~ site') => WidgetFor site a -> m () # |
class ToWidgetBody site a where #
Methods
toWidgetBody :: (MonadWidget m, HandlerSite m ~ site) => a -> m () #
Instances
ToWidgetBody site Html | |
Defined in Yesod.Core.Widget Methods toWidgetBody :: (MonadWidget m, HandlerSite m ~ site) => Html -> m () # | |
ToWidgetBody site Javascript | |
Defined in Yesod.Core.Widget Methods toWidgetBody :: (MonadWidget m, HandlerSite m ~ site) => Javascript -> m () # | |
render ~ RY site => ToWidgetBody site (render -> Html) | |
Defined in Yesod.Core.Widget Methods toWidgetBody :: (MonadWidget m, HandlerSite m ~ site) => (render -> Html) -> m () # | |
render ~ RY site => ToWidgetBody site (render -> Javascript) | |
Defined in Yesod.Core.Widget Methods toWidgetBody :: (MonadWidget m, HandlerSite m ~ site) => (render -> Javascript) -> m () # |
class ToWidgetHead site a where #
Methods
toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => a -> m () #
Instances
ToWidgetHead site Html | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => Html -> m () # | |
ToWidgetHead site Css | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => Css -> m () # | |
ToWidgetHead site Javascript | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => Javascript -> m () # | |
ToWidgetHead site CssBuilder | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => CssBuilder -> m () # | |
render ~ RY site => ToWidgetHead site (render -> Html) | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => (render -> Html) -> m () # | |
render ~ RY site => ToWidgetHead site (render -> Css) | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => (render -> Css) -> m () # | |
render ~ RY site => ToWidgetHead site (render -> Javascript) | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => (render -> Javascript) -> m () # | |
render ~ RY site => ToWidgetHead site (render -> CssBuilder) | |
Defined in Yesod.Core.Widget Methods toWidgetHead :: (MonadWidget m, HandlerSite m ~ site) => (render -> CssBuilder) -> m () # |
class ToWidgetMedia site a where #
Methods
toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> a -> m () #
Instances
ToWidgetMedia site Css | |
Defined in Yesod.Core.Widget Methods toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> Css -> m () # | |
ToWidgetMedia site CssBuilder | |
Defined in Yesod.Core.Widget Methods toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> CssBuilder -> m () # | |
render ~ RY site => ToWidgetMedia site (render -> Css) | |
Defined in Yesod.Core.Widget Methods toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> (render -> Css) -> m () # | |
render ~ RY site => ToWidgetMedia site (render -> CssBuilder) | |
Defined in Yesod.Core.Widget Methods toWidgetMedia :: (MonadWidget m, HandlerSite m ~ site) => Text -> (render -> CssBuilder) -> m () # |
addScript :: MonadWidget m => Route (HandlerSite m) -> m () #
addScriptAttrs :: MonadWidget m => Route (HandlerSite m) -> [(Text, Text)] -> m () #
addScriptEither :: MonadWidget m => Either (Route (HandlerSite m)) Text -> m () #
addScriptRemote :: MonadWidget m => Text -> m () #
addScriptRemoteAttrs :: MonadWidget m => Text -> [(Text, Text)] -> m () #
addStylesheet :: MonadWidget m => Route (HandlerSite m) -> m () #
addStylesheetAttrs :: MonadWidget m => Route (HandlerSite m) -> [(Text, Text)] -> m () #
addStylesheetEither :: MonadWidget m => Either (Route (HandlerSite m)) Text -> m () #
addStylesheetRemote :: MonadWidget m => Text -> m () #
addStylesheetRemoteAttrs :: MonadWidget m => Text -> [(Text, Text)] -> m () #
handlerToWidget :: HandlerFor site a -> WidgetFor site a #
ihamletToHtml :: (MonadHandler m, RenderMessage (HandlerSite m) message) => HtmlUrlI18n message (Route (HandlerSite m)) -> m Html #
ihamletToRepHtml :: (MonadHandler m, RenderMessage (HandlerSite m) message) => HtmlUrlI18n message (Route (HandlerSite m)) -> m Html #
setDescription :: MonadWidget m => Text -> m () #
setDescriptionI :: (MonadWidget m, RenderMessage (HandlerSite m) msg) => msg -> m () #
setDescriptionIdemp :: MonadWidget m => Text -> m () #
setDescriptionIdempI :: (MonadWidget m, RenderMessage (HandlerSite m) msg) => msg -> m () #
setOGImage :: MonadWidget m => Text -> m () #
setOGType :: MonadWidget m => Text -> m () #
setTitle :: MonadWidget m => Html -> m () #
setTitleI :: (MonadWidget m, RenderMessage (HandlerSite m) msg) => msg -> m () #
whamletFile :: FilePath -> Q Exp #
whamletFileWithSettings :: HamletSettings -> FilePath -> Q Exp #
class RenderRoute a => ParseRoute a where #
Methods
parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route a) #
Instances
ParseRoute LiteApp | |
Defined in Yesod.Core.Internal.LiteApp Methods parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route LiteApp) # | |
ParseRoute WaiSubsite | |
Defined in Yesod.Core.Types Methods parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route WaiSubsite) # | |
ParseRoute WaiSubsiteWithAuth | |
Defined in Yesod.Core.Types Methods parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route WaiSubsiteWithAuth) # |
class Eq (Route a) => RenderRoute a where #
Methods
renderRoute :: Route a -> ([Text], [(Text, Text)]) #
Instances
RenderRoute LiteApp | |||||
Defined in Yesod.Core.Internal.LiteApp Associated Types
Methods renderRoute :: Route LiteApp -> ([Text], [(Text, Text)]) # | |||||
RenderRoute WaiSubsite | |||||
Defined in Yesod.Core.Types Associated Types
Methods renderRoute :: Route WaiSubsite -> ([Text], [(Text, Text)]) # | |||||
RenderRoute WaiSubsiteWithAuth | |||||
Defined in Yesod.Core.Types Associated Types
Methods renderRoute :: Route WaiSubsiteWithAuth -> ([Text], [(Text, Text)]) # |
class RenderRoute a => RouteAttrs a where #
Methods
routeAttrs :: Route a -> Set Text #
parseRoutes :: QuasiQuoter #
parseRoutesFile :: FilePath -> Q Exp #
parseRoutesFileNoCheck :: FilePath -> Q Exp #
parseRoutesNoCheck :: QuasiQuoter #
setEqDerived :: Bool -> RouteOpts -> RouteOpts #
setReadDerived :: Bool -> RouteOpts -> RouteOpts #
setShowDerived :: Bool -> RouteOpts -> RouteOpts #
renderCssUrl :: (url -> [(Text, Text)] -> Text) -> CssUrl url -> Text #
renderJavascriptUrl :: (url -> [(Text, Text)] -> Text) -> JavascriptUrl url -> Text #
mkMessageFor :: String -> String -> FilePath -> Lang -> Q [Dec] #
mkMessageVariant :: String -> String -> FilePath -> Lang -> Q [Dec] #
readIntegral :: Num a => String -> Maybe a #
showIntegral :: Integral a => a -> String #
unauthorizedI :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => msg -> m AuthResult #
yesodVersion :: String #
Minimal complete definition
Nothing
Methods
parseJSON :: Value -> Parser a #
parseJSONList :: Value -> Parser [a] #
omittedField :: Maybe a #
Instances
FromJSON Key | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Key # parseJSONList :: Value -> Parser [Key] # omittedField :: Maybe Key # | |
FromJSON DotNetTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser DotNetTime # parseJSONList :: Value -> Parser [DotNetTime] # omittedField :: Maybe DotNetTime # | |
FromJSON Value | |
Defined in Data.Aeson.Types.FromJSON | |
FromJSON IntSet | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser IntSet # parseJSONList :: Value -> Parser [IntSet] # omittedField :: Maybe IntSet # | |
FromJSON Void | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Void # parseJSONList :: Value -> Parser [Void] # omittedField :: Maybe Void # | |
FromJSON All | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser All # parseJSONList :: Value -> Parser [All] # omittedField :: Maybe All # | |
FromJSON Any | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Any # parseJSONList :: Value -> Parser [Any] # omittedField :: Maybe Any # | |
FromJSON Version | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Version # parseJSONList :: Value -> Parser [Version] # omittedField :: Maybe Version # | |
FromJSON CTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser CTime # parseJSONList :: Value -> Parser [CTime] # omittedField :: Maybe CTime # | |
FromJSON Int16 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int16 # parseJSONList :: Value -> Parser [Int16] # omittedField :: Maybe Int16 # | |
FromJSON Int32 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int32 # parseJSONList :: Value -> Parser [Int32] # omittedField :: Maybe Int32 # | |
FromJSON Int64 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int64 # parseJSONList :: Value -> Parser [Int64] # omittedField :: Maybe Int64 # | |
FromJSON Int8 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int8 # parseJSONList :: Value -> Parser [Int8] # omittedField :: Maybe Int8 # | |
FromJSON Word16 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Word16 # parseJSONList :: Value -> Parser [Word16] # omittedField :: Maybe Word16 # | |
FromJSON Word32 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Word32 # parseJSONList :: Value -> Parser [Word32] # omittedField :: Maybe Word32 # | |
FromJSON Word64 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Word64 # parseJSONList :: Value -> Parser [Word64] # omittedField :: Maybe Word64 # | |
FromJSON Word8 | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Word8 # parseJSONList :: Value -> Parser [Word8] # omittedField :: Maybe Word8 # | |
FromJSON Ordering | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Ordering # parseJSONList :: Value -> Parser [Ordering] # omittedField :: Maybe Ordering # | |
FromJSON URI | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser URI # parseJSONList :: Value -> Parser [URI] # omittedField :: Maybe URI # | |
FromJSON PersistValue | |
Defined in Database.Persist.PersistValue Methods parseJSON :: Value -> Parser PersistValue # parseJSONList :: Value -> Parser [PersistValue] # omittedField :: Maybe PersistValue # | |
FromJSON Scientific | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Scientific # parseJSONList :: Value -> Parser [Scientific] # omittedField :: Maybe Scientific # | |
FromJSON Text | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Text # parseJSONList :: Value -> Parser [Text] # omittedField :: Maybe Text # | |
FromJSON Text | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Text # parseJSONList :: Value -> Parser [Text] # omittedField :: Maybe Text # | |
FromJSON ShortText | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser ShortText # parseJSONList :: Value -> Parser [ShortText] # omittedField :: Maybe ShortText # | |
FromJSON CalendarDiffDays | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser CalendarDiffDays # parseJSONList :: Value -> Parser [CalendarDiffDays] # omittedField :: Maybe CalendarDiffDays # | |
FromJSON Day | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Day # parseJSONList :: Value -> Parser [Day] # omittedField :: Maybe Day # | |
FromJSON Month | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Month # parseJSONList :: Value -> Parser [Month] # omittedField :: Maybe Month # | |
FromJSON Quarter | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Quarter # parseJSONList :: Value -> Parser [Quarter] # omittedField :: Maybe Quarter # | |
FromJSON QuarterOfYear | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser QuarterOfYear # parseJSONList :: Value -> Parser [QuarterOfYear] # omittedField :: Maybe QuarterOfYear # | |
FromJSON DayOfWeek | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser DayOfWeek # parseJSONList :: Value -> Parser [DayOfWeek] # omittedField :: Maybe DayOfWeek # | |
FromJSON DiffTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser DiffTime # parseJSONList :: Value -> Parser [DiffTime] # omittedField :: Maybe DiffTime # | |
FromJSON NominalDiffTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser NominalDiffTime # parseJSONList :: Value -> Parser [NominalDiffTime] # omittedField :: Maybe NominalDiffTime # | |
FromJSON SystemTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser SystemTime # parseJSONList :: Value -> Parser [SystemTime] # omittedField :: Maybe SystemTime # | |
FromJSON UTCTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser UTCTime # parseJSONList :: Value -> Parser [UTCTime] # omittedField :: Maybe UTCTime # | |
FromJSON CalendarDiffTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser CalendarDiffTime # parseJSONList :: Value -> Parser [CalendarDiffTime] # omittedField :: Maybe CalendarDiffTime # | |
FromJSON LocalTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser LocalTime # parseJSONList :: Value -> Parser [LocalTime] # omittedField :: Maybe LocalTime # | |
FromJSON TimeOfDay | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser TimeOfDay # parseJSONList :: Value -> Parser [TimeOfDay] # omittedField :: Maybe TimeOfDay # | |
FromJSON ZonedTime | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser ZonedTime # parseJSONList :: Value -> Parser [ZonedTime] # omittedField :: Maybe ZonedTime # | |
FromJSON UUID | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser UUID # parseJSONList :: Value -> Parser [UUID] # omittedField :: Maybe UUID # | |
FromJSON Textarea | |
Defined in Yesod.Form.Fields | |
FromJSON Integer | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Integer # parseJSONList :: Value -> Parser [Integer] # omittedField :: Maybe Integer # | |
FromJSON Natural | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Natural # parseJSONList :: Value -> Parser [Natural] # omittedField :: Maybe Natural # | |
FromJSON () | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser () # parseJSONList :: Value -> Parser [()] # omittedField :: Maybe () # | |
FromJSON Bool | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Bool # parseJSONList :: Value -> Parser [Bool] # omittedField :: Maybe Bool # | |
FromJSON Char | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Char # parseJSONList :: Value -> Parser [Char] # omittedField :: Maybe Char # | |
FromJSON Double | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Double # parseJSONList :: Value -> Parser [Double] # omittedField :: Maybe Double # | |
FromJSON Float | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Float # parseJSONList :: Value -> Parser [Float] # omittedField :: Maybe Float # | |
FromJSON Int | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Int # parseJSONList :: Value -> Parser [Int] # omittedField :: Maybe Int # | |
FromJSON Word | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Word # parseJSONList :: Value -> Parser [Word] # omittedField :: Maybe Word # | |
FromJSON v => FromJSON (KeyMap v) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (KeyMap v) # parseJSONList :: Value -> Parser [KeyMap v] # omittedField :: Maybe (KeyMap v) # | |
FromJSON a => FromJSON (First a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (First a) # parseJSONList :: Value -> Parser [First a] # omittedField :: Maybe (First a) # | |
FromJSON a => FromJSON (Last a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Last a) # parseJSONList :: Value -> Parser [Last a] # omittedField :: Maybe (Last a) # | |
FromJSON a => FromJSON (Max a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Max a) # parseJSONList :: Value -> Parser [Max a] # omittedField :: Maybe (Max a) # | |
FromJSON a => FromJSON (Min a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Min a) # parseJSONList :: Value -> Parser [Min a] # omittedField :: Maybe (Min a) # | |
FromJSON a => FromJSON (WrappedMonoid a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (WrappedMonoid a) # parseJSONList :: Value -> Parser [WrappedMonoid a] # omittedField :: Maybe (WrappedMonoid a) # | |
FromJSON a => FromJSON (IntMap a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (IntMap a) # parseJSONList :: Value -> Parser [IntMap a] # omittedField :: Maybe (IntMap a) # | |
FromJSON a => FromJSON (Seq a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Seq a) # parseJSONList :: Value -> Parser [Seq a] # omittedField :: Maybe (Seq a) # | |
(Ord a, FromJSON a) => FromJSON (Set a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Set a) # parseJSONList :: Value -> Parser [Set a] # omittedField :: Maybe (Set a) # | |
FromJSON v => FromJSON (Tree v) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Tree v) # parseJSONList :: Value -> Parser [Tree v] # omittedField :: Maybe (Tree v) # | |
FromJSON1 f => FromJSON (Fix f) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Fix f) # parseJSONList :: Value -> Parser [Fix f] # omittedField :: Maybe (Fix f) # | |
(FromJSON1 f, Functor f) => FromJSON (Mu f) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Mu f) # parseJSONList :: Value -> Parser [Mu f] # omittedField :: Maybe (Mu f) # | |
(FromJSON1 f, Functor f) => FromJSON (Nu f) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Nu f) # parseJSONList :: Value -> Parser [Nu f] # omittedField :: Maybe (Nu f) # | |
FromJSON a => FromJSON (DNonEmpty a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (DNonEmpty a) # parseJSONList :: Value -> Parser [DNonEmpty a] # omittedField :: Maybe (DNonEmpty a) # | |
FromJSON a => FromJSON (DList a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (DList a) # parseJSONList :: Value -> Parser [DList a] # omittedField :: Maybe (DList a) # | |
FromJSON a => FromJSON (NonEmpty a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (NonEmpty a) # parseJSONList :: Value -> Parser [NonEmpty a] # omittedField :: Maybe (NonEmpty a) # | |
FromJSON a => FromJSON (Identity a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Identity a) # parseJSONList :: Value -> Parser [Identity a] # omittedField :: Maybe (Identity a) # | |
FromJSON a => FromJSON (First a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (First a) # parseJSONList :: Value -> Parser [First a] # omittedField :: Maybe (First a) # | |
FromJSON a => FromJSON (Last a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Last a) # parseJSONList :: Value -> Parser [Last a] # omittedField :: Maybe (Last a) # | |
FromJSON a => FromJSON (Down a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Down a) # parseJSONList :: Value -> Parser [Down a] # omittedField :: Maybe (Down a) # | |
FromJSON a => FromJSON (Dual a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Dual a) # parseJSONList :: Value -> Parser [Dual a] # omittedField :: Maybe (Dual a) # | |
FromJSON a => FromJSON (Product a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Product a) # parseJSONList :: Value -> Parser [Product a] # omittedField :: Maybe (Product a) # | |
FromJSON a => FromJSON (Sum a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Sum a) # parseJSONList :: Value -> Parser [Sum a] # omittedField :: Maybe (Sum a) # | |
(Generic a, GFromJSON Zero (Rep a)) => FromJSON (Generically a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Generically a) # parseJSONList :: Value -> Parser [Generically a] # omittedField :: Maybe (Generically a) # | |
(FromJSON a, Integral a) => FromJSON (Ratio a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Ratio a) # parseJSONList :: Value -> Parser [Ratio a] # omittedField :: Maybe (Ratio a) # | |
FromJSON a => FromJSON (Array a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Array a) # parseJSONList :: Value -> Parser [Array a] # omittedField :: Maybe (Array a) # | |
(Prim a, FromJSON a) => FromJSON (PrimArray a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (PrimArray a) # parseJSONList :: Value -> Parser [PrimArray a] # omittedField :: Maybe (PrimArray a) # | |
FromJSON a => FromJSON (SmallArray a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (SmallArray a) # parseJSONList :: Value -> Parser [SmallArray a] # omittedField :: Maybe (SmallArray a) # | |
FromJSON a => FromJSON (Maybe a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Maybe a) # parseJSONList :: Value -> Parser [Maybe a] # omittedField :: Maybe (Maybe a) # | |
(Eq a, Hashable a, FromJSON a) => FromJSON (HashSet a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (HashSet a) # parseJSONList :: Value -> Parser [HashSet a] # omittedField :: Maybe (HashSet a) # | |
FromJSON a => FromJSON (Vector a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Vector a) # parseJSONList :: Value -> Parser [Vector a] # omittedField :: Maybe (Vector a) # | |
(Prim a, FromJSON a) => FromJSON (Vector a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Vector a) # parseJSONList :: Value -> Parser [Vector a] # omittedField :: Maybe (Vector a) # | |
(Storable a, FromJSON a) => FromJSON (Vector a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Vector a) # parseJSONList :: Value -> Parser [Vector a] # omittedField :: Maybe (Vector a) # | |
(Vector Vector a, FromJSON a) => FromJSON (Vector a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Vector a) # parseJSONList :: Value -> Parser [Vector a] # omittedField :: Maybe (Vector a) # | |
FromJSON a => FromJSON (Maybe a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Maybe a) # parseJSONList :: Value -> Parser [Maybe a] # omittedField :: Maybe (Maybe a) # | |
FromJSON a => FromJSON (Solo a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Solo a) # parseJSONList :: Value -> Parser [Solo a] # omittedField :: Maybe (Solo a) # | |
FromJSON a => FromJSON [a] | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser [a] # parseJSONList :: Value -> Parser [[a]] # omittedField :: Maybe [a] # | |
HasResolution a => FromJSON (Fixed a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Fixed a) # parseJSONList :: Value -> Parser [Fixed a] # omittedField :: Maybe (Fixed a) # | |
(FromJSONKey k, Ord k, FromJSON v) => FromJSON (Map k v) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Map k v) # parseJSONList :: Value -> Parser [Map k v] # omittedField :: Maybe (Map k v) # | |
(FromJSON a, FromJSON b) => FromJSON (Either a b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Either a b) # parseJSONList :: Value -> Parser [Either a b] # omittedField :: Maybe (Either a b) # | |
FromJSON (Proxy a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Proxy a) # parseJSONList :: Value -> Parser [Proxy a] # omittedField :: Maybe (Proxy a) # | |
(FromJSON a, FromJSON b) => FromJSON (Either a b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Either a b) # parseJSONList :: Value -> Parser [Either a b] # omittedField :: Maybe (Either a b) # | |
(FromJSON a, FromJSON b) => FromJSON (These a b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (These a b) # parseJSONList :: Value -> Parser [These a b] # omittedField :: Maybe (These a b) # | |
(FromJSON a, FromJSON b) => FromJSON (Pair a b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Pair a b) # parseJSONList :: Value -> Parser [Pair a b] # omittedField :: Maybe (Pair a b) # | |
(FromJSON a, FromJSON b) => FromJSON (These a b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (These a b) # parseJSONList :: Value -> Parser [These a b] # omittedField :: Maybe (These a b) # | |
(FromJSON v, FromJSONKey k, Eq k, Hashable k) => FromJSON (HashMap k v) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (HashMap k v) # parseJSONList :: Value -> Parser [HashMap k v] # omittedField :: Maybe (HashMap k v) # | |
(FromJSON a, FromJSON b) => FromJSON (a, b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b) # parseJSONList :: Value -> Parser [(a, b)] # omittedField :: Maybe (a, b) # | |
FromJSON a => FromJSON (Const a b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Const a b) # parseJSONList :: Value -> Parser [Const a b] # omittedField :: Maybe (Const a b) # | |
FromJSON b => FromJSON (Tagged a b) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Tagged a b) # parseJSONList :: Value -> Parser [Tagged a b] # omittedField :: Maybe (Tagged a b) # | |
(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (These1 f g a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (These1 f g a) # parseJSONList :: Value -> Parser [These1 f g a] # omittedField :: Maybe (These1 f g a) # | |
(FromJSON a, FromJSON b, FromJSON c) => FromJSON (a, b, c) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c) # parseJSONList :: Value -> Parser [(a, b, c)] # omittedField :: Maybe (a, b, c) # | |
(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Product f g a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Product f g a) # parseJSONList :: Value -> Parser [Product f g a] # omittedField :: Maybe (Product f g a) # | |
(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Sum f g a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Sum f g a) # parseJSONList :: Value -> Parser [Sum f g a] # omittedField :: Maybe (Sum f g a) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (a, b, c, d) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d) # parseJSONList :: Value -> Parser [(a, b, c, d)] # omittedField :: Maybe (a, b, c, d) # | |
(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Compose f g a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Compose f g a) # parseJSONList :: Value -> Parser [Compose f g a] # omittedField :: Maybe (Compose f g a) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (a, b, c, d, e) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e) # parseJSONList :: Value -> Parser [(a, b, c, d, e)] # omittedField :: Maybe (a, b, c, d, e) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (a, b, c, d, e, f) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f)] # omittedField :: Maybe (a, b, c, d, e, f) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (a, b, c, d, e, f, g) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g)] # omittedField :: Maybe (a, b, c, d, e, f, g) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h) => FromJSON (a, b, c, d, e, f, g, h) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h)] # omittedField :: Maybe (a, b, c, d, e, f, g, h) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i) => FromJSON (a, b, c, d, e, f, g, h, i) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i)] # omittedField :: Maybe (a, b, c, d, e, f, g, h, i) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j) => FromJSON (a, b, c, d, e, f, g, h, i, j) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j)] # omittedField :: Maybe (a, b, c, d, e, f, g, h, i, j) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k) => FromJSON (a, b, c, d, e, f, g, h, i, j, k) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k)] # omittedField :: Maybe (a, b, c, d, e, f, g, h, i, j, k) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l)] # omittedField :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m)] # omittedField :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m, n) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] # omittedField :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n) # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) # parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] # omittedField :: Maybe (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) # |
Minimal complete definition
Nothing
Instances
ToJSON Key | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Key -> Encoding # toJSONList :: [Key] -> Value # toEncodingList :: [Key] -> Encoding # | |
ToJSON DotNetTime | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: DotNetTime -> Value # toEncoding :: DotNetTime -> Encoding # toJSONList :: [DotNetTime] -> Value # toEncodingList :: [DotNetTime] -> Encoding # | |
ToJSON Value | |
Defined in Data.Aeson.Types.ToJSON | |
ToJSON IntSet | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: IntSet -> Encoding # toJSONList :: [IntSet] -> Value # toEncodingList :: [IntSet] -> Encoding # | |
ToJSON Void | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Void -> Encoding # toJSONList :: [Void] -> Value # toEncodingList :: [Void] -> Encoding # | |
ToJSON All | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: All -> Encoding # toJSONList :: [All] -> Value # toEncodingList :: [All] -> Encoding # | |
ToJSON Any | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Any -> Encoding # toJSONList :: [Any] -> Value # toEncodingList :: [Any] -> Encoding # | |
ToJSON Version | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Version -> Encoding # toJSONList :: [Version] -> Value # toEncodingList :: [Version] -> Encoding # | |
ToJSON CTime | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: CTime -> Encoding # toJSONList :: [CTime] -> Value # toEncodingList :: [CTime] -> Encoding # | |
ToJSON Int16 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Int16 -> Encoding # toJSONList :: [Int16] -> Value # toEncodingList :: [Int16] -> Encoding # | |
ToJSON Int32 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Int32 -> Encoding # toJSONList :: [Int32] -> Value # toEncodingList :: [Int32] -> Encoding # | |
ToJSON Int64 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Int64 -> Encoding # toJSONList :: [Int64] -> Value # toEncodingList :: [Int64] -> Encoding # | |
ToJSON Int8 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Int8 -> Encoding # toJSONList :: [Int8] -> Value # toEncodingList :: [Int8] -> Encoding # | |
ToJSON Word16 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Word16 -> Encoding # toJSONList :: [Word16] -> Value # toEncodingList :: [Word16] -> Encoding # | |
ToJSON Word32 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Word32 -> Encoding # toJSONList :: [Word32] -> Value # toEncodingList :: [Word32] -> Encoding # | |
ToJSON Word64 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Word64 -> Encoding # toJSONList :: [Word64] -> Value # toEncodingList :: [Word64] -> Encoding # | |
ToJSON Word8 | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Word8 -> Encoding # toJSONList :: [Word8] -> Value # toEncodingList :: [Word8] -> Encoding # | |
ToJSON Ordering | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Ordering -> Encoding # toJSONList :: [Ordering] -> Value # toEncodingList :: [Ordering] -> Encoding # | |
ToJSON URI | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: URI -> Encoding # toJSONList :: [URI] -> Value # toEncodingList :: [URI] -> Encoding # | |
ToJSON PersistValue | |
Defined in Database.Persist.PersistValue Methods toJSON :: PersistValue -> Value # toEncoding :: PersistValue -> Encoding # toJSONList :: [PersistValue] -> Value # toEncodingList :: [PersistValue] -> Encoding # omitField :: PersistValue -> Bool # | |
ToJSON Scientific | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Scientific -> Value # toEncoding :: Scientific -> Encoding # toJSONList :: [Scientific] -> Value # toEncodingList :: [Scientific] -> Encoding # | |
ToJSON Text | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Text -> Encoding # toJSONList :: [Text] -> Value # toEncodingList :: [Text] -> Encoding # | |
ToJSON Text | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Text -> Encoding # toJSONList :: [Text] -> Value # toEncodingList :: [Text] -> Encoding # | |
ToJSON ShortText | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: ShortText -> Value # toEncoding :: ShortText -> Encoding # toJSONList :: [ShortText] -> Value # toEncodingList :: [ShortText] -> Encoding # | |
ToJSON CalendarDiffDays | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: CalendarDiffDays -> Value # toEncoding :: CalendarDiffDays -> Encoding # toJSONList :: [CalendarDiffDays] -> Value # toEncodingList :: [CalendarDiffDays] -> Encoding # | |
ToJSON Day | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Day -> Encoding # toJSONList :: [Day] -> Value # toEncodingList :: [Day] -> Encoding # | |
ToJSON Month | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Month -> Encoding # toJSONList :: [Month] -> Value # toEncodingList :: [Month] -> Encoding # | |
ToJSON Quarter | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Quarter -> Encoding # toJSONList :: [Quarter] -> Value # toEncodingList :: [Quarter] -> Encoding # | |
ToJSON QuarterOfYear | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: QuarterOfYear -> Value # toEncoding :: QuarterOfYear -> Encoding # toJSONList :: [QuarterOfYear] -> Value # toEncodingList :: [QuarterOfYear] -> Encoding # | |
ToJSON DayOfWeek | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: DayOfWeek -> Value # toEncoding :: DayOfWeek -> Encoding # toJSONList :: [DayOfWeek] -> Value # toEncodingList :: [DayOfWeek] -> Encoding # | |
ToJSON DiffTime | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: DiffTime -> Encoding # toJSONList :: [DiffTime] -> Value # toEncodingList :: [DiffTime] -> Encoding # | |
ToJSON NominalDiffTime | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: NominalDiffTime -> Value # toEncoding :: NominalDiffTime -> Encoding # toJSONList :: [NominalDiffTime] -> Value # toEncodingList :: [NominalDiffTime] -> Encoding # | |
ToJSON SystemTime | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: SystemTime -> Value # toEncoding :: SystemTime -> Encoding # toJSONList :: [SystemTime] -> Value # toEncodingList :: [SystemTime] -> Encoding # | |
ToJSON UTCTime | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: UTCTime -> Encoding # toJSONList :: [UTCTime] -> Value # toEncodingList :: [UTCTime] -> Encoding # | |
ToJSON CalendarDiffTime | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: CalendarDiffTime -> Value # toEncoding :: CalendarDiffTime -> Encoding # toJSONList :: [CalendarDiffTime] -> Value # toEncodingList :: [CalendarDiffTime] -> Encoding # | |
ToJSON LocalTime | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: LocalTime -> Value # toEncoding :: LocalTime -> Encoding # toJSONList :: [LocalTime] -> Value # toEncodingList :: [LocalTime] -> Encoding # | |
ToJSON TimeOfDay | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: TimeOfDay -> Value # toEncoding :: TimeOfDay -> Encoding # toJSONList :: [TimeOfDay] -> Value # toEncodingList :: [TimeOfDay] -> Encoding # | |
ToJSON ZonedTime | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: ZonedTime -> Value # toEncoding :: ZonedTime -> Encoding # toJSONList :: [ZonedTime] -> Value # toEncodingList :: [ZonedTime] -> Encoding # | |
ToJSON UUID | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: UUID -> Encoding # toJSONList :: [UUID] -> Value # toEncodingList :: [UUID] -> Encoding # | |
ToJSON Textarea | |
Defined in Yesod.Form.Fields | |
ToJSON Integer | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Integer -> Encoding # toJSONList :: [Integer] -> Value # toEncodingList :: [Integer] -> Encoding # | |
ToJSON Natural | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Natural -> Encoding # toJSONList :: [Natural] -> Value # toEncodingList :: [Natural] -> Encoding # | |
ToJSON () | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: () -> Encoding # toJSONList :: [()] -> Value # toEncodingList :: [()] -> Encoding # | |
ToJSON Bool | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Bool -> Encoding # toJSONList :: [Bool] -> Value # toEncodingList :: [Bool] -> Encoding # | |
ToJSON Char | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Char -> Encoding # toJSONList :: [Char] -> Value # toEncodingList :: [Char] -> Encoding # | |
ToJSON Double | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Double -> Encoding # toJSONList :: [Double] -> Value # toEncodingList :: [Double] -> Encoding # | |
ToJSON Float | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Float -> Encoding # toJSONList :: [Float] -> Value # toEncodingList :: [Float] -> Encoding # | |
ToJSON Int | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Int -> Encoding # toJSONList :: [Int] -> Value # toEncodingList :: [Int] -> Encoding # | |
ToJSON Word | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Word -> Encoding # toJSONList :: [Word] -> Value # toEncodingList :: [Word] -> Encoding # | |
ToJSON v => ToJSON (KeyMap v) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: KeyMap v -> Encoding # toJSONList :: [KeyMap v] -> Value # toEncodingList :: [KeyMap v] -> Encoding # | |
ToJSON a => ToJSON (First a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: First a -> Encoding # toJSONList :: [First a] -> Value # toEncodingList :: [First a] -> Encoding # | |
ToJSON a => ToJSON (Last a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Last a -> Encoding # toJSONList :: [Last a] -> Value # toEncodingList :: [Last a] -> Encoding # | |
ToJSON a => ToJSON (Max a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Max a -> Encoding # toJSONList :: [Max a] -> Value # toEncodingList :: [Max a] -> Encoding # | |
ToJSON a => ToJSON (Min a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Min a -> Encoding # toJSONList :: [Min a] -> Value # toEncodingList :: [Min a] -> Encoding # | |
ToJSON a => ToJSON (WrappedMonoid a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: WrappedMonoid a -> Value # toEncoding :: WrappedMonoid a -> Encoding # toJSONList :: [WrappedMonoid a] -> Value # toEncodingList :: [WrappedMonoid a] -> Encoding # | |
ToJSON a => ToJSON (IntMap a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: IntMap a -> Encoding # toJSONList :: [IntMap a] -> Value # toEncodingList :: [IntMap a] -> Encoding # | |
ToJSON a => ToJSON (Seq a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Seq a -> Encoding # toJSONList :: [Seq a] -> Value # toEncodingList :: [Seq a] -> Encoding # | |
ToJSON a => ToJSON (Set a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Set a -> Encoding # toJSONList :: [Set a] -> Value # toEncodingList :: [Set a] -> Encoding # | |
ToJSON v => ToJSON (Tree v) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Tree v -> Encoding # toJSONList :: [Tree v] -> Value # toEncodingList :: [Tree v] -> Encoding # | |
ToJSON1 f => ToJSON (Fix f) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Fix f -> Encoding # toJSONList :: [Fix f] -> Value # toEncodingList :: [Fix f] -> Encoding # | |
(ToJSON1 f, Functor f) => ToJSON (Mu f) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Mu f -> Encoding # toJSONList :: [Mu f] -> Value # toEncodingList :: [Mu f] -> Encoding # | |
(ToJSON1 f, Functor f) => ToJSON (Nu f) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Nu f -> Encoding # toJSONList :: [Nu f] -> Value # toEncodingList :: [Nu f] -> Encoding # | |
ToJSON a => ToJSON (DNonEmpty a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: DNonEmpty a -> Value # toEncoding :: DNonEmpty a -> Encoding # toJSONList :: [DNonEmpty a] -> Value # toEncodingList :: [DNonEmpty a] -> Encoding # | |
ToJSON a => ToJSON (DList a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: DList a -> Encoding # toJSONList :: [DList a] -> Value # toEncodingList :: [DList a] -> Encoding # | |
ToJSON a => ToJSON (NonEmpty a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: NonEmpty a -> Value # toEncoding :: NonEmpty a -> Encoding # toJSONList :: [NonEmpty a] -> Value # toEncodingList :: [NonEmpty a] -> Encoding # | |
ToJSON a => ToJSON (Identity a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Identity a -> Value # toEncoding :: Identity a -> Encoding # toJSONList :: [Identity a] -> Value # toEncodingList :: [Identity a] -> Encoding # | |
ToJSON a => ToJSON (First a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: First a -> Encoding # toJSONList :: [First a] -> Value # toEncodingList :: [First a] -> Encoding # | |
ToJSON a => ToJSON (Last a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Last a -> Encoding # toJSONList :: [Last a] -> Value # toEncodingList :: [Last a] -> Encoding # | |
ToJSON a => ToJSON (Down a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Down a -> Encoding # toJSONList :: [Down a] -> Value # toEncodingList :: [Down a] -> Encoding # | |
ToJSON a => ToJSON (Dual a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Dual a -> Encoding # toJSONList :: [Dual a] -> Value # toEncodingList :: [Dual a] -> Encoding # | |
ToJSON a => ToJSON (Product a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Product a -> Value # toEncoding :: Product a -> Encoding # toJSONList :: [Product a] -> Value # toEncodingList :: [Product a] -> Encoding # | |
ToJSON a => ToJSON (Sum a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Sum a -> Encoding # toJSONList :: [Sum a] -> Value # toEncodingList :: [Sum a] -> Encoding # | |
(Generic a, GToJSON' Value Zero (Rep a), GToJSON' Encoding Zero (Rep a)) => ToJSON (Generically a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Generically a -> Value # toEncoding :: Generically a -> Encoding # toJSONList :: [Generically a] -> Value # toEncodingList :: [Generically a] -> Encoding # | |
(ToJSON a, Integral a) => ToJSON (Ratio a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Ratio a -> Encoding # toJSONList :: [Ratio a] -> Value # toEncodingList :: [Ratio a] -> Encoding # | |
ToJSON a => ToJSON (Array a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Array a -> Encoding # toJSONList :: [Array a] -> Value # toEncodingList :: [Array a] -> Encoding # | |
(Prim a, ToJSON a) => ToJSON (PrimArray a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: PrimArray a -> Value # toEncoding :: PrimArray a -> Encoding # toJSONList :: [PrimArray a] -> Value # toEncodingList :: [PrimArray a] -> Encoding # | |
ToJSON a => ToJSON (SmallArray a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: SmallArray a -> Value # toEncoding :: SmallArray a -> Encoding # toJSONList :: [SmallArray a] -> Value # toEncodingList :: [SmallArray a] -> Encoding # | |
ToJSON a => ToJSON (Maybe a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Maybe a -> Encoding # toJSONList :: [Maybe a] -> Value # toEncodingList :: [Maybe a] -> Encoding # | |
ToJSON a => ToJSON (HashSet a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: HashSet a -> Value # toEncoding :: HashSet a -> Encoding # toJSONList :: [HashSet a] -> Value # toEncodingList :: [HashSet a] -> Encoding # | |
ToJSON a => ToJSON (Vector a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Vector a -> Encoding # toJSONList :: [Vector a] -> Value # toEncodingList :: [Vector a] -> Encoding # | |
(Prim a, ToJSON a) => ToJSON (Vector a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Vector a -> Encoding # toJSONList :: [Vector a] -> Value # toEncodingList :: [Vector a] -> Encoding # | |
(Storable a, ToJSON a) => ToJSON (Vector a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Vector a -> Encoding # toJSONList :: [Vector a] -> Value # toEncodingList :: [Vector a] -> Encoding # | |
(Vector Vector a, ToJSON a) => ToJSON (Vector a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Vector a -> Encoding # toJSONList :: [Vector a] -> Value # toEncodingList :: [Vector a] -> Encoding # | |
ToJSON a => ToJSON (Maybe a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Maybe a -> Encoding # toJSONList :: [Maybe a] -> Value # toEncodingList :: [Maybe a] -> Encoding # | |
ToJSON a => ToJSON (Solo a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Solo a -> Encoding # toJSONList :: [Solo a] -> Value # toEncodingList :: [Solo a] -> Encoding # | |
ToJSON a => ToJSON [a] | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: [a] -> Encoding # toJSONList :: [[a]] -> Value # toEncodingList :: [[a]] -> Encoding # | |
HasResolution a => ToJSON (Fixed a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Fixed a -> Encoding # toJSONList :: [Fixed a] -> Value # toEncodingList :: [Fixed a] -> Encoding # | |
(ToJSON v, ToJSONKey k) => ToJSON (Map k v) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Map k v -> Encoding # toJSONList :: [Map k v] -> Value # toEncodingList :: [Map k v] -> Encoding # | |
(ToJSON a, ToJSON b) => ToJSON (Either a b) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Either a b -> Value # toEncoding :: Either a b -> Encoding # toJSONList :: [Either a b] -> Value # toEncodingList :: [Either a b] -> Encoding # | |
ToJSON (Proxy a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Proxy a -> Encoding # toJSONList :: [Proxy a] -> Value # toEncodingList :: [Proxy a] -> Encoding # | |
(ToJSON a, ToJSON b) => ToJSON (Either a b) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Either a b -> Value # toEncoding :: Either a b -> Encoding # toJSONList :: [Either a b] -> Value # toEncodingList :: [Either a b] -> Encoding # | |
(ToJSON a, ToJSON b) => ToJSON (These a b) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: These a b -> Value # toEncoding :: These a b -> Encoding # toJSONList :: [These a b] -> Value # toEncodingList :: [These a b] -> Encoding # | |
(ToJSON a, ToJSON b) => ToJSON (Pair a b) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Pair a b -> Encoding # toJSONList :: [Pair a b] -> Value # toEncodingList :: [Pair a b] -> Encoding # | |
(ToJSON a, ToJSON b) => ToJSON (These a b) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: These a b -> Value # toEncoding :: These a b -> Encoding # toJSONList :: [These a b] -> Value # toEncodingList :: [These a b] -> Encoding # | |
(ToJSON v, ToJSONKey k) => ToJSON (HashMap k v) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: HashMap k v -> Value # toEncoding :: HashMap k v -> Encoding # toJSONList :: [HashMap k v] -> Value # toEncodingList :: [HashMap k v] -> Encoding # | |
(ToJSON a, ToJSON b) => ToJSON (a, b) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: (a, b) -> Encoding # toJSONList :: [(a, b)] -> Value # toEncodingList :: [(a, b)] -> Encoding # | |
ToJSON a => ToJSON (Const a b) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Const a b -> Value # toEncoding :: Const a b -> Encoding # toJSONList :: [Const a b] -> Value # toEncodingList :: [Const a b] -> Encoding # | |
ToJSON b => ToJSON (Tagged a b) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Tagged a b -> Value # toEncoding :: Tagged a b -> Encoding # toJSONList :: [Tagged a b] -> Value # toEncodingList :: [Tagged a b] -> Encoding # | |
(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (These1 f g a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: These1 f g a -> Value # toEncoding :: These1 f g a -> Encoding # toJSONList :: [These1 f g a] -> Value # toEncodingList :: [These1 f g a] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c) => ToJSON (a, b, c) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c) -> Value # toEncoding :: (a, b, c) -> Encoding # toJSONList :: [(a, b, c)] -> Value # toEncodingList :: [(a, b, c)] -> Encoding # | |
(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Product f g a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Product f g a -> Value # toEncoding :: Product f g a -> Encoding # toJSONList :: [Product f g a] -> Value # toEncodingList :: [Product f g a] -> Encoding # | |
(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Sum f g a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Sum f g a -> Value # toEncoding :: Sum f g a -> Encoding # toJSONList :: [Sum f g a] -> Value # toEncodingList :: [Sum f g a] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (a, b, c, d) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d) -> Value # toEncoding :: (a, b, c, d) -> Encoding # toJSONList :: [(a, b, c, d)] -> Value # toEncodingList :: [(a, b, c, d)] -> Encoding # | |
(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Compose f g a) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Compose f g a -> Value # toEncoding :: Compose f g a -> Encoding # toJSONList :: [Compose f g a] -> Value # toEncodingList :: [Compose f g a] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (a, b, c, d, e) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e) -> Value # toEncoding :: (a, b, c, d, e) -> Encoding # toJSONList :: [(a, b, c, d, e)] -> Value # toEncodingList :: [(a, b, c, d, e)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (a, b, c, d, e, f) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f) -> Value # toEncoding :: (a, b, c, d, e, f) -> Encoding # toJSONList :: [(a, b, c, d, e, f)] -> Value # toEncodingList :: [(a, b, c, d, e, f)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (a, b, c, d, e, f, g) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g) -> Value # toEncoding :: (a, b, c, d, e, f, g) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h) => ToJSON (a, b, c, d, e, f, g, h) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h) -> Value # toEncoding :: (a, b, c, d, e, f, g, h) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON (a, b, c, d, e, f, g, h, i) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j) => ToJSON (a, b, c, d, e, f, g, h, i, j) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k) => ToJSON (a, b, c, d, e, f, g, h, i, j, k) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Encoding # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Encoding # omitField :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Encoding # omitField :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Encoding # omitField :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool # |
class Monad m => MonadIO (m :: Type -> Type) where #
Instances
MonadIO IO | |
Defined in Control.Monad.IO.Class | |
MonadIO Q | |
Defined in Language.Haskell.TH.Syntax | |
MonadIO m => MonadIO (LoggingT m) | |
Defined in Control.Monad.Logger | |
MonadIO m => MonadIO (NoLoggingT m) | |
Defined in Control.Monad.Logger | |
MonadIO m => MonadIO (WriterLoggingT m) | |
Defined in Control.Monad.Logger | |
MonadIO m => MonadIO (ResourceT m) | |
Defined in Control.Monad.Trans.Resource.Internal | |
MonadIO (HandlerFor site) | |
Defined in Yesod.Core.Types Methods liftIO :: IO a -> HandlerFor site a # | |
MonadIO (WidgetFor site) | |
Defined in Yesod.Core.Types | |
(Monoid w, Functor m, MonadIO m) => MonadIO (AccumT w m) | |
Defined in Control.Monad.Trans.Accum | |
MonadIO m => MonadIO (ReaderT r m) | |
Defined in Control.Monad.Trans.Reader | |
MonadIO m => MonadIO (SelectT r m) | |
Defined in Control.Monad.Trans.Select | |
MonadIO m => MonadIO (WriterT w m) | |
Defined in Control.Monad.Trans.Writer.CPS | |
(Monoid w, MonadIO m) => MonadIO (WriterT w m) | |
Defined in Control.Monad.Trans.Writer.Lazy | |
MonadIO (SubHandlerFor child master) | |
Defined in Yesod.Core.Types Methods liftIO :: IO a -> SubHandlerFor child master a # | |
MonadIO m => MonadIO (ConduitT i o m) | |
Defined in Data.Conduit.Internal.Conduit | |
MonadIO m => MonadIO (RWST r w s m) | |
Defined in Control.Monad.Trans.RWS.CPS | |
MonadIO m => MonadIO (Pipe l i o u m) | |
Defined in Data.Conduit.Internal.Pipe |
preEscapedToMarkup :: ToMarkup a => a -> Markup #
class Monad m => MonadLogger (m :: Type -> Type) #
Instances
MonadIO m => MonadLogger (LoggingT m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> LoggingT m () | |
Monad m => MonadLogger (NoLoggingT m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> NoLoggingT m () | |
Monad m => MonadLogger (WriterLoggingT m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterLoggingT m () | |
MonadLogger m => MonadLogger (ResourceT m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ResourceT m () | |
MonadLogger m => MonadLogger (MaybeT m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> MaybeT m () | |
MonadLogger (HandlerFor site) | |
Defined in Yesod.Core.Types Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> HandlerFor site () | |
MonadLogger (WidgetFor site) | |
Defined in Yesod.Core.Types Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WidgetFor site () | |
MonadLogger m => MonadLogger (ExceptT e m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ExceptT e m () | |
MonadLogger m => MonadLogger (IdentityT m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> IdentityT m () | |
MonadLogger m => MonadLogger (ReaderT r m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ReaderT r m () | |
MonadLogger m => MonadLogger (StateT s m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> StateT s m () | |
MonadLogger m => MonadLogger (StateT s m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> StateT s m () | |
(MonadLogger m, Monoid w) => MonadLogger (WriterT w m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterT w m () | |
(MonadLogger m, Monoid w) => MonadLogger (WriterT w m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> WriterT w m () | |
MonadLogger (SubHandlerFor child master) | |
Defined in Yesod.Core.Types Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> SubHandlerFor child master () | |
MonadLogger m => MonadLogger (ConduitM i o m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ConduitM i o m () | |
MonadLogger m => MonadLogger (ContT r m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ContT r m () | |
(MonadLogger m, Monoid w) => MonadLogger (RWST r w s m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> RWST r w s m () | |
(MonadLogger m, Monoid w) => MonadLogger (RWST r w s m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> RWST r w s m () | |
MonadLogger m => MonadLogger (Pipe l i o u m) | |
Defined in Control.Monad.Logger Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> Pipe l i o u m () |
class PathMultiPiece s where #
Instances
PersistEntity record => PathMultiPiece (ViaPersistEntity record) | |
Defined in Database.Persist.Class.PersistEntity Methods fromPathMultiPiece :: [Text] -> Maybe (ViaPersistEntity record) # toPathMultiPiece :: ViaPersistEntity record -> [Text] # | |
PathPiece a => PathMultiPiece [a] | |
Defined in Web.PathPieces |
Instances
PathPiece Int16 | |
Defined in Web.PathPieces | |
PathPiece Int32 | |
Defined in Web.PathPieces | |
PathPiece Int64 | |
Defined in Web.PathPieces | |
PathPiece Int8 | |
Defined in Web.PathPieces | |
PathPiece Word16 | |
Defined in Web.PathPieces | |
PathPiece Word32 | |
Defined in Web.PathPieces | |
PathPiece Word64 | |
Defined in Web.PathPieces | |
PathPiece Word8 | |
Defined in Web.PathPieces | |
PathPiece PersistValue | |
Defined in Database.Persist.PersistValue | |
PathPiece Checkmark | |
Defined in Database.Persist.Types.Base | |
PathPiece Text | |
Defined in Web.PathPieces | |
PathPiece Text | |
Defined in Web.PathPieces | |
PathPiece Day | |
Defined in Web.PathPieces | |
PathPiece Integer | |
Defined in Web.PathPieces | |
PathPiece String | |
Defined in Web.PathPieces | |
PathPiece () | |
Defined in Web.PathPieces | |
PathPiece Bool | |
Defined in Web.PathPieces | |
PathPiece Int | |
Defined in Web.PathPieces | |
PathPiece Word | |
Defined in Web.PathPieces | |
PathPiece a => PathPiece (Maybe a) | |
Defined in Web.PathPieces |
class MonadIO m => MonadResource (m :: Type -> Type) where #
Methods
liftResourceT :: ResourceT IO a -> m a #
Instances
MonadResource m => MonadResource (LoggingT m) | |
Defined in Control.Monad.Logger Methods liftResourceT :: ResourceT IO a -> LoggingT m a # | |
MonadResource m => MonadResource (NoLoggingT m) | |
Defined in Control.Monad.Logger Methods liftResourceT :: ResourceT IO a -> NoLoggingT m a # | |
MonadIO m => MonadResource (ResourceT m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ResourceT m a # | |
MonadResource m => MonadResource (MaybeT m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> MaybeT m a # | |
MonadResource (HandlerFor site) | |
Defined in Yesod.Core.Types Methods liftResourceT :: ResourceT IO a -> HandlerFor site a # | |
MonadResource (WidgetFor site) | |
Defined in Yesod.Core.Types Methods liftResourceT :: ResourceT IO a -> WidgetFor site a # | |
MonadResource m => MonadResource (ExceptT e m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ExceptT e m a # | |
MonadResource m => MonadResource (IdentityT m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> IdentityT m a # | |
MonadResource m => MonadResource (ReaderT r m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ReaderT r m a # | |
MonadResource m => MonadResource (StateT s m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> StateT s m a # | |
MonadResource m => MonadResource (StateT s m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> StateT s m a # | |
(Monoid w, MonadResource m) => MonadResource (WriterT w m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> WriterT w m a # | |
(Monoid w, MonadResource m) => MonadResource (WriterT w m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> WriterT w m a # | |
MonadResource (SubHandlerFor child master) | |
Defined in Yesod.Core.Types Methods liftResourceT :: ResourceT IO a -> SubHandlerFor child master a # | |
MonadResource m => MonadResource (ConduitT i o m) | |
Defined in Data.Conduit.Internal.Conduit Methods liftResourceT :: ResourceT IO a -> ConduitT i o m a # | |
MonadResource m => MonadResource (ContT r m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ContT r m a # | |
(Monoid w, MonadResource m) => MonadResource (RWST r w s m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> RWST r w s m a # | |
(Monoid w, MonadResource m) => MonadResource (RWST r w s m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> RWST r w s m a # | |
MonadResource m => MonadResource (Pipe l i o u m) | |
Defined in Data.Conduit.Internal.Pipe Methods liftResourceT :: ResourceT IO a -> Pipe l i o u m a # |
type JavascriptUrl url = (url -> [(Text, Text)] -> Text) -> Javascript #
class RenderMessage master message where #
Methods
renderMessage :: master -> [Lang] -> message -> Text #
Instances
RenderMessage master Text | |
Defined in Text.Shakespeare.I18N Methods renderMessage :: master -> [Lang] -> Text -> Text # | |
master ~ master' => RenderMessage master (SomeMessage master') | |
Defined in Text.Shakespeare.I18N Methods renderMessage :: master -> [Lang] -> SomeMessage master' -> Text # |
data SomeMessage master #
Constructors
RenderMessage master msg => SomeMessage msg |
Instances
master ~ master' => RenderMessage master (SomeMessage master') | |
Defined in Text.Shakespeare.I18N Methods renderMessage :: master -> [Lang] -> SomeMessage master' -> Text # | |
IsString (SomeMessage master) | |
Defined in Text.Shakespeare.I18N Methods fromString :: String -> SomeMessage master |
Instances
ToMessage Text | |
Defined in Text.Shakespeare.I18N | |
ToMessage String | |
Defined in Text.Shakespeare.I18N |
class (forall (m :: Type -> Type). Monad m => Monad (t m)) => MonadTrans (t :: (Type -> Type) -> Type -> Type) where #
Instances
MonadTrans LoggingT | |
Defined in Control.Monad.Logger | |
MonadTrans NoLoggingT | |
Defined in Control.Monad.Logger | |
MonadTrans WriterLoggingT | |
Defined in Control.Monad.Logger | |
MonadTrans ResourceT | |
Defined in Control.Monad.Trans.Resource.Internal | |
MonadTrans AForm | |
Defined in Yesod.Form.Types | |
Monoid w => MonadTrans (AccumT w) | |
Defined in Control.Monad.Trans.Accum | |
MonadTrans (ReaderT r) | |
Defined in Control.Monad.Trans.Reader | |
MonadTrans (SelectT r) | |
Defined in Control.Monad.Trans.Select | |
MonadTrans (WriterT w) | |
Defined in Control.Monad.Trans.Writer.CPS | |
Monoid w => MonadTrans (WriterT w) | |
Defined in Control.Monad.Trans.Writer.Lazy | |
MonadTrans (ConduitT i o) | |
Defined in Data.Conduit.Internal.Conduit | |
MonadTrans (RWST r w s) | |
Defined in Control.Monad.Trans.RWS.CPS | |
MonadTrans (Pipe l i o u) | |
Defined in Data.Conduit.Internal.Pipe |
class MonadIO m => MonadUnliftIO (m :: Type -> Type) where #
Methods
withRunInIO :: ((forall a. m a -> IO a) -> IO b) -> m b #
Instances
MonadUnliftIO IO | |
Defined in Control.Monad.IO.Unlift Methods withRunInIO :: ((forall a. IO a -> IO a) -> IO b) -> IO b # | |
MonadUnliftIO m => MonadUnliftIO (LoggingT m) | |
Defined in Control.Monad.Logger Methods withRunInIO :: ((forall a. LoggingT m a -> IO a) -> IO b) -> LoggingT m b # | |
MonadUnliftIO m => MonadUnliftIO (NoLoggingT m) | |
Defined in Control.Monad.Logger Methods withRunInIO :: ((forall a. NoLoggingT m a -> IO a) -> IO b) -> NoLoggingT m b # | |
MonadUnliftIO m => MonadUnliftIO (ResourceT m) | |
Defined in Control.Monad.Trans.Resource.Internal Methods withRunInIO :: ((forall a. ResourceT m a -> IO a) -> IO b) -> ResourceT m b # | |
MonadUnliftIO (HandlerFor site) | |
Defined in Yesod.Core.Types Methods withRunInIO :: ((forall a. HandlerFor site a -> IO a) -> IO b) -> HandlerFor site b # | |
MonadUnliftIO (WidgetFor site) | |
Defined in Yesod.Core.Types Methods withRunInIO :: ((forall a. WidgetFor site a -> IO a) -> IO b) -> WidgetFor site b # | |
MonadUnliftIO m => MonadUnliftIO (IdentityT m) | |
Defined in Control.Monad.IO.Unlift Methods withRunInIO :: ((forall a. IdentityT m a -> IO a) -> IO b) -> IdentityT m b # | |
MonadUnliftIO m => MonadUnliftIO (ReaderT r m) | |
Defined in Control.Monad.IO.Unlift Methods withRunInIO :: ((forall a. ReaderT r m a -> IO a) -> IO b) -> ReaderT r m b # | |
MonadUnliftIO (SubHandlerFor child master) | |
Defined in Yesod.Core.Types Methods withRunInIO :: ((forall a. SubHandlerFor child master a -> IO a) -> IO b) -> SubHandlerFor child master b # |
Constructors
Option | |
Fields
|
data OptionList a #
Constructors
OptionList | |
Fields
| |
OptionListGrouped | |
Fields
|
Instances
Functor OptionList | |
Defined in Yesod.Form.Fields |
Constructors
Textarea | |
Fields
|
Instances
FromJSON Textarea | |
Defined in Yesod.Form.Fields | |
ToJSON Textarea | |
Defined in Yesod.Form.Fields | |
ToMarkup Textarea | |
Defined in Yesod.Form.Fields | |
IsString Textarea | |
Defined in Yesod.Form.Fields Methods fromString :: String -> Textarea | |
Read Textarea | |
Defined in Yesod.Form.Fields | |
Show Textarea | |
Eq Textarea | |
Ord Textarea | |
PersistField Textarea | |
Defined in Yesod.Form.Fields Methods toPersistValue :: Textarea -> PersistValue # fromPersistValue :: PersistValue -> Either Text Textarea # | |
PersistFieldSql Textarea | |
Defined in Yesod.Form.Fields |
boolField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Bool #
checkBoxField :: forall (m :: Type -> Type). Monad m => Field m Bool #
checkboxesField :: Eq a => HandlerFor site (OptionList a) -> Field (HandlerFor site) [a] #
checkboxesField' :: Eq a => HandlerFor site (OptionList a) -> Field (HandlerFor site) [a] #
checkboxesFieldList :: (Eq a, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) [a] #
colorField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text #
datetimeLocalField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m LocalTime #
dayField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Day #
defaultFormMessage :: FormMessage -> Text #
doubleField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Double #
emailField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text #
fileAFormOpt :: forall (m :: Type -> Type). MonadHandler m => FieldSettings (HandlerSite m) -> AForm m (Maybe FileInfo) #
fileAFormReq :: forall (m :: Type -> Type). (MonadHandler m, RenderMessage (HandlerSite m) FormMessage) => FieldSettings (HandlerSite m) -> AForm m FileInfo #
forall (m :: Type -> Type) p. (Monad m, PathPiece p, RenderMessage (HandlerSite m) FormMessage) => Field m p #
::htmlField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Html #
intField :: forall (m :: Type -> Type) i. (Monad m, Integral i, RenderMessage (HandlerSite m) FormMessage) => Field m i #
mkOptionList :: [Option a] -> OptionList a #
mkOptionListGrouped :: [(Text, [Option a])] -> OptionList a #
multiEmailField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m [Text] #
multiSelectField :: Eq a => HandlerFor site (OptionList a) -> Field (HandlerFor site) [a] #
multiSelectFieldList :: (Eq a, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) [a] #
optionsEnum :: (MonadHandler m, Show a, Enum a, Bounded a) => m (OptionList a) #
optionsPairs :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => [(msg, a)] -> m (OptionList a) #
optionsPairsGrouped :: (MonadHandler m, RenderMessage (HandlerSite m) msg) => [(msg, [(msg, a)])] -> m (OptionList a) #
optionsPersist :: (YesodPersist site, PersistQueryRead backend, PathPiece (Key a), RenderMessage site msg, YesodPersistBackend site ~ backend, PersistRecordBackend a backend) => [Filter a] -> [SelectOpt a] -> (a -> msg) -> HandlerFor site (OptionList (Entity a)) #
optionsPersistKey :: (YesodPersist site, PersistQueryRead backend, PathPiece (Key a), RenderMessage site msg, backend ~ YesodPersistBackend site, PersistRecordBackend a backend) => [Filter a] -> [SelectOpt a] -> (a -> msg) -> HandlerFor site (OptionList (Key a)) #
parseDate :: String -> Either FormMessage Day #
parseTime :: Text -> Either FormMessage TimeOfDay #
passwordField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text #
radioField :: (Eq a, RenderMessage site FormMessage) => HandlerFor site (OptionList a) -> Field (HandlerFor site) a #
radioField' :: (Eq a, RenderMessage site FormMessage) => HandlerFor site (OptionList a) -> Field (HandlerFor site) a #
radioFieldList :: (Eq a, RenderMessage site FormMessage, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) a #
searchField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => AutoFocus -> Field m Text #
selectField :: (Eq a, RenderMessage site FormMessage) => HandlerFor site (OptionList a) -> Field (HandlerFor site) a #
selectFieldHelper :: (Eq a, RenderMessage site FormMessage) => (Text -> Text -> [(Text, Text)] -> WidgetFor site () -> WidgetFor site ()) -> (Text -> Text -> Bool -> WidgetFor site ()) -> (Text -> Text -> [(Text, Text)] -> Text -> Bool -> Text -> WidgetFor site ()) -> Maybe (Text -> WidgetFor site ()) -> HandlerFor site (OptionList a) -> Field (HandlerFor site) a #
selectFieldList :: (Eq a, RenderMessage site FormMessage, RenderMessage site msg) => [(msg, a)] -> Field (HandlerFor site) a #
selectFieldListGrouped :: (Eq a, RenderMessage site FormMessage, RenderMessage site msg) => [(msg, [(msg, a)])] -> Field (HandlerFor site) a #
textField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text #
textareaField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Textarea #
timeField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m TimeOfDay #
timeFieldTypeText :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m TimeOfDay #
timeFieldTypeTime :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m TimeOfDay #
urlField :: forall (m :: Type -> Type). (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m Text #
withRadioField :: (Eq a, RenderMessage site FormMessage) => (Text -> WidgetFor site () -> WidgetFor site ()) -> (Text -> Text -> Bool -> Text -> WidgetFor site () -> WidgetFor site ()) -> HandlerFor site (OptionList a) -> Field (HandlerFor site) a #
type FormRender (m :: Type -> Type) a = AForm m a -> Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ()) #
aFormToForm :: forall (m :: Type -> Type) site a. (Monad m, HandlerSite m ~ site) => AForm m a -> MForm m (FormResult a, [FieldView site] -> [FieldView site]) #
aopt :: forall (m :: Type -> Type) a. MonadHandler m => Field m a -> FieldSettings (HandlerSite m) -> Maybe (Maybe a) -> AForm m (Maybe a) #
areq :: forall site (m :: Type -> Type) a. (RenderMessage site FormMessage, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> Maybe a -> AForm m a #
areqMsg :: forall site msg (m :: Type -> Type) a. (RenderMessage site msg, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> msg -> Maybe a -> AForm m a #
check :: forall (m :: Type -> Type) msg a. (Monad m, RenderMessage (HandlerSite m) msg) => (a -> Either msg a) -> Field m a -> Field m a #
checkBool :: forall (m :: Type -> Type) msg a. (Monad m, RenderMessage (HandlerSite m) msg) => (a -> Bool) -> msg -> Field m a -> Field m a #
checkM :: (Monad m, RenderMessage (HandlerSite m) msg) => (a -> m (Either msg a)) -> Field m a -> Field m a #
checkMMap :: (Monad m, RenderMessage (HandlerSite m) msg) => (a -> m (Either msg b)) -> (b -> a) -> Field m a -> Field m b #
convertField :: forall (m :: Type -> Type) a b. Functor m => (a -> b) -> (b -> a) -> Field m a -> Field m b #
customErrorMessage :: forall (m :: Type -> Type) a. Monad m => SomeMessage (HandlerSite m) -> Field m a -> Field m a #
fieldSettingsLabel :: RenderMessage site msg => msg -> FieldSettings site #
formToAForm :: forall (m :: Type -> Type) site a. (HandlerSite m ~ site, Monad m) => MForm m (FormResult a, [FieldView site]) -> AForm m a #
generateFormGet :: MonadHandler m => (Markup -> MForm m a) -> m (a, Enctype) #
generateFormGet' :: MonadHandler m => (Markup -> MForm m (FormResult a, xml)) -> m (xml, Enctype) #
generateFormPost :: (RenderMessage (HandlerSite m) FormMessage, MonadHandler m) => (Markup -> MForm m (FormResult a, xml)) -> m (xml, Enctype) #
identifyForm :: forall (m :: Type -> Type) a. Monad m => Text -> (Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ())) -> Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ()) #
mFormToWForm :: forall (m :: Type -> Type) site a. (MonadHandler m, HandlerSite m ~ site) => MForm m (a, FieldView site) -> WForm m a #
mopt :: forall site (m :: Type -> Type) a. (site ~ HandlerSite m, MonadHandler m) => Field m a -> FieldSettings site -> Maybe (Maybe a) -> MForm m (FormResult (Maybe a), FieldView site) #
mreq :: forall site (m :: Type -> Type) a. (RenderMessage site FormMessage, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> Maybe a -> MForm m (FormResult a, FieldView site) #
mreqMsg :: forall site msg (m :: Type -> Type) a. (RenderMessage site msg, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> msg -> Maybe a -> MForm m (FormResult a, FieldView site) #
newFormIdent :: forall (m :: Type -> Type). Monad m => MForm m Text #
parseHelper :: (Monad m, RenderMessage site FormMessage) => (Text -> Either FormMessage a) -> [Text] -> [FileInfo] -> m (Either (SomeMessage site) (Maybe a)) #
parseHelperGen :: (Monad m, RenderMessage site msg) => (Text -> Either msg a) -> [Text] -> [FileInfo] -> m (Either (SomeMessage site) (Maybe a)) #
removeClass :: Text -> [(Text, Text)] -> [(Text, Text)] #
renderBootstrap :: forall (m :: Type -> Type) a. Monad m => FormRender m a #
renderBootstrap2 :: forall (m :: Type -> Type) a. Monad m => FormRender m a #
renderDivs :: forall (m :: Type -> Type) a. Monad m => FormRender m a #
renderDivsNoLabels :: forall (m :: Type -> Type) a. Monad m => FormRender m a #
renderTable :: forall (m :: Type -> Type) a. Monad m => FormRender m a #
runFormGet :: MonadHandler m => (Markup -> MForm m a) -> m (a, Enctype) #
runFormPost :: (RenderMessage (HandlerSite m) FormMessage, MonadResource m, MonadHandler m) => (Markup -> MForm m (FormResult a, xml)) -> m ((FormResult a, xml), Enctype) #
runFormPostNoToken :: MonadHandler m => (Markup -> MForm m a) -> m (a, Enctype) #
wFormToAForm :: forall (m :: Type -> Type) a. MonadHandler m => WForm m (FormResult a) -> AForm m a #
wFormToMForm :: forall (m :: Type -> Type) site a. (MonadHandler m, HandlerSite m ~ site) => WForm m a -> MForm m (a, [FieldView site]) #
wopt :: forall (m :: Type -> Type) site a. (MonadHandler m, HandlerSite m ~ site) => Field m a -> FieldSettings site -> Maybe (Maybe a) -> WForm m (FormResult (Maybe a)) #
wreq :: forall site (m :: Type -> Type) a. (RenderMessage site FormMessage, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> Maybe a -> WForm m (FormResult a) #
wreqMsg :: forall site msg (m :: Type -> Type) a. (RenderMessage site msg, HandlerSite m ~ site, MonadHandler m) => Field m a -> FieldSettings site -> msg -> Maybe a -> WForm m (FormResult a) #
newtype FormInput (m :: Type -> Type) a #
Constructors
FormInput | |
Fields
|
Instances
Monad m => Applicative (FormInput m) | |
Defined in Yesod.Form.Input | |
Monad m => Functor (FormInput m) | |
ireq :: forall (m :: Type -> Type) a. (Monad m, RenderMessage (HandlerSite m) FormMessage) => Field m a -> Text -> FormInput m a #
runInputGet :: MonadHandler m => FormInput m a -> m a #
runInputGetResult :: MonadHandler m => FormInput m a -> m (FormResult a) #
runInputPost :: MonadHandler m => FormInput m a -> m a #
runInputPostResult :: MonadHandler m => FormInput m a -> m (FormResult a) #
newtype AForm (m :: Type -> Type) a #
Constructors
AForm | |
Fields
|
Instances
MonadTrans AForm | |
Defined in Yesod.Form.Types | |
Monad m => Applicative (AForm m) | |
Monad m => Functor (AForm m) | |
Monad m => Monad (AForm m) | |
(Monad m, Monoid a) => Monoid (AForm m a) | |
(Monad m, Semigroup a) => Semigroup (AForm m a) | |
Constructors
UrlEncoded | |
Multipart |
Instances
ToMarkup Enctype | |
Defined in Yesod.Form.Types | |
ToValue Enctype | |
Defined in Yesod.Form.Types | |
Monoid Enctype | |
Semigroup Enctype | |
Bounded Enctype | |
Defined in Yesod.Form.Types | |
Enum Enctype | |
Defined in Yesod.Form.Types | |
Eq Enctype | |
data Field (m :: Type -> Type) a #
Constructors
Field | |
Fields
|
data FieldSettings master #
Constructors
FieldSettings | |
Fields
|
Instances
IsString (FieldSettings a) | |
Defined in Yesod.Form.Types Methods fromString :: String -> FieldSettings a |
type FieldViewFunc (m :: Type -> Type) a = Text -> Text -> [(Text, Text)] -> Either Text a -> Bool -> WidgetFor (HandlerSite m) () #
data FormResult a #
Constructors
FormMissing | |
FormFailure [Text] | |
FormSuccess a |
Instances
Alternative FormResult | |
Defined in Yesod.Form.Types Methods empty :: FormResult a (<|>) :: FormResult a -> FormResult a -> FormResult a some :: FormResult a -> FormResult [a] many :: FormResult a -> FormResult [a] | |
Applicative FormResult | |
Defined in Yesod.Form.Types Methods pure :: a -> FormResult a (<*>) :: FormResult (a -> b) -> FormResult a -> FormResult b liftA2 :: (a -> b -> c) -> FormResult a -> FormResult b -> FormResult c (*>) :: FormResult a -> FormResult b -> FormResult b (<*) :: FormResult a -> FormResult b -> FormResult a | |
Functor FormResult | |
Defined in Yesod.Form.Types | |
Foldable FormResult | |
Defined in Yesod.Form.Types Methods fold :: Monoid m => FormResult m -> m foldMap :: Monoid m => (a -> m) -> FormResult a -> m foldMap' :: Monoid m => (a -> m) -> FormResult a -> m foldr :: (a -> b -> b) -> b -> FormResult a -> b foldr' :: (a -> b -> b) -> b -> FormResult a -> b foldl :: (b -> a -> b) -> b -> FormResult a -> b foldl' :: (b -> a -> b) -> b -> FormResult a -> b foldr1 :: (a -> a -> a) -> FormResult a -> a foldl1 :: (a -> a -> a) -> FormResult a -> a toList :: FormResult a -> [a] null :: FormResult a -> Bool length :: FormResult a -> Int elem :: Eq a => a -> FormResult a -> Bool maximum :: Ord a => FormResult a -> a minimum :: Ord a => FormResult a -> a sum :: Num a => FormResult a -> a product :: Num a => FormResult a -> a | |
Traversable FormResult | |
Defined in Yesod.Form.Types Methods traverse :: Applicative f => (a -> f b) -> FormResult a -> f (FormResult b) sequenceA :: Applicative f => FormResult (f a) -> f (FormResult a) mapM :: Monad m => (a -> m b) -> FormResult a -> m (FormResult b) sequence :: Monad m => FormResult (m a) -> m (FormResult a) | |
Monoid m => Monoid (FormResult m) | |
Defined in Yesod.Form.Types Methods mempty :: FormResult m mappend :: FormResult m -> FormResult m -> FormResult m mconcat :: [FormResult m] -> FormResult m | |
Semigroup m => Semigroup (FormResult m) | |
Defined in Yesod.Form.Types Methods (<>) :: FormResult m -> FormResult m -> FormResult m sconcat :: NonEmpty (FormResult m) -> FormResult m stimes :: Integral b => b -> FormResult m -> FormResult m | |
Show a => Show (FormResult a) | |
Defined in Yesod.Form.Types Methods showsPrec :: Int -> FormResult a -> ShowS show :: FormResult a -> String showList :: [FormResult a] -> ShowS | |
Eq a => Eq (FormResult a) | |
Defined in Yesod.Form.Types |
data FormMessage #
Constructors
MsgInvalidInteger Text | |
MsgInvalidNumber Text | |
MsgInvalidEntry Text | |
MsgInvalidUrl Text | |
MsgInvalidEmail Text | |
MsgInvalidTimeFormat | |
MsgInvalidHour Text | |
MsgInvalidMinute Text | |
MsgInvalidSecond Text | |
MsgInvalidDay | |
MsgCsrfWarning | |
MsgValueRequired | |
MsgInputNotFound Text | |
MsgSelectNone | |
MsgInvalidBool Text | |
MsgBoolYes | |
MsgBoolNo | |
MsgDelete | |
MsgInvalidHexColorFormat Text | |
MsgInvalidDatetimeFormat Text |
Instances
Read FormMessage | |
Defined in Yesod.Form.Types Methods readsPrec :: Int -> ReadS FormMessage readList :: ReadS [FormMessage] readPrec :: ReadPrec FormMessage readListPrec :: ReadPrec [FormMessage] | |
Show FormMessage | |
Defined in Yesod.Form.Types Methods showsPrec :: Int -> FormMessage -> ShowS show :: FormMessage -> String showList :: [FormMessage] -> ShowS | |
Eq FormMessage | |
Defined in Yesod.Form.Types |
type MForm (m :: Type -> Type) a = RWST (Maybe (Env, FileEnv), HandlerSite m, [Lang]) Enctype Ints m a #
type WForm (m :: Type -> Type) a = MForm (WriterT [FieldView (HandlerSite m)] m) a #
class PersistConfig c where #
Minimal complete definition
Associated Types
type PersistConfigBackend c :: (Type -> Type) -> Type -> Type #
type PersistConfigPool c #
Methods
loadConfig :: Value -> Parser c #
createPoolConfig :: c -> IO (PersistConfigPool c) #
runPool :: MonadUnliftIO m => c -> PersistConfigBackend c m a -> PersistConfigPool c -> m a #
Instances
(PersistConfig c1, PersistConfig c2, PersistConfigPool c1 ~ PersistConfigPool c2, PersistConfigBackend c1 ~ PersistConfigBackend c2) => PersistConfig (Either c1 c2) | |||||||||
Defined in Database.Persist.Class.PersistConfig Associated Types
Methods loadConfig :: Value -> Parser (Either c1 c2) # applyEnv :: Either c1 c2 -> IO (Either c1 c2) # createPoolConfig :: Either c1 c2 -> IO (PersistConfigPool (Either c1 c2)) # runPool :: MonadUnliftIO m => Either c1 c2 -> PersistConfigBackend (Either c1 c2) m a -> PersistConfigPool (Either c1 c2) -> m a # |
data PersistFilter #
Instances
Read PersistFilter | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS PersistFilter readList :: ReadS [PersistFilter] readPrec :: ReadPrec PersistFilter readListPrec :: ReadPrec [PersistFilter] | |
Show PersistFilter | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> PersistFilter -> ShowS show :: PersistFilter -> String showList :: [PersistFilter] -> ShowS | |
Lift PersistFilter | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => PersistFilter -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => PersistFilter -> Code m PersistFilter |
Constructors
DBRunner | |
Fields
|
type YesodDB site = ReaderT (YesodPersistBackend site) (HandlerFor site) #
class Monad (YesodDB site) => YesodPersist site where #
Associated Types
type YesodPersistBackend site #
Methods
runDB :: YesodDB site a -> HandlerFor site a #
type family YesodPersistBackend site #
class YesodPersist site => YesodPersistRunner site where #
Methods
getDBRunner :: HandlerFor site (DBRunner site, HandlerFor site ()) #
defaultGetDBRunner :: (IsSqlBackend backend, YesodPersistBackend site ~ backend) => (site -> Pool backend) -> HandlerFor site (DBRunner site, HandlerFor site ()) #
defaultRunDB :: PersistConfig c => (site -> c) -> (site -> PersistConfigPool c) -> PersistConfigBackend c (HandlerFor site) a -> HandlerFor site a #
get404 :: forall (m :: Type -> Type) backend val. (MonadIO m, PersistStoreRead backend, PersistRecordBackend val backend) => Key val -> ReaderT backend m val #
getBy404 :: forall backend val (m :: Type -> Type). (PersistUniqueRead backend, PersistRecordBackend val backend, MonadIO m) => Unique val -> ReaderT backend m (Entity val) #
insert400 :: forall (m :: Type -> Type) backend val. (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend val backend, SafeToInsert val) => val -> ReaderT backend m (Key val) #
insert400_ :: forall (m :: Type -> Type) backend val. (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend val backend, SafeToInsert val) => val -> ReaderT backend m () #
respondSourceDB :: YesodPersistRunner site => ContentType -> ConduitT () (Flush Builder) (YesodDB site) () -> HandlerFor site TypedContent #
runDBSource :: YesodPersistRunner site => ConduitT () a (YesodDB site) () -> ConduitT () a (HandlerFor site) () #
(!=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #
(*=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #
(+=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #
(-=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #
(/<-.) :: forall v typ. PersistField typ => EntityField v typ -> [typ] -> Filter v #
(/=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #
(<-.) :: forall v typ. PersistField typ => EntityField v typ -> [typ] -> Filter v #
(<.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #
(<=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #
(=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Update v #
(==.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #
(>.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #
(>=.) :: forall v typ. PersistField typ => EntityField v typ -> typ -> Filter v #
limitOffsetOrder :: PersistEntity val => [SelectOpt val] -> (Int, Int, [SelectOpt val]) #
listToJSON :: [PersistValue] -> Text #
mapToJSON :: [(Text, PersistValue)] -> Text #
toJsonText :: ToJSON j => j -> Text #
entityIdFromJSON :: (PersistEntity record, FromJSON record) => Value -> Parser (Entity record) #
entityIdToJSON :: (PersistEntity record, ToJSON record) => Entity record -> Value #
entityValues :: PersistEntity record => Entity record -> [PersistValue] #
fromPersistValueJSON :: FromJSON a => PersistValue -> Either Text a #
keyValueEntityFromJSON :: (PersistEntity record, FromJSON record) => Value -> Parser (Entity record) #
keyValueEntityToJSON :: (PersistEntity record, ToJSON record) => Entity record -> Value #
tabulateEntity :: PersistEntity record => (forall a. EntityField record a -> a) -> Entity record #
toPersistValueJSON :: ToJSON a => a -> PersistValue #
getPersistMap :: PersistValue -> Either Text [(Text, PersistValue)] #
selectKeys :: forall record backend (m :: Type -> Type). (PersistQueryRead backend, MonadResource m, PersistRecordBackend record backend, MonadReader backend m) => [Filter record] -> [SelectOpt record] -> ConduitM () (Key record) m () #
selectKeysList :: forall record backend (m :: Type -> Type). (MonadIO m, PersistQueryRead backend, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m [Key record] #
selectList :: forall record backend (m :: Type -> Type). (MonadIO m, PersistQueryRead backend, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m [Entity record] #
selectSource :: forall record backend (m :: Type -> Type). (PersistQueryRead backend, MonadResource m, PersistRecordBackend record backend, MonadReader backend m) => [Filter record] -> [SelectOpt record] -> ConduitM () (Entity record) m () #
belongsTo :: forall ent1 ent2 backend (m :: Type -> Type). (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Maybe (Key ent2)) -> ent1 -> ReaderT backend m (Maybe ent2) #
belongsToJust :: forall ent1 ent2 backend (m :: Type -> Type). (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Key ent2) -> ent1 -> ReaderT backend m ent2 #
getEntity :: forall e backend (m :: Type -> Type). (PersistStoreRead backend, PersistRecordBackend e backend, MonadIO m) => Key e -> ReaderT backend m (Maybe (Entity e)) #
getJust :: forall record backend (m :: Type -> Type). (PersistStoreRead backend, PersistRecordBackend record backend, MonadIO m) => Key record -> ReaderT backend m record #
getJustEntity :: forall record backend (m :: Type -> Type). (PersistEntityBackend record ~ BaseBackend backend, MonadIO m, PersistEntity record, PersistStoreRead backend) => Key record -> ReaderT backend m (Entity record) #
insertEntity :: forall e backend (m :: Type -> Type). (PersistStoreWrite backend, PersistRecordBackend e backend, SafeToInsert e, MonadIO m, HasCallStack) => e -> ReaderT backend m (Entity e) #
insertRecord :: forall record backend (m :: Type -> Type). (PersistEntityBackend record ~ BaseBackend backend, PersistEntity record, MonadIO m, PersistStoreWrite backend, SafeToInsert record, HasCallStack) => record -> ReaderT backend m record #
liftPersist :: (MonadIO m, MonadReader backend m) => ReaderT backend IO b -> m b #
withBaseBackend :: forall backend (m :: Type -> Type) a. HasPersistBackend backend => ReaderT (BaseBackend backend) m a -> ReaderT backend m a #
withCompatibleBackend :: forall sup sub (m :: Type -> Type) a. BackendCompatible sup sub => ReaderT sup m a -> ReaderT sub m a #
checkUnique :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueRead backend) => record -> ReaderT backend m (Maybe (Unique record)) #
checkUniqueUpdateable :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueRead backend) => Entity record -> ReaderT backend m (Maybe (Unique record)) #
getByValue :: forall record (m :: Type -> Type) backend. (MonadIO m, PersistUniqueRead backend, PersistRecordBackend record backend, AtLeastOneUniqueKey record) => record -> ReaderT backend m (Maybe (Entity record)) #
insertBy :: forall record backend (m :: Type -> Type). (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend record backend, AtLeastOneUniqueKey record, SafeToInsert record) => record -> ReaderT backend m (Either (Entity record) (Key record)) #
insertUniqueEntity :: forall record backend (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, PersistUniqueWrite backend, SafeToInsert record) => record -> ReaderT backend m (Maybe (Entity record)) #
onlyOneUniqueDef :: (OnlyOneUniqueKey record, Monad proxy) => proxy record -> UniqueDef #
onlyUnique :: forall record backend (m :: Type -> Type). (MonadIO m, PersistUniqueWrite backend, PersistRecordBackend record backend, OnlyOneUniqueKey record) => record -> ReaderT backend m (Unique record) #
replaceUnique :: forall record backend (m :: Type -> Type). (MonadIO m, Eq (Unique record), PersistRecordBackend record backend, PersistUniqueWrite backend) => Key record -> record -> ReaderT backend m (Maybe (Unique record)) #
getEntityComments :: EntityDef -> Maybe Text #
getEntityExtra :: EntityDef -> Map Text [[Text]] #
getEntityFields :: EntityDef -> [FieldDef] #
getEntityFieldsDatabase :: EntityDef -> [FieldDef] #
getEntityForeignDefs :: EntityDef -> [ForeignDef] #
getEntityId :: EntityDef -> EntityIdDef #
getEntityIdField :: EntityDef -> Maybe FieldDef #
getEntityKeyFields :: EntityDef -> NonEmpty FieldDef #
getEntityUniques :: EntityDef -> [UniqueDef] #
isEntitySum :: EntityDef -> Bool #
setEntityDBName :: EntityNameDB -> EntityDef -> EntityDef #
setEntityId :: FieldDef -> EntityDef -> EntityDef #
setEntityIdDef :: EntityIdDef -> EntityDef -> EntityDef #
addFieldAttr :: FieldAttr -> FieldDef -> FieldDef #
isFieldMaybe :: FieldDef -> Bool #
isFieldNullable :: FieldDef -> IsNullable #
setFieldAttrs :: [FieldAttr] -> FieldDef -> FieldDef #
fromPersistValueText :: PersistValue -> Either Text Text #
derivePersistField :: String -> Q [Dec] #
derivePersistFieldJSON :: String -> Q [Dec] #
discoverEntities :: Q Exp #
embedEntityDefs :: [EntityDef] -> [UnboundEntityDef] -> [UnboundEntityDef] #
fieldError :: Text -> Text -> Text -> Text #
migrateModels :: [EntityDef] -> Migration #
mkEntityDefList :: String -> [UnboundEntityDef] -> Q [Dec] #
mkPersist :: MkPersistSettings -> [UnboundEntityDef] -> Q [Dec] #
mkPersistSettings :: Type -> MkPersistSettings #
mkPersistWith :: MkPersistSettings -> [EntityDef] -> [UnboundEntityDef] -> Q [Dec] #
parseReferences :: PersistSettings -> Text -> Q Exp #
persistFieldFromEntity :: MkPersistSettings -> UnboundEntityDef -> Q [Dec] #
persistFileWith :: PersistSettings -> FilePath -> Q Exp #
persistLowerCase :: QuasiQuoter #
persistManyFileWith :: PersistSettings -> [FilePath] -> Q Exp #
persistUpperCase :: QuasiQuoter #
persistWith :: PersistSettings -> QuasiQuoter #
pkNewtype :: MkPersistSettings -> UnboundEntityDef -> Bool #
entitiesPrimary :: EntityDef -> NonEmpty FieldDef #
entityPrimary :: EntityDef -> Maybe CompositeDef #
isFieldNotGenerated :: FieldDef -> Bool #
isHaskellField :: FieldDef -> Bool #
keyAndEntityFields :: EntityDef -> NonEmpty FieldDef #
parseFieldAttrs :: [Text] -> [FieldAttr] #
renderCascadeAction :: CascadeAction -> Text #
renderFieldCascade :: FieldCascade -> Text #
type PersistQuery a = PersistQueryWrite a #
type PersistStore a = PersistStoreWrite a #
type PersistUnique a = PersistUniqueWrite a #
type family PersistConfigBackend c :: (Type -> Type) -> Type -> Type #
Instances
type PersistConfigBackend (Either c1 c2) | |
Defined in Database.Persist.Class.PersistConfig |
type family PersistConfigPool c #
Instances
type PersistConfigPool (Either c1 c2) | |
Defined in Database.Persist.Class.PersistConfig |
type family BackendSpecificFilter backend record #
type family BackendSpecificUpdate backend record #
data PersistUpdate #
Instances
Read PersistUpdate | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS PersistUpdate readList :: ReadS [PersistUpdate] readPrec :: ReadPrec PersistUpdate readListPrec :: ReadPrec [PersistUpdate] | |
Show PersistUpdate | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> PersistUpdate -> ShowS show :: PersistUpdate -> String showList :: [PersistUpdate] -> ShowS | |
Lift PersistUpdate | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => PersistUpdate -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => PersistUpdate -> Code m PersistUpdate |
Instances
(Generic (Key record), Generic record) => Generic (Entity record) | |||||
Defined in Database.Persist.Class.PersistEntity Associated Types
| |||||
(Read (Key record), Read record) => Read (Entity record) | |||||
Defined in Database.Persist.Class.PersistEntity | |||||
(Show (Key record), Show record) => Show (Entity record) | |||||
(Eq (Key record), Eq record) => Eq (Entity record) | |||||
(Ord (Key record), Ord record) => Ord (Entity record) | |||||
Defined in Database.Persist.Class.PersistEntity | |||||
(TypeError (EntityErrorMessage a) :: Constraint) => SafeToInsert (Entity a) | |||||
Defined in Database.Persist.Class.PersistEntity | |||||
(PersistEntity record, PersistField record, PersistField (Key record)) => PersistField (Entity record) | |||||
Defined in Database.Persist.Class.PersistEntity Methods toPersistValue :: Entity record -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Entity record) # | |||||
type Rep (Entity record) | |||||
Defined in Database.Persist.Class.PersistEntity type Rep (Entity record) = D1 ('MetaData "Entity" "Database.Persist.Class.PersistEntity" "persistent-2.14.6.3-9O1fYY2sxdJ6DwWMQdIln1" 'False) (C1 ('MetaCons "Entity" 'PrefixI 'True) (S1 ('MetaSel ('Just "entityKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Key record)) :*: S1 ('MetaSel ('Just "entityVal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 record))) |
class (PersistField (Key record), ToJSON (Key record), FromJSON (Key record), Show (Key record), Read (Key record), Eq (Key record), Ord (Key record)) => PersistEntity record where #
Minimal complete definition
keyToValues, keyFromValues, persistIdField, entityDef, persistFieldDef, toPersistFields, fromPersistValues, tabulateEntityA, persistUniqueKeys, persistUniqueToFieldNames, persistUniqueToValues, fieldLens
Methods
keyToValues :: Key record -> [PersistValue] #
keyFromValues :: [PersistValue] -> Either Text (Key record) #
persistIdField :: EntityField record (Key record) #
entityDef :: proxy record -> EntityDef #
persistFieldDef :: EntityField record typ -> FieldDef #
toPersistFields :: record -> [PersistValue] #
fromPersistValues :: [PersistValue] -> Either Text record #
tabulateEntityA :: Applicative f => (forall a. EntityField record a -> f a) -> f (Entity record) #
persistUniqueKeys :: record -> [Unique record] #
persistUniqueToFieldNames :: Unique record -> NonEmpty (FieldNameHS, FieldNameDB) #
persistUniqueToValues :: Unique record -> [PersistValue] #
fieldLens :: EntityField record field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity record -> f (Entity record) #
keyFromRecordM :: Maybe (record -> Key record) #
data family EntityField record :: Type -> Type #
Instances
SymbolToField sym rec typ => IsLabel sym (EntityField rec typ) | |
Defined in Database.Persist.Class.PersistEntity Methods fromLabel :: EntityField rec typ |
Constructors
PersistField typ => Filter | |
Fields
| |
FilterAnd [Filter record] | |
FilterOr [Filter record] | |
BackendFilter (BackendSpecificFilter (PersistEntityBackend record) record) |
data FilterValue typ where #
Constructors
FilterValue :: forall typ. typ -> FilterValue typ | |
FilterValues :: forall typ. [typ] -> FilterValue typ | |
UnsafeValue :: forall a typ. PersistField a => a -> FilterValue typ |
type family PersistEntityBackend record #
class SafeToInsert a #
Instances
(TypeError (EntityErrorMessage a) :: Constraint) => SafeToInsert (Entity a) | |
Defined in Database.Persist.Class.PersistEntity | |
(TypeError (FunctionErrorMessage a b) :: Constraint) => SafeToInsert (a -> b) | |
Defined in Database.Persist.Class.PersistEntity |
Constructors
Asc (EntityField record typ) | |
Desc (EntityField record typ) | |
OffsetBy Int | |
LimitTo Int |
class SymbolToField (sym :: Symbol) rec typ | sym rec -> typ where #
Methods
symbolToField :: EntityField rec typ #
Constructors
PersistField typ => Update | |
Fields
| |
BackendUpdate (BackendSpecificUpdate (PersistEntityBackend record) record) |
newtype OverflowNatural #
Constructors
OverflowNatural | |
Fields
|
Instances
Num OverflowNatural | |
Defined in Database.Persist.Class.PersistField Methods (+) :: OverflowNatural -> OverflowNatural -> OverflowNatural (-) :: OverflowNatural -> OverflowNatural -> OverflowNatural (*) :: OverflowNatural -> OverflowNatural -> OverflowNatural negate :: OverflowNatural -> OverflowNatural abs :: OverflowNatural -> OverflowNatural signum :: OverflowNatural -> OverflowNatural fromInteger :: Integer -> OverflowNatural | |
Show OverflowNatural | |
Defined in Database.Persist.Class.PersistField Methods showsPrec :: Int -> OverflowNatural -> ShowS show :: OverflowNatural -> String showList :: [OverflowNatural] -> ShowS | |
Eq OverflowNatural | |
Defined in Database.Persist.Class.PersistField Methods (==) :: OverflowNatural -> OverflowNatural -> Bool (/=) :: OverflowNatural -> OverflowNatural -> Bool | |
Ord OverflowNatural | |
Defined in Database.Persist.Class.PersistField Methods compare :: OverflowNatural -> OverflowNatural -> Ordering (<) :: OverflowNatural -> OverflowNatural -> Bool (<=) :: OverflowNatural -> OverflowNatural -> Bool (>) :: OverflowNatural -> OverflowNatural -> Bool (>=) :: OverflowNatural -> OverflowNatural -> Bool max :: OverflowNatural -> OverflowNatural -> OverflowNatural min :: OverflowNatural -> OverflowNatural -> OverflowNatural | |
PersistField OverflowNatural | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: OverflowNatural -> PersistValue # fromPersistValue :: PersistValue -> Either Text OverflowNatural # |
class PersistField a where #
Instances
PersistField Html | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Html -> PersistValue # fromPersistValue :: PersistValue -> Either Text Html # | |
PersistField ByteString | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: ByteString -> PersistValue # fromPersistValue :: PersistValue -> Either Text ByteString # | |
PersistField Int16 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int16 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int16 # | |
PersistField Int32 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int32 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int32 # | |
PersistField Int64 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int64 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int64 # | |
PersistField Int8 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Int8 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Int8 # | |
PersistField Rational | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Rational -> PersistValue # fromPersistValue :: PersistValue -> Either Text Rational # | |
PersistField Word16 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word16 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word16 # | |
PersistField Word32 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word32 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word32 # | |
PersistField Word64 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word64 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word64 # | |
PersistField Word8 | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word8 -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word8 # | |
PersistField OverflowNatural | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: OverflowNatural -> PersistValue # fromPersistValue :: PersistValue -> Either Text OverflowNatural # | |
PersistField PersistValue | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: PersistValue -> PersistValue # fromPersistValue :: PersistValue -> Either Text PersistValue # | |
PersistField Checkmark | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Checkmark -> PersistValue # fromPersistValue :: PersistValue -> Either Text Checkmark # | |
PersistField Text | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Text -> PersistValue # fromPersistValue :: PersistValue -> Either Text Text # | |
PersistField Text | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Text -> PersistValue # fromPersistValue :: PersistValue -> Either Text Text # | |
PersistField Day | |
Defined in Database.Persist.Class.PersistField | |
PersistField UTCTime | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: UTCTime -> PersistValue # fromPersistValue :: PersistValue -> Either Text UTCTime # | |
PersistField TimeOfDay | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: TimeOfDay -> PersistValue # fromPersistValue :: PersistValue -> Either Text TimeOfDay # | |
PersistField Textarea | |
Defined in Yesod.Form.Fields Methods toPersistValue :: Textarea -> PersistValue # fromPersistValue :: PersistValue -> Either Text Textarea # | |
(TypeError ((((('Text "The instance of PersistField for the Natural type was removed." ':$$: 'Text "Please see the documentation for OverflowNatural if you want to ") ':$$: 'Text "continue using the old behavior or want to see documentation on ") ':$$: 'Text "why the instance was removed.") ':$$: 'Text "") ':$$: 'Text "This error instance will be removed in a future release.") :: Constraint) => PersistField Natural | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Natural -> PersistValue # fromPersistValue :: PersistValue -> Either Text Natural # | |
PersistField Bool | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Bool -> PersistValue # fromPersistValue :: PersistValue -> Either Text Bool # | |
PersistField Double | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Double -> PersistValue # fromPersistValue :: PersistValue -> Either Text Double # | |
PersistField Int | |
Defined in Database.Persist.Class.PersistField | |
PersistField Word | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Word -> PersistValue # fromPersistValue :: PersistValue -> Either Text Word # | |
PersistField v => PersistField (IntMap v) | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: IntMap v -> PersistValue # fromPersistValue :: PersistValue -> Either Text (IntMap v) # | |
(Ord a, PersistField a) => PersistField (Set a) | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Set a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Set a) # | |
(PersistEntity record, PersistField record, PersistField (Key record)) => PersistField (Entity record) | |
Defined in Database.Persist.Class.PersistEntity Methods toPersistValue :: Entity record -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Entity record) # | |
PersistField a => PersistField (Vector a) | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Vector a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Vector a) # | |
PersistField a => PersistField (Maybe a) | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Maybe a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Maybe a) # | |
PersistField [Char] | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: [Char] -> PersistValue # fromPersistValue :: PersistValue -> Either Text [Char] # | |
PersistField a => PersistField [a] | |
Defined in Database.Persist.Class.PersistField | |
HasResolution a => PersistField (Fixed a) | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Fixed a -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Fixed a) # | |
PersistField v => PersistField (Map Text v) | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Map Text v -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Map Text v) # | |
(PersistField a, PersistField b) => PersistField (a, b) | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: (a, b) -> PersistValue # fromPersistValue :: PersistValue -> Either Text (a, b) # |
class (PersistCore backend, PersistStoreRead backend) => PersistQueryRead backend where #
Minimal complete definition
Methods
selectSourceRes :: forall record (m1 :: Type -> Type) (m2 :: Type -> Type). (PersistRecordBackend record backend, MonadIO m1, MonadIO m2) => [Filter record] -> [SelectOpt record] -> ReaderT backend m1 (Acquire (ConduitM () (Entity record) m2 ())) #
selectFirst :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m (Maybe (Entity record)) #
selectKeysRes :: forall (m1 :: Type -> Type) (m2 :: Type -> Type) record. (MonadIO m1, MonadIO m2, PersistRecordBackend record backend) => [Filter record] -> [SelectOpt record] -> ReaderT backend m1 (Acquire (ConduitM () (Key record) m2 ())) #
count :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m Int #
exists :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m Bool #
class (PersistQueryRead backend, PersistStoreWrite backend) => PersistQueryWrite backend where #
Methods
updateWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> [Update record] -> ReaderT backend m () #
deleteWhere :: forall (m :: Type -> Type) record. (MonadIO m, PersistRecordBackend record backend) => [Filter record] -> ReaderT backend m () #
class BackendCompatible sup sub where #
Methods
projectBackend :: sub -> sup #
class PersistCore backend #
Associated Types
data BackendKey backend #
data family BackendKey backend #
Instances
newtype BackendKey SqlReadBackend | |
Defined in Database.Persist.Sql.Orphan.PersistStore | |
newtype BackendKey SqlWriteBackend | |
Defined in Database.Persist.Sql.Orphan.PersistStore | |
newtype BackendKey SqlBackend | |
Defined in Database.Persist.Sql.Orphan.PersistStore | |
type Rep (BackendKey SqlReadBackend) | |
Defined in Database.Persist.Sql.Orphan.PersistStore type Rep (BackendKey SqlReadBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.14.6.3-9O1fYY2sxdJ6DwWMQdIln1" 'True) (C1 ('MetaCons "SqlReadBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlReadBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) | |
type Rep (BackendKey SqlWriteBackend) | |
Defined in Database.Persist.Sql.Orphan.PersistStore type Rep (BackendKey SqlWriteBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.14.6.3-9O1fYY2sxdJ6DwWMQdIln1" 'True) (C1 ('MetaCons "SqlWriteBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlWriteBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) | |
type Rep (BackendKey SqlBackend) | |
Defined in Database.Persist.Sql.Orphan.PersistStore type Rep (BackendKey SqlBackend) = D1 ('MetaData "BackendKey" "Database.Persist.Sql.Orphan.PersistStore" "persistent-2.14.6.3-9O1fYY2sxdJ6DwWMQdIln1" 'True) (C1 ('MetaCons "SqlBackendKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSqlBackendKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) |
class HasPersistBackend backend where #
Associated Types
type BaseBackend backend #
Methods
persistBackend :: backend -> BaseBackend backend #
Instances
HasPersistBackend SqlReadBackend | |||||
Defined in Database.Persist.Sql.Types.Internal Associated Types
Methods persistBackend :: SqlReadBackend -> BaseBackend SqlReadBackend # | |||||
HasPersistBackend SqlWriteBackend | |||||
Defined in Database.Persist.Sql.Types.Internal Associated Types
Methods persistBackend :: SqlWriteBackend -> BaseBackend SqlWriteBackend # |
type family BaseBackend backend #
Instances
type BaseBackend SqlReadBackend | |
Defined in Database.Persist.Sql.Types.Internal type BaseBackend SqlReadBackend = SqlBackend | |
type BaseBackend SqlWriteBackend | |
Defined in Database.Persist.Sql.Types.Internal type BaseBackend SqlWriteBackend = SqlBackend |
class HasPersistBackend backend => IsPersistBackend backend #
Minimal complete definition
mkPersistBackend
Instances
IsPersistBackend SqlReadBackend | |
Defined in Database.Persist.Sql.Types.Internal Methods mkPersistBackend :: BaseBackend SqlReadBackend -> SqlReadBackend | |
IsPersistBackend SqlWriteBackend | |
Defined in Database.Persist.Sql.Types.Internal Methods mkPersistBackend :: BaseBackend SqlWriteBackend -> SqlWriteBackend |
type PersistRecordBackend record backend = (PersistEntity record, PersistEntityBackend record ~ BaseBackend backend) #
class (Show (BackendKey backend), Read (BackendKey backend), Eq (BackendKey backend), Ord (BackendKey backend), PersistCore backend, PersistField (BackendKey backend), ToJSON (BackendKey backend), FromJSON (BackendKey backend)) => PersistStoreRead backend where #
Minimal complete definition
Methods
get :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> ReaderT backend m (Maybe record) #
getMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [Key record] -> ReaderT backend m (Map (Key record) record) #
class (Show (BackendKey backend), Read (BackendKey backend), Eq (BackendKey backend), Ord (BackendKey backend), PersistStoreRead backend, PersistField (BackendKey backend), ToJSON (BackendKey backend), FromJSON (BackendKey backend)) => PersistStoreWrite backend where #
Methods
insert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Key record) #
insert_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m () #
insertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m [Key record] #
insertMany_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m () #
insertEntityMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [Entity record] -> ReaderT backend m () #
insertKey :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m () #
repsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m () #
repsertMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => [(Key record, record)] -> ReaderT backend m () #
replace :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> record -> ReaderT backend m () #
delete :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> ReaderT backend m () #
update :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> [Update record] -> ReaderT backend m () #
updateGet :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Key record -> [Update record] -> ReaderT backend m record #
class (PersistEntity record, PersistEntityBackend record ~ backend, PersistCore backend) => ToBackendKey backend record where #
Methods
toBackendKey :: Key record -> BackendKey backend #
fromBackendKey :: BackendKey backend -> Key record #
class PersistEntity record => AtLeastOneUniqueKey record where #
Methods
requireUniquesP :: record -> NonEmpty (Unique record) #
type MultipleUniqueKeysError ty = ((('Text "The entity " ':<>: 'ShowType ty) ':<>: 'Text " has multiple unique keys.") ':$$: ('Text "The function you are trying to call requires only a single " ':<>: 'Text "unique key.")) ':$$: (('Text "There is probably a variant of the function with 'By' " ':<>: 'Text "appended that will allow you to select a unique key ") ':<>: 'Text "for the operation.") #
type NoUniqueKeysError ty = (('Text "The entity " ':<>: 'ShowType ty) ':<>: 'Text " does not have any unique keys.") ':$$: ('Text "The function you are trying to call requires a unique key " ':<>: 'Text "to be defined on the entity.") #
class PersistEntity record => OnlyOneUniqueKey record where #
Methods
onlyUniqueP :: record -> Unique record #
class PersistStoreRead backend => PersistUniqueRead backend where #
Minimal complete definition
Methods
getBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m (Maybe (Entity record)) #
existsBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m Bool #
class (PersistUniqueRead backend, PersistStoreWrite backend) => PersistUniqueWrite backend where #
Minimal complete definition
Methods
deleteBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend) => Unique record -> ReaderT backend m () #
insertUnique :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Maybe (Key record)) #
insertUnique_ :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => record -> ReaderT backend m (Maybe ()) #
upsert :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, OnlyOneUniqueKey record, SafeToInsert record) => record -> [Update record] -> ReaderT backend m (Entity record) #
upsertBy :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => Unique record -> record -> [Update record] -> ReaderT backend m (Entity record) #
putMany :: forall record (m :: Type -> Type). (MonadIO m, PersistRecordBackend record backend, SafeToInsert record) => [record] -> ReaderT backend m () #
data ImplicitIdDef #
newtype ConstraintNameDB #
Constructors
ConstraintNameDB | |
Fields
|
Instances
Read ConstraintNameDB | |
Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS ConstraintNameDB readList :: ReadS [ConstraintNameDB] readPrec :: ReadPrec ConstraintNameDB readListPrec :: ReadPrec [ConstraintNameDB] | |
Show ConstraintNameDB | |
Defined in Database.Persist.Names Methods showsPrec :: Int -> ConstraintNameDB -> ShowS show :: ConstraintNameDB -> String showList :: [ConstraintNameDB] -> ShowS | |
Eq ConstraintNameDB | |
Defined in Database.Persist.Names Methods (==) :: ConstraintNameDB -> ConstraintNameDB -> Bool (/=) :: ConstraintNameDB -> ConstraintNameDB -> Bool | |
Ord ConstraintNameDB | |
Defined in Database.Persist.Names Methods compare :: ConstraintNameDB -> ConstraintNameDB -> Ordering (<) :: ConstraintNameDB -> ConstraintNameDB -> Bool (<=) :: ConstraintNameDB -> ConstraintNameDB -> Bool (>) :: ConstraintNameDB -> ConstraintNameDB -> Bool (>=) :: ConstraintNameDB -> ConstraintNameDB -> Bool max :: ConstraintNameDB -> ConstraintNameDB -> ConstraintNameDB min :: ConstraintNameDB -> ConstraintNameDB -> ConstraintNameDB | |
DatabaseName ConstraintNameDB | |
Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> ConstraintNameDB -> str # | |
Lift ConstraintNameDB | |
Defined in Database.Persist.Names Methods lift :: Quote m => ConstraintNameDB -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ConstraintNameDB -> Code m ConstraintNameDB |
newtype ConstraintNameHS #
Constructors
ConstraintNameHS | |
Fields
|
Instances
Read ConstraintNameHS | |
Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS ConstraintNameHS readList :: ReadS [ConstraintNameHS] readPrec :: ReadPrec ConstraintNameHS readListPrec :: ReadPrec [ConstraintNameHS] | |
Show ConstraintNameHS | |
Defined in Database.Persist.Names Methods showsPrec :: Int -> ConstraintNameHS -> ShowS show :: ConstraintNameHS -> String showList :: [ConstraintNameHS] -> ShowS | |
Eq ConstraintNameHS | |
Defined in Database.Persist.Names Methods (==) :: ConstraintNameHS -> ConstraintNameHS -> Bool (/=) :: ConstraintNameHS -> ConstraintNameHS -> Bool | |
Ord ConstraintNameHS | |
Defined in Database.Persist.Names Methods compare :: ConstraintNameHS -> ConstraintNameHS -> Ordering (<) :: ConstraintNameHS -> ConstraintNameHS -> Bool (<=) :: ConstraintNameHS -> ConstraintNameHS -> Bool (>) :: ConstraintNameHS -> ConstraintNameHS -> Bool (>=) :: ConstraintNameHS -> ConstraintNameHS -> Bool max :: ConstraintNameHS -> ConstraintNameHS -> ConstraintNameHS min :: ConstraintNameHS -> ConstraintNameHS -> ConstraintNameHS | |
Lift ConstraintNameHS | |
Defined in Database.Persist.Names Methods lift :: Quote m => ConstraintNameHS -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ConstraintNameHS -> Code m ConstraintNameHS |
class DatabaseName a where #
Methods
escapeWith :: (Text -> str) -> a -> str #
Instances
DatabaseName ConstraintNameDB | |
Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> ConstraintNameDB -> str # | |
DatabaseName EntityNameDB | |
Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> EntityNameDB -> str # | |
DatabaseName FieldNameDB | |
Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> FieldNameDB -> str # |
newtype EntityNameDB #
Constructors
EntityNameDB | |
Fields
|
Instances
Read EntityNameDB | |
Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS EntityNameDB readList :: ReadS [EntityNameDB] readPrec :: ReadPrec EntityNameDB readListPrec :: ReadPrec [EntityNameDB] | |
Show EntityNameDB | |
Defined in Database.Persist.Names Methods showsPrec :: Int -> EntityNameDB -> ShowS show :: EntityNameDB -> String showList :: [EntityNameDB] -> ShowS | |
Eq EntityNameDB | |
Defined in Database.Persist.Names | |
Ord EntityNameDB | |
Defined in Database.Persist.Names Methods compare :: EntityNameDB -> EntityNameDB -> Ordering (<) :: EntityNameDB -> EntityNameDB -> Bool (<=) :: EntityNameDB -> EntityNameDB -> Bool (>) :: EntityNameDB -> EntityNameDB -> Bool (>=) :: EntityNameDB -> EntityNameDB -> Bool max :: EntityNameDB -> EntityNameDB -> EntityNameDB min :: EntityNameDB -> EntityNameDB -> EntityNameDB | |
DatabaseName EntityNameDB | |
Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> EntityNameDB -> str # | |
Lift EntityNameDB | |
Defined in Database.Persist.Names Methods lift :: Quote m => EntityNameDB -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EntityNameDB -> Code m EntityNameDB |
newtype EntityNameHS #
Constructors
EntityNameHS | |
Fields
|
Instances
Read EntityNameHS | |
Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS EntityNameHS readList :: ReadS [EntityNameHS] readPrec :: ReadPrec EntityNameHS readListPrec :: ReadPrec [EntityNameHS] | |
Show EntityNameHS | |
Defined in Database.Persist.Names Methods showsPrec :: Int -> EntityNameHS -> ShowS show :: EntityNameHS -> String showList :: [EntityNameHS] -> ShowS | |
Eq EntityNameHS | |
Defined in Database.Persist.Names | |
Ord EntityNameHS | |
Defined in Database.Persist.Names Methods compare :: EntityNameHS -> EntityNameHS -> Ordering (<) :: EntityNameHS -> EntityNameHS -> Bool (<=) :: EntityNameHS -> EntityNameHS -> Bool (>) :: EntityNameHS -> EntityNameHS -> Bool (>=) :: EntityNameHS -> EntityNameHS -> Bool max :: EntityNameHS -> EntityNameHS -> EntityNameHS min :: EntityNameHS -> EntityNameHS -> EntityNameHS | |
Lift EntityNameHS | |
Defined in Database.Persist.Names Methods lift :: Quote m => EntityNameHS -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EntityNameHS -> Code m EntityNameHS |
newtype FieldNameDB #
Constructors
FieldNameDB | |
Fields
|
Instances
Read FieldNameDB | |
Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS FieldNameDB readList :: ReadS [FieldNameDB] readPrec :: ReadPrec FieldNameDB readListPrec :: ReadPrec [FieldNameDB] | |
Show FieldNameDB | |
Defined in Database.Persist.Names Methods showsPrec :: Int -> FieldNameDB -> ShowS show :: FieldNameDB -> String showList :: [FieldNameDB] -> ShowS | |
Eq FieldNameDB | |
Defined in Database.Persist.Names | |
Ord FieldNameDB | |
Defined in Database.Persist.Names Methods compare :: FieldNameDB -> FieldNameDB -> Ordering (<) :: FieldNameDB -> FieldNameDB -> Bool (<=) :: FieldNameDB -> FieldNameDB -> Bool (>) :: FieldNameDB -> FieldNameDB -> Bool (>=) :: FieldNameDB -> FieldNameDB -> Bool max :: FieldNameDB -> FieldNameDB -> FieldNameDB min :: FieldNameDB -> FieldNameDB -> FieldNameDB | |
DatabaseName FieldNameDB | |
Defined in Database.Persist.Names Methods escapeWith :: (Text -> str) -> FieldNameDB -> str # | |
Lift FieldNameDB | |
Defined in Database.Persist.Names Methods lift :: Quote m => FieldNameDB -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldNameDB -> Code m FieldNameDB |
newtype FieldNameHS #
Constructors
FieldNameHS | |
Fields
|
Instances
Read FieldNameHS | |
Defined in Database.Persist.Names Methods readsPrec :: Int -> ReadS FieldNameHS readList :: ReadS [FieldNameHS] readPrec :: ReadPrec FieldNameHS readListPrec :: ReadPrec [FieldNameHS] | |
Show FieldNameHS | |
Defined in Database.Persist.Names Methods showsPrec :: Int -> FieldNameHS -> ShowS show :: FieldNameHS -> String showList :: [FieldNameHS] -> ShowS | |
Eq FieldNameHS | |
Defined in Database.Persist.Names | |
Ord FieldNameHS | |
Defined in Database.Persist.Names Methods compare :: FieldNameHS -> FieldNameHS -> Ordering (<) :: FieldNameHS -> FieldNameHS -> Bool (<=) :: FieldNameHS -> FieldNameHS -> Bool (>) :: FieldNameHS -> FieldNameHS -> Bool (>=) :: FieldNameHS -> FieldNameHS -> Bool max :: FieldNameHS -> FieldNameHS -> FieldNameHS min :: FieldNameHS -> FieldNameHS -> FieldNameHS | |
Lift FieldNameHS | |
Defined in Database.Persist.Names Methods lift :: Quote m => FieldNameHS -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldNameHS -> Code m FieldNameHS |
data LiteralType #
Constructors
Escaped | |
Unescaped | |
DbSpecific |
Instances
Read LiteralType | |
Defined in Database.Persist.PersistValue Methods readsPrec :: Int -> ReadS LiteralType readList :: ReadS [LiteralType] readPrec :: ReadPrec LiteralType readListPrec :: ReadPrec [LiteralType] | |
Show LiteralType | |
Defined in Database.Persist.PersistValue Methods showsPrec :: Int -> LiteralType -> ShowS show :: LiteralType -> String showList :: [LiteralType] -> ShowS | |
Eq LiteralType | |
Defined in Database.Persist.PersistValue | |
Ord LiteralType | |
Defined in Database.Persist.PersistValue Methods compare :: LiteralType -> LiteralType -> Ordering (<) :: LiteralType -> LiteralType -> Bool (<=) :: LiteralType -> LiteralType -> Bool (>) :: LiteralType -> LiteralType -> Bool (>=) :: LiteralType -> LiteralType -> Bool max :: LiteralType -> LiteralType -> LiteralType min :: LiteralType -> LiteralType -> LiteralType |
data PersistValue #
Constructors
PersistText Text | |
PersistByteString ByteString | |
PersistInt64 Int64 | |
PersistDouble Double | |
PersistRational Rational | |
PersistBool Bool | |
PersistDay Day | |
PersistTimeOfDay TimeOfDay | |
PersistUTCTime UTCTime | |
PersistNull | |
PersistList [PersistValue] | |
PersistMap [(Text, PersistValue)] | |
PersistObjectId ByteString | |
PersistArray [PersistValue] | |
PersistLiteral_ LiteralType ByteString |
Bundled Patterns
pattern PersistDbSpecific :: ByteString -> PersistValue | |
pattern PersistLiteral :: ByteString -> PersistValue | |
pattern PersistLiteralEscaped :: ByteString -> PersistValue |
Instances
FromJSON PersistValue | |
Defined in Database.Persist.PersistValue Methods parseJSON :: Value -> Parser PersistValue # parseJSONList :: Value -> Parser [PersistValue] # omittedField :: Maybe PersistValue # | |
ToJSON PersistValue | |
Defined in Database.Persist.PersistValue Methods toJSON :: PersistValue -> Value # toEncoding :: PersistValue -> Encoding # toJSONList :: [PersistValue] -> Value # toEncodingList :: [PersistValue] -> Encoding # omitField :: PersistValue -> Bool # | |
NFData PersistValue | |
Defined in Database.Persist.PersistValue Methods rnf :: PersistValue -> () | |
Read PersistValue | |
Defined in Database.Persist.PersistValue Methods readsPrec :: Int -> ReadS PersistValue readList :: ReadS [PersistValue] readPrec :: ReadPrec PersistValue readListPrec :: ReadPrec [PersistValue] | |
Show PersistValue | |
Defined in Database.Persist.PersistValue Methods showsPrec :: Int -> PersistValue -> ShowS show :: PersistValue -> String showList :: [PersistValue] -> ShowS | |
Eq PersistValue | |
Defined in Database.Persist.PersistValue | |
Ord PersistValue | |
Defined in Database.Persist.PersistValue Methods compare :: PersistValue -> PersistValue -> Ordering (<) :: PersistValue -> PersistValue -> Bool (<=) :: PersistValue -> PersistValue -> Bool (>) :: PersistValue -> PersistValue -> Bool (>=) :: PersistValue -> PersistValue -> Bool max :: PersistValue -> PersistValue -> PersistValue min :: PersistValue -> PersistValue -> PersistValue | |
FromHttpApiData PersistValue | |
Defined in Database.Persist.PersistValue Methods parseUrlPiece :: Text -> Either Text PersistValue parseHeader :: ByteString -> Either Text PersistValue parseQueryParam :: Text -> Either Text PersistValue | |
ToHttpApiData PersistValue | |
Defined in Database.Persist.PersistValue Methods toUrlPiece :: PersistValue -> Text toEncodedUrlPiece :: PersistValue -> Builder toHeader :: PersistValue -> ByteString toQueryParam :: PersistValue -> Text toEncodedQueryParam :: PersistValue -> Builder | |
PathPiece PersistValue | |
Defined in Database.Persist.PersistValue | |
PersistField PersistValue | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: PersistValue -> PersistValue # fromPersistValue :: PersistValue -> Either Text PersistValue # |
data EntityJSON #
Constructors
EntityJSON | |
Fields
|
data MkPersistSettings #
data CascadeAction #
Constructors
Cascade | |
Restrict | |
SetNull | |
SetDefault |
Instances
Read CascadeAction | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS CascadeAction readList :: ReadS [CascadeAction] readPrec :: ReadPrec CascadeAction readListPrec :: ReadPrec [CascadeAction] | |
Show CascadeAction | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> CascadeAction -> ShowS show :: CascadeAction -> String showList :: [CascadeAction] -> ShowS | |
Eq CascadeAction | |
Defined in Database.Persist.Types.Base | |
Ord CascadeAction | |
Defined in Database.Persist.Types.Base Methods compare :: CascadeAction -> CascadeAction -> Ordering (<) :: CascadeAction -> CascadeAction -> Bool (<=) :: CascadeAction -> CascadeAction -> Bool (>) :: CascadeAction -> CascadeAction -> Bool (>=) :: CascadeAction -> CascadeAction -> Bool max :: CascadeAction -> CascadeAction -> CascadeAction min :: CascadeAction -> CascadeAction -> CascadeAction | |
Lift CascadeAction | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => CascadeAction -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => CascadeAction -> Code m CascadeAction |
Instances
Bounded Checkmark | |
Defined in Database.Persist.Types.Base | |
Enum Checkmark | |
Defined in Database.Persist.Types.Base | |
Read Checkmark | |
Defined in Database.Persist.Types.Base | |
Show Checkmark | |
Eq Checkmark | |
Ord Checkmark | |
Defined in Database.Persist.Types.Base | |
FromHttpApiData Checkmark | |
Defined in Database.Persist.Types.Base Methods parseUrlPiece :: Text -> Either Text Checkmark parseHeader :: ByteString -> Either Text Checkmark parseQueryParam :: Text -> Either Text Checkmark | |
ToHttpApiData Checkmark | |
Defined in Database.Persist.Types.Base Methods toUrlPiece :: Checkmark -> Text toEncodedUrlPiece :: Checkmark -> Builder toHeader :: Checkmark -> ByteString toQueryParam :: Checkmark -> Text toEncodedQueryParam :: Checkmark -> Builder | |
PathPiece Checkmark | |
Defined in Database.Persist.Types.Base | |
PersistField Checkmark | |
Defined in Database.Persist.Class.PersistField Methods toPersistValue :: Checkmark -> PersistValue # fromPersistValue :: PersistValue -> Either Text Checkmark # |
data CompositeDef #
Constructors
CompositeDef | |
Fields
|
Instances
Read CompositeDef | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS CompositeDef readList :: ReadS [CompositeDef] readPrec :: ReadPrec CompositeDef readListPrec :: ReadPrec [CompositeDef] | |
Show CompositeDef | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> CompositeDef -> ShowS show :: CompositeDef -> String showList :: [CompositeDef] -> ShowS | |
Eq CompositeDef | |
Defined in Database.Persist.Types.Base | |
Ord CompositeDef | |
Defined in Database.Persist.Types.Base Methods compare :: CompositeDef -> CompositeDef -> Ordering (<) :: CompositeDef -> CompositeDef -> Bool (<=) :: CompositeDef -> CompositeDef -> Bool (>) :: CompositeDef -> CompositeDef -> Bool (>=) :: CompositeDef -> CompositeDef -> Bool max :: CompositeDef -> CompositeDef -> CompositeDef min :: CompositeDef -> CompositeDef -> CompositeDef | |
Lift CompositeDef | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => CompositeDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => CompositeDef -> Code m CompositeDef |
data EmbedEntityDef #
Constructors
EmbedEntityDef | |
Fields |
Instances
Read EmbedEntityDef | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS EmbedEntityDef readList :: ReadS [EmbedEntityDef] readPrec :: ReadPrec EmbedEntityDef readListPrec :: ReadPrec [EmbedEntityDef] | |
Show EmbedEntityDef | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> EmbedEntityDef -> ShowS show :: EmbedEntityDef -> String showList :: [EmbedEntityDef] -> ShowS | |
Eq EmbedEntityDef | |
Defined in Database.Persist.Types.Base Methods (==) :: EmbedEntityDef -> EmbedEntityDef -> Bool (/=) :: EmbedEntityDef -> EmbedEntityDef -> Bool | |
Ord EmbedEntityDef | |
Defined in Database.Persist.Types.Base Methods compare :: EmbedEntityDef -> EmbedEntityDef -> Ordering (<) :: EmbedEntityDef -> EmbedEntityDef -> Bool (<=) :: EmbedEntityDef -> EmbedEntityDef -> Bool (>) :: EmbedEntityDef -> EmbedEntityDef -> Bool (>=) :: EmbedEntityDef -> EmbedEntityDef -> Bool max :: EmbedEntityDef -> EmbedEntityDef -> EmbedEntityDef min :: EmbedEntityDef -> EmbedEntityDef -> EmbedEntityDef | |
Lift EmbedEntityDef | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => EmbedEntityDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EmbedEntityDef -> Code m EmbedEntityDef |
data EmbedFieldDef #
Constructors
EmbedFieldDef | |
Fields
|
Instances
Read EmbedFieldDef | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS EmbedFieldDef readList :: ReadS [EmbedFieldDef] readPrec :: ReadPrec EmbedFieldDef readListPrec :: ReadPrec [EmbedFieldDef] | |
Show EmbedFieldDef | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> EmbedFieldDef -> ShowS show :: EmbedFieldDef -> String showList :: [EmbedFieldDef] -> ShowS | |
Eq EmbedFieldDef | |
Defined in Database.Persist.Types.Base | |
Ord EmbedFieldDef | |
Defined in Database.Persist.Types.Base Methods compare :: EmbedFieldDef -> EmbedFieldDef -> Ordering (<) :: EmbedFieldDef -> EmbedFieldDef -> Bool (<=) :: EmbedFieldDef -> EmbedFieldDef -> Bool (>) :: EmbedFieldDef -> EmbedFieldDef -> Bool (>=) :: EmbedFieldDef -> EmbedFieldDef -> Bool max :: EmbedFieldDef -> EmbedFieldDef -> EmbedFieldDef min :: EmbedFieldDef -> EmbedFieldDef -> EmbedFieldDef | |
Lift EmbedFieldDef | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => EmbedFieldDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EmbedFieldDef -> Code m EmbedFieldDef |
Instances
Read EntityDef | |
Defined in Database.Persist.Types.Base | |
Show EntityDef | |
Eq EntityDef | |
Ord EntityDef | |
Defined in Database.Persist.Types.Base | |
Lift EntityDef | |
data EntityIdDef #
Constructors
EntityIdField !FieldDef | |
EntityIdNaturalKey !CompositeDef |
Instances
Read EntityIdDef | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS EntityIdDef readList :: ReadS [EntityIdDef] readPrec :: ReadPrec EntityIdDef readListPrec :: ReadPrec [EntityIdDef] | |
Show EntityIdDef | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> EntityIdDef -> ShowS show :: EntityIdDef -> String showList :: [EntityIdDef] -> ShowS | |
Eq EntityIdDef | |
Defined in Database.Persist.Types.Base | |
Ord EntityIdDef | |
Defined in Database.Persist.Types.Base Methods compare :: EntityIdDef -> EntityIdDef -> Ordering (<) :: EntityIdDef -> EntityIdDef -> Bool (<=) :: EntityIdDef -> EntityIdDef -> Bool (>) :: EntityIdDef -> EntityIdDef -> Bool (>=) :: EntityIdDef -> EntityIdDef -> Bool max :: EntityIdDef -> EntityIdDef -> EntityIdDef min :: EntityIdDef -> EntityIdDef -> EntityIdDef | |
Lift EntityIdDef | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => EntityIdDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => EntityIdDef -> Code m EntityIdDef |
Constructors
FieldAttrMaybe | |
FieldAttrNullable | |
FieldAttrMigrationOnly | |
FieldAttrSafeToRemove | |
FieldAttrNoreference | |
FieldAttrReference Text | |
FieldAttrConstraint Text | |
FieldAttrDefault Text | |
FieldAttrSqltype Text | |
FieldAttrMaxlen Integer | |
FieldAttrSql Text | |
FieldAttrOther Text |
Instances
Read FieldAttr | |
Defined in Database.Persist.Types.Base | |
Show FieldAttr | |
Eq FieldAttr | |
Ord FieldAttr | |
Defined in Database.Persist.Types.Base | |
Lift FieldAttr | |
data FieldCascade #
Constructors
FieldCascade | |
Fields
|
Instances
Read FieldCascade | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS FieldCascade readList :: ReadS [FieldCascade] readPrec :: ReadPrec FieldCascade readListPrec :: ReadPrec [FieldCascade] | |
Show FieldCascade | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> FieldCascade -> ShowS show :: FieldCascade -> String showList :: [FieldCascade] -> ShowS | |
Eq FieldCascade | |
Defined in Database.Persist.Types.Base | |
Ord FieldCascade | |
Defined in Database.Persist.Types.Base Methods compare :: FieldCascade -> FieldCascade -> Ordering (<) :: FieldCascade -> FieldCascade -> Bool (<=) :: FieldCascade -> FieldCascade -> Bool (>) :: FieldCascade -> FieldCascade -> Bool (>=) :: FieldCascade -> FieldCascade -> Bool max :: FieldCascade -> FieldCascade -> FieldCascade min :: FieldCascade -> FieldCascade -> FieldCascade | |
Lift FieldCascade | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => FieldCascade -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FieldCascade -> Code m FieldCascade |
Constructors
FieldDef | |
Fields
|
Instances
Read FieldDef | |
Defined in Database.Persist.Types.Base | |
Show FieldDef | |
Eq FieldDef | |
Ord FieldDef | |
Defined in Database.Persist.Types.Base | |
Lift FieldDef | |
Constructors
FTTypeCon (Maybe Text) Text | |
FTLit FieldTypeLit | |
FTTypePromoted Text | |
FTApp FieldType FieldType | |
FTList FieldType |
Instances
Read FieldType | |
Defined in Database.Persist.Types.Base | |
Show FieldType | |
Eq FieldType | |
Ord FieldType | |
Defined in Database.Persist.Types.Base | |
Lift FieldType | |
data ForeignDef #
Constructors
ForeignDef | |
Fields
|
Instances
Read ForeignDef | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS ForeignDef readList :: ReadS [ForeignDef] readPrec :: ReadPrec ForeignDef readListPrec :: ReadPrec [ForeignDef] | |
Show ForeignDef | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> ForeignDef -> ShowS show :: ForeignDef -> String showList :: [ForeignDef] -> ShowS | |
Eq ForeignDef | |
Defined in Database.Persist.Types.Base | |
Ord ForeignDef | |
Defined in Database.Persist.Types.Base Methods compare :: ForeignDef -> ForeignDef -> Ordering (<) :: ForeignDef -> ForeignDef -> Bool (<=) :: ForeignDef -> ForeignDef -> Bool (>) :: ForeignDef -> ForeignDef -> Bool (>=) :: ForeignDef -> ForeignDef -> Bool max :: ForeignDef -> ForeignDef -> ForeignDef min :: ForeignDef -> ForeignDef -> ForeignDef | |
Lift ForeignDef | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => ForeignDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ForeignDef -> Code m ForeignDef |
type ForeignFieldDef = (FieldNameHS, FieldNameDB) #
data IsNullable #
Constructors
Nullable !WhyNullable | |
NotNullable |
Instances
Show IsNullable | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> IsNullable -> ShowS show :: IsNullable -> String showList :: [IsNullable] -> ShowS | |
Eq IsNullable | |
Defined in Database.Persist.Types.Base |
data PersistException #
Constructors
PersistError Text | |
PersistMarshalError Text | |
PersistInvalidField Text | |
PersistForeignConstraintUnmet Text | |
PersistMongoDBError Text | |
PersistMongoDBUnsupported Text |
Instances
Exception PersistException | |
Defined in Database.Persist.Types.Base Methods toException :: PersistException -> SomeException fromException :: SomeException -> Maybe PersistException displayException :: PersistException -> String backtraceDesired :: PersistException -> Bool | |
Show PersistException | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> PersistException -> ShowS show :: PersistException -> String showList :: [PersistException] -> ShowS |
data ReferenceDef #
Constructors
NoReference | |
ForeignRef !EntityNameHS | |
EmbedRef EntityNameHS | |
SelfReference |
Instances
Read ReferenceDef | |
Defined in Database.Persist.Types.Base Methods readsPrec :: Int -> ReadS ReferenceDef readList :: ReadS [ReferenceDef] readPrec :: ReadPrec ReferenceDef readListPrec :: ReadPrec [ReferenceDef] | |
Show ReferenceDef | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> ReferenceDef -> ShowS show :: ReferenceDef -> String showList :: [ReferenceDef] -> ShowS | |
Eq ReferenceDef | |
Defined in Database.Persist.Types.Base | |
Ord ReferenceDef | |
Defined in Database.Persist.Types.Base Methods compare :: ReferenceDef -> ReferenceDef -> Ordering (<) :: ReferenceDef -> ReferenceDef -> Bool (<=) :: ReferenceDef -> ReferenceDef -> Bool (>) :: ReferenceDef -> ReferenceDef -> Bool (>=) :: ReferenceDef -> ReferenceDef -> Bool max :: ReferenceDef -> ReferenceDef -> ReferenceDef min :: ReferenceDef -> ReferenceDef -> ReferenceDef | |
Lift ReferenceDef | |
Defined in Database.Persist.Types.Base Methods lift :: Quote m => ReferenceDef -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => ReferenceDef -> Code m ReferenceDef |
Constructors
SqlString | |
SqlInt32 | |
SqlInt64 | |
SqlReal | |
SqlNumeric Word32 Word32 | |
SqlBool | |
SqlDay | |
SqlTime | |
SqlDayTime | |
SqlBlob | |
SqlOther Text |
Constructors
UniqueDef | |
Fields
|
Instances
Read UniqueDef | |
Defined in Database.Persist.Types.Base | |
Show UniqueDef | |
Eq UniqueDef | |
Ord UniqueDef | |
Defined in Database.Persist.Types.Base | |
Lift UniqueDef | |
data UpdateException #
Constructors
KeyNotFound String | |
UpsertError String |
Instances
Exception UpdateException | |
Defined in Database.Persist.Types.Base Methods toException :: UpdateException -> SomeException fromException :: SomeException -> Maybe UpdateException displayException :: UpdateException -> String backtraceDesired :: UpdateException -> Bool | |
Show UpdateException | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> UpdateException -> ShowS show :: UpdateException -> String showList :: [UpdateException] -> ShowS |
data WhyNullable #
Constructors
ByMaybeAttr | |
ByNullableAttr |
Instances
Show WhyNullable | |
Defined in Database.Persist.Types.Base Methods showsPrec :: Int -> WhyNullable -> ShowS show :: WhyNullable -> String showList :: [WhyNullable] -> ShowS | |
Eq WhyNullable | |
Defined in Database.Persist.Types.Base |