Web.Minion.Auth

Documentation

newtype Auth (auths :: [Type]) a

Constructors

Auth a

Instances

IsRequest (Auth auths a)

Defined in Web.Minion.Auth

Associated Types

type RequestValue (Auth auths a)

Methods

getRequestValue :: Auth auths a -> RequestValue (Auth auths a)

type RequestValue (Auth auths a)

Defined in Web.Minion.Auth

type RequestValue (Auth auths a) = a

data AuthResult a

Constructors

Indefinite

BadAuth

Authenticated a

Instances

Functor AuthResult

Defined in Web.Minion.Auth

Methods

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

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

class UnwindAuth (ctx :: [Type]) (auths :: [Type]) m a where

Methods

unwindAuth :: [HList ctx -> ErrorBuilder -> Request -> m (AuthResult a)]

Instances

UnwindAuth ctx ('[] :: [Type]) m a

Defined in Web.Minion.Auth

Methods

unwindAuth :: [HList ctx -> ErrorBuilder -> Request -> m (AuthResult a)]

(IsAuth auth m a, UnwindAuth ctx auths m a, GetByType (Settings auth m a) ctx) => UnwindAuth ctx (auth ': auths) m a

Defined in Web.Minion.Auth

Methods

unwindAuth :: [HList ctx -> ErrorBuilder -> Request -> m (AuthResult a)]

class IsAuth (auth :: Type) m a where

Associated Types

type Settings auth m a :: Type

Methods

toAuth :: Settings auth m a -> ErrorBuilder -> Request -> m (AuthResult a)

Instances

Monad m => IsAuth Basic m a

Defined in Web.Minion.Auth.Basic

Associated Types

type Settings Basic m a

Methods

toAuth :: Settings Basic m a -> ErrorBuilder -> Request -> m (AuthResult a)

auth

Arguments

:: forall auths a m ctx ts i. Introspection i Request (Auth auths a)

=> UnwindAuth ctx auths m a

=> MonadThrow m

=> m (HList ctx)

Context with auths settings

-> (MakeError -> AuthResult Void -> m Void)

Handle non-Authenticated.

-> ValueCombinator i (WithReq m (Auth auths a)) ts m