Servant.Server.Auth.Token.Monad

Documentation

newtype AuthHandler a

This type represents the effects we want to have for our application. We wrap the standard Servant monad with 'ReaderT Config', which gives us access to the application configuration using the MonadReader interface's ask function.

By encapsulating the effects in our newtype, we can add layers to the monad stack without having to modify code that uses the current layout.

Constructors

AuthHandler

Fields

• runAuthHandler :: ReaderT AuthConfig (ExceptT ServantErr IO) a

Instances

Monad AuthHandler

Methods

(>>=) :: AuthHandler a -> (a -> AuthHandler b) -> AuthHandler b

(>>) :: AuthHandler a -> AuthHandler b -> AuthHandler b

return :: a -> AuthHandler a

fail :: String -> AuthHandler a

Functor AuthHandler

Methods

fmap :: (a -> b) -> AuthHandler a -> AuthHandler b

(<$) :: a -> AuthHandler b -> AuthHandler a

Applicative AuthHandler

Methods

pure :: a -> AuthHandler a

(<*>) :: AuthHandler (a -> b) -> AuthHandler a -> AuthHandler b

(*>) :: AuthHandler a -> AuthHandler b -> AuthHandler b

(<*) :: AuthHandler a -> AuthHandler b -> AuthHandler a

MonadIO AuthHandler

Methods

liftIO :: IO a -> AuthHandler a

AuthMonad AuthHandler

Methods

getAuthConfig :: AuthHandler AuthConfig

liftAuthAction :: ExceptT ServantErr IO a -> AuthHandler a

MonadReader AuthConfig AuthHandler

Methods

ask :: AuthHandler AuthConfig

local :: (AuthConfig -> AuthConfig) -> AuthHandler a -> AuthHandler a

reader :: (AuthConfig -> a) -> AuthHandler a

MonadError ServantErr AuthHandler

Methods

throwError :: ServantErr -> AuthHandler a

catchError :: AuthHandler a -> (ServantErr -> AuthHandler a) -> AuthHandler a

require :: ByteString -> Maybe a -> AuthHandler a

If the value is Nothing, throw 400 response

getConfig :: AuthHandler AuthConfig

Getting config from global state

getsConfig :: (AuthConfig -> a) -> AuthHandler a

Getting config part from global state

runDB404 :: ByteString -> SqlPersistT IO (Maybe a) -> AuthHandler a

Run RDBMS operation and throw 404 (not found) error if the second arg returns Nothing