Safe Haskell | Safe-Infered |
---|
- newtype UserId = UserId {}
- data AuthState = AuthState {
- userPasses :: UserPasses
- nextUserPassId :: UserPassId
- authMaps :: AuthMaps
- nextAuthId :: AuthId
- authTokens :: AuthTokens
- data ProfileState = ProfileState {}
- data AuthProfileURL
- data AuthURL
- data ProfileURL
- getUserId :: (Alternative m, Happstack m) => AcidState AuthState -> AcidState ProfileState -> m (Maybe UserId)
- authProfileHandler :: Happstack m => Text -> Text -> AcidState AuthState -> AcidState ProfileState -> (String -> Html -> Html -> m Response) -> Maybe Credentials -> Maybe Text -> Text -> m Response
- handleAuth :: (Happstack m, MonadRoute m, URL m ~ AuthURL) => AcidState AuthState -> (String -> Html -> Html -> m Response) -> Maybe Credentials -> Maybe Text -> Text -> AuthURL -> m Response
- handleProfile :: (Happstack m, Alternative m, MonadRoute m, URL m ~ ProfileURL) => AcidState AuthState -> AcidState ProfileState -> (String -> Html -> Html -> m Response) -> Text -> ProfileURL -> m Response
- handleAuthProfile :: forall m. (Happstack m, MonadRoute m, URL m ~ AuthProfileURL) => AcidState AuthState -> AcidState ProfileState -> (String -> Html -> Html -> m Response) -> Maybe Credentials -> Maybe Text -> Text -> AuthProfileURL -> m Response
Documentation
AuthState | |
|
data ProfileState Source
data AuthProfileURL Source
data ProfileURL Source
getUserId :: (Alternative m, Happstack m) => AcidState AuthState -> AcidState ProfileState -> m (Maybe UserId)Source
authProfileHandler :: Happstack m => Text -> Text -> AcidState AuthState -> AcidState ProfileState -> (String -> Html -> Html -> m Response) -> Maybe Credentials -> Maybe Text -> Text -> m ResponseSource
:: (Happstack m, MonadRoute m, URL m ~ AuthURL) | |
=> AcidState AuthState | database handle for |
-> (String -> Html -> Html -> m Response) | page template function |
-> Maybe Credentials | config information for facebook connect |
-> Maybe Text | authentication realm |
-> Text | URL to redirect to after succesful authentication |
-> AuthURL | url to route |
-> m Response |
Function which takes care of all AuthURL
routes.
The caller provides a page template function which will be used to render pages. The provided page template function takes three arguments:
String -- ^ string to use in the <title> tag -> Html -- ^ extra headers to add to the <head> tag -> Html -- ^ contents to stick in the <body> tag
:: (Happstack m, Alternative m, MonadRoute m, URL m ~ ProfileURL) | |
=> AcidState AuthState | database handle for |
-> AcidState ProfileState | database handle for |
-> (String -> Html -> Html -> m Response) | page template function |
-> Text | URL to redirect to after successfully picking an identity |
-> ProfileURL | URL to route |
-> m Response |
Function which takes care of all ProfileURL
routes.
The caller provides a page template function which will be used to render pages. The provided page template function takes three arguments:
String -- ^ string to use in the <title> tag -> Html -- ^ extra headers to add to the <head> tag -> Html -- ^ contents to stick in the <body> tag
handleAuthProfile :: forall m. (Happstack m, MonadRoute m, URL m ~ AuthProfileURL) => AcidState AuthState -> AcidState ProfileState -> (String -> Html -> Html -> m Response) -> Maybe Credentials -> Maybe Text -> Text -> AuthProfileURL -> m ResponseSource