Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Auth
- data AuthConfig = AuthConfig {
- authSuccessPage :: ByteString
- authUrl :: Text
- authPrefix :: [Text]
- authReturnToPath :: [Text]
- authLogoutPath :: [Text]
- providers :: [(Text, Provider)]
- data Provider = Provider {
- providerUrl :: Text
- realm :: Maybe Text
- parameters :: [(Text, Text)]
- data OpenId_ a = OpenId_ {}
- type OpenId = OpenId_ Text
- pOpenId :: Proxy OpenId
- initAuth :: (Has (Session OpenId m) exts, MonadBaseControl IO m) => AuthConfig -> Initializer m exts (Auth : exts)
- initAuthWith :: (Has (Session OpenId m) exts, MonadBaseControl IO m) => ManagerSettings -> AuthConfig -> Initializer m exts (Auth : exts)
- initAuthWithManager :: (Has (Session OpenId m) exts, MonadBaseControl IO m) => Manager -> AuthConfig -> Initializer m exts (Auth : exts)
- authHandler :: (Monad m, MonadIO actM, Has Auth exts, Has (Session OpenId actM) exts) => ApiaryT exts prms actM m ()
- authorized :: (Has (Session OpenId actM) exts, Monad actM, "auth" </ kvs) => Filter exts actM m kvs (("auth" := OpenId) : kvs)
- authorized' :: (Has (Session OpenId actM) exts, KnownSymbol key, Monad actM, key </ kvs) => proxy key -> Filter exts actM m kvs ((key := OpenId) : kvs)
- authLogout :: (Has (Session OpenId m) exts, Monad m) => ActionT exts prms m ()
- authConfig :: (Has Auth exts, Monad m) => ActionT exts prms m AuthConfig
- authProviders :: (Has Auth exts, Monad m) => ActionT exts prms m [(Text, Provider)]
- authRoutes :: (Has Auth exts, Monad m) => ActionT exts prms m [(Text, ByteString)]
Documentation
data AuthConfig Source
AuthConfig | |
|
initializer
initAuth :: (Has (Session OpenId m) exts, MonadBaseControl IO m) => AuthConfig -> Initializer m exts (Auth : exts) Source
initAuthWith :: (Has (Session OpenId m) exts, MonadBaseControl IO m) => ManagerSettings -> AuthConfig -> Initializer m exts (Auth : exts) Source
initAuthWithManager :: (Has (Session OpenId m) exts, MonadBaseControl IO m) => Manager -> AuthConfig -> Initializer m exts (Auth : exts) Source
handler
authHandler :: (Monad m, MonadIO actM, Has Auth exts, Has (Session OpenId actM) exts) => ApiaryT exts prms actM m () Source
default auth handlers. since 0.8.0.0.
filter
authorized :: (Has (Session OpenId actM) exts, Monad actM, "auth" </ kvs) => Filter exts actM m kvs (("auth" := OpenId) : kvs) Source
filter which check whether logged in or not, and get id. since 0.7.0.0.
authorized' :: (Has (Session OpenId actM) exts, KnownSymbol key, Monad actM, key </ kvs) => proxy key -> Filter exts actM m kvs ((key := OpenId) : kvs) Source
action
authLogout :: (Has (Session OpenId m) exts, Monad m) => ActionT exts prms m () Source
delete session. since 0.7.0.0.
getter
authConfig :: (Has Auth exts, Monad m) => ActionT exts prms m AuthConfig Source
authRoutes :: (Has Auth exts, Monad m) => ActionT exts prms m [(Text, ByteString)] Source
get authenticate routes: (title, route). since 0.7.0.0.