Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Authorize i param priv :: Effect where
- Authorize :: param -> AuthedAccount i priv -> Authorize i param priv m (Maybe Text)
- authorize :: forall i param priv r. Member (Authorize i param priv) r => param -> AuthedAccount i priv -> Sem r (Maybe Text)
- type AuthorizeP i = Authorize i [Privilege] [Privilege]
Documentation
data Authorize i param priv :: Effect where Source #
This effect is used by the combinators in Polysemy.Account.Api.Server.AuthEndpoint to decide whether an account is authorized to access an endpoint.
The type parameters signify:
i
- The storage ID type.
param
- Identifies the authorization requirements of the endpoint.
priv
- The privilege type stored in the database.