Safe Haskell	Safe-Inferred
Language	Haskell2010

Foundation

Documentation

data App Source #

Constructors

App
Fields appSettings :: AppSettings appStatic :: Static Settings for static file serving. appConnPool :: ConnectionPool Database connection pool. appHttpManager :: Manager appLogger :: Logger

Instances

Instances details

HasHttpManager App Source #
Instance details Defined in Foundation Methods getHttpManager :: App -> Manager #
YesodAuth App Source #
Instance details Defined in Foundation Associated Types type AuthId App # Methods authLayout :: (MonadHandler m, HandlerSite m ~ App) => WidgetFor App () -> m Html # loginDest :: App -> Route App # logoutDest :: App -> Route App # authenticate :: (MonadHandler m, HandlerSite m ~ App) => Creds App -> m (AuthenticationResult App) # getAuthId :: (MonadHandler m, HandlerSite m ~ App) => Creds App -> m (Maybe (AuthId App)) # authPlugins :: App -> [AuthPlugin App] # loginHandler :: AuthHandler App Html # renderAuthMessage :: App -> [Text] -> AuthMessage -> Text # redirectToReferer :: App -> Bool # redirectToCurrent :: App -> Bool # authHttpManager :: (MonadHandler m, HandlerSite m ~ App) => m Manager # onLogin :: (MonadHandler m, App ~ HandlerSite m) => m () # onLogout :: (MonadHandler m, App ~ HandlerSite m) => m () # maybeAuthId :: (MonadHandler m, App ~ HandlerSite m) => m (Maybe (AuthId App)) # onErrorHtml :: (MonadHandler m, HandlerSite m ~ App) => Route App -> Text -> m Html # runHttpRequest :: (MonadHandler m, HandlerSite m ~ App, MonadUnliftIO m) => Request -> (Response BodyReader -> m a) -> m a #
YesodAuthPersist App Source #
Instance details Defined in Foundation Associated Types type AuthEntity App # Methods getAuthEntity :: (MonadHandler m, HandlerSite m ~ App) => AuthId App -> m (Maybe (AuthEntity App)) #
YesodDispatch App Source #
Instance details Defined in Application Methods yesodDispatch :: YesodRunnerEnv App -> Application #
Yesod App Source #
Instance details Defined in Foundation Methods approot :: Approot App # catchHandlerExceptions :: MonadUnliftIO m => App -> m a -> (SomeException -> m a) -> m a # errorHandler :: ErrorResponse -> HandlerFor App TypedContent # defaultLayout :: WidgetFor App () -> HandlerFor App Html # urlParamRenderOverride :: App -> Route App -> [(Text, Text)] -> Maybe Builder # isAuthorized :: Route App -> Bool -> HandlerFor App AuthResult # isWriteRequest :: Route App -> HandlerFor App Bool # authRoute :: App -> Maybe (Route App) # cleanPath :: App -> [Text] -> Either [Text] [Text] # joinPath :: App -> Text -> [Text] -> [(Text, Text)] -> Builder # addStaticContent :: Text -> Text -> ByteString -> HandlerFor App (Maybe (Either Text (Route App, [(Text, Text)]))) # maximumContentLength :: App -> Maybe (Route App) -> Maybe Word64 # maximumContentLengthIO :: App -> Maybe (Route App) -> IO (Maybe Word64) # makeLogger :: App -> IO Logger # messageLoggerSource :: App -> Logger -> Loc -> LogSource -> LogLevel -> LogStr -> IO () # jsLoader :: App -> ScriptLoadPosition App # jsAttributes :: App -> [(Text, Text)] # jsAttributesHandler :: HandlerFor App [(Text, Text)] # makeSessionBackend :: App -> IO (Maybe SessionBackend) # fileUpload :: App -> RequestBodyLength -> FileUpload # shouldLogIO :: App -> LogSource -> LogLevel -> IO Bool # yesodMiddleware :: ToTypedContent res => HandlerFor App res -> HandlerFor App res # yesodWithInternalState :: App -> Maybe (Route App) -> (InternalState -> IO a) -> IO a # defaultMessageWidget :: Html -> HtmlUrl (Route App) -> WidgetFor App () #
ParseRoute App Source #
Instance details Defined in Foundation Methods parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route App) #
RenderRoute App Source #
Instance details Defined in Foundation Associated Types data Route App # Methods renderRoute :: Route App -> ([Text], [(Text, Text)]) #
RouteAttrs App Source #
Instance details Defined in Foundation Methods routeAttrs :: Route App -> Set Text #
YesodPersist App Source #
Instance details Defined in Foundation Associated Types type YesodPersistBackend App # Methods runDB :: YesodDB App a -> HandlerFor App a #
YesodPersistRunner App Source #
Instance details Defined in Foundation Methods getDBRunner :: HandlerFor App (DBRunner App, HandlerFor App ()) #
RenderMessage App FormMessage Source #
Instance details Defined in Foundation Methods renderMessage :: App -> [Lang] -> FormMessage -> Text #
Generic (Route App) Source #
Instance details Defined in Foundation Associated Types type Rep (Route App) :: Type -> Type # Methods from :: Route App -> Rep (Route App) x # to :: Rep (Route App) x -> Route App #
Read (Route App) Source #
Instance details Defined in Foundation Methods readsPrec :: Int -> ReadS (Route App) # readList :: ReadS [Route App] # readPrec :: ReadPrec (Route App) # readListPrec :: ReadPrec [Route App] #
Show (Route App) Source #
Instance details Defined in Foundation Methods showsPrec :: Int -> Route App -> ShowS # show :: Route App -> String # showList :: [Route App] -> ShowS #
Eq (Route App) Source #
Instance details Defined in Foundation Methods (==) :: Route App -> Route App -> Bool # (/=) :: Route App -> Route App -> Bool #
type AuthEntity App Source #
Instance details Defined in Foundation type AuthEntity App = KeyEntity (AuthId App)
type AuthId App Source #
Instance details Defined in Foundation type AuthId App = UserId
data Route App Source #
Instance details Defined in Foundation data Route App = StaticR (Route Static) \| FaviconR \| RobotsR \| AuthR (Route Auth) \| NotesR UserNameP \| AddNoteViewR UserNameP \| AddNoteSlimViewR \| NotesFeedR UserNameP \| NoteR UserNameP NtSlug \| AddNoteR \| DeleteNoteR Int64 \| HomeR \| UserR UserNameP \| UserSharedR UserNameP SharedP \| UserFilterR UserNameP FilterP \| UserTagsR UserNameP TagsP \| UserFeedR UserNameP \| UserFeedSharedR UserNameP SharedP \| UserFeedFilterR UserNameP FilterP \| UserFeedTagsR UserNameP TagsP \| AccountSettingsR \| EditAccountSettingsR \| ChangePasswordR \| AddViewR \| AddR \| LookupTitleR \| UserTagCloudR \| UserTagCloudModeR \| DeleteR Int64 \| ReadR Int64 \| StarR Int64 \| UnstarR Int64 \| DocsSearchR
type YesodPersistBackend App Source #
Instance details Defined in Foundation type YesodPersistBackend App = SqlBackend
type Rep (Route App) Source #
Instance details Defined in Foundation type Rep (Route App) = D1 ('MetaData "Route" "Foundation" "espial-0.0.20-EcVaTGJvbgfEg2qawed6qP" 'False) (((((C1 ('MetaCons "StaticR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Route Static))) :+: C1 ('MetaCons "FaviconR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RobotsR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AuthR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Route Auth))))) :+: ((C1 ('MetaCons "NotesR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP)) :+: C1 ('MetaCons "AddNoteViewR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP))) :+: (C1 ('MetaCons "AddNoteSlimViewR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotesFeedR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP))))) :+: (((C1 ('MetaCons "NoteR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NtSlug)) :+: C1 ('MetaCons "AddNoteR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeleteNoteR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: C1 ('MetaCons "HomeR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UserR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP)) :+: C1 ('MetaCons "UserSharedR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SharedP))) :+: (C1 ('MetaCons "UserFilterR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilterP)) :+: C1 ('MetaCons "UserTagsR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagsP)))))) :+: ((((C1 ('MetaCons "UserFeedR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP)) :+: C1 ('MetaCons "UserFeedSharedR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SharedP))) :+: (C1 ('MetaCons "UserFeedFilterR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilterP)) :+: C1 ('MetaCons "UserFeedTagsR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UserNameP) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagsP)))) :+: ((C1 ('MetaCons "AccountSettingsR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EditAccountSettingsR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ChangePasswordR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AddViewR" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "AddR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LookupTitleR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UserTagCloudR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UserTagCloudModeR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DeleteR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: C1 ('MetaCons "ReadR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64))) :+: (C1 ('MetaCons "StarR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: (C1 ('MetaCons "UnstarR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: C1 ('MetaCons "DocsSearchR" 'PrefixI 'False) (U1 :: Type -> Type)))))))

type Handler = HandlerFor App Source #

type Widget = WidgetFor App () Source #

resourcesApp :: [ResourceTree String] Source #

session_timeout_minutes :: Int Source #

isAuthenticated :: Handler AuthResult Source #

addAppScripts :: (MonadWidget m, HandlerSite m ~ App) => m () Source #

popupLayout :: Widget -> Handler Html Source #

maybeAuthUsername :: Handler (Maybe Text) Source #

ultDestKey :: Text Source #

userNameKey :: Text Source #

dbAuthPluginName :: Text Source #

dbAuthPlugin :: AuthPlugin App Source #

dbLoginR :: AuthRoute Source #

dbPostLoginR :: AuthHandler master TypedContent Source #

dbLoginCreds :: Text -> Text -> Creds master Source #

authenticateCreds :: (MonadHandler m, HandlerSite m ~ App) => Creds App -> m (AuthenticationResult App) Source #

unsafeHandler :: App -> Handler a -> IO a Source #