Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- authAccount :: Members [Accounts i p !! AccountsError, Log, Stop ServerError] r => AuthResult (AuthedAccount i p) -> Sem r (AuthedAccount i p)
- login :: forall e i p r. Show e => Members [Jwt (AuthedAccount i p) !! e, Accounts i p !! AccountsError, Log, Stop ServerError] r => AccountCredentials -> Sem r AuthToken
- register :: Show e => Members [Jwt (AuthedAccount i p) !! e, Accounts i p !! AccountsError, Log, Stop ServerError] r => AccountCredentials -> Sem r AuthToken
- authServer :: Show e => Members [Jwt (AuthedAccount i p) !! e, Accounts i p !! AccountsError, Log, Stop ServerError] r => ServerT (AuthApi i p) (Sem r)
Documentation
authAccount :: Members [Accounts i p !! AccountsError, Log, Stop ServerError] r => AuthResult (AuthedAccount i p) -> Sem r (AuthedAccount i p) Source #
Authenticate an account using the JSON Web Token extracted by Servant.
login :: forall e i p r. Show e => Members [Jwt (AuthedAccount i p) !! e, Accounts i p !! AccountsError, Log, Stop ServerError] r => AccountCredentials -> Sem r AuthToken Source #
Log an account in using the credentials in the payload.
register :: Show e => Members [Jwt (AuthedAccount i p) !! e, Accounts i p !! AccountsError, Log, Stop ServerError] r => AccountCredentials -> Sem r AuthToken Source #
Register an account using the credentials in the payload.
authServer :: Show e => Members [Jwt (AuthedAccount i p) !! e, Accounts i p !! AccountsError, Log, Stop ServerError] r => ServerT (AuthApi i p) (Sem r) Source #
Handlers for AuthApi
.