Safe Haskell	None
Language	Haskell98

Happstack.Authenticate.Password.Core

Synopsis

data PasswordConfig = PasswordConfig {
- _resetLink :: Text
- _domain :: Text
- _passwordAcceptable :: Text -> Maybe Text
}
resetLink :: Lens' PasswordConfig Text
passwordAcceptable :: Lens' PasswordConfig (Text -> Maybe Text)
domain :: Lens' PasswordConfig Text
data PasswordError
- = NotAuthenticated
- | NotAuthorized
- | InvalidUsername
- | InvalidPassword
- | InvalidUsernamePassword
- | NoEmailAddress
- | MissingResetToken
- | InvalidResetToken
- | PasswordMismatch
- | UnacceptablePassword {
  - passwordErrorMessageMsg :: Text
  }
- | CoreError {
  - passwordErrorMessageE :: CoreError
  }
newtype HashedPass = HashedPass {
- _unHashedPass :: ByteString
}
unHashedPass :: Iso' HashedPass ByteString
mkHashedPass :: (Functor m, MonadIO m) => Text -> m HashedPass
verifyHashedPass :: Text -> HashedPass -> Bool
data PasswordState = PasswordState {
- _passwords :: Map UserId HashedPass
}
passwords :: Iso' PasswordState (Map UserId HashedPass)
initialPasswordState :: PasswordState
setPassword :: UserId -> HashedPass -> Update PasswordState ()
deletePassword :: UserId -> Update PasswordState ()
verifyPasswordForUserId :: UserId -> Text -> Query PasswordState Bool
data SetPassword = SetPassword UserId HashedPass
newtype DeletePassword = DeletePassword UserId
data VerifyPasswordForUserId = VerifyPasswordForUserId UserId Text
verifyPassword :: MonadIO m => AcidState AuthenticateState -> AcidState PasswordState -> Username -> Text -> m Bool
data UserPass = UserPass {
- _user :: Username
- _password :: Text
}
user :: Lens' UserPass Username
password :: Lens' UserPass Text
token :: Happstack m => AcidState AuthenticateState -> AuthenticateConfig -> AcidState PasswordState -> m Response
data NewAccountData = NewAccountData {
- _naUser :: User
- _naPassword :: Text
- _naPasswordConfirm :: Text
}
naUser :: Lens' NewAccountData User
naPasswordConfirm :: Lens' NewAccountData Text
naPassword :: Lens' NewAccountData Text
data ChangePasswordData = ChangePasswordData {
- _cpOldPassword :: Text
- _cpNewPassword :: Text
- _cpNewPasswordConfirm :: Text
}
cpOldPassword :: Lens' ChangePasswordData Text
cpNewPasswordConfirm :: Lens' ChangePasswordData Text
cpNewPassword :: Lens' ChangePasswordData Text
account :: Happstack m => AcidState AuthenticateState -> AcidState PasswordState -> AuthenticateConfig -> PasswordConfig -> Maybe (UserId, AccountURL) -> m (Either PasswordError UserId)
data RequestResetPasswordData = RequestResetPasswordData {
- _rrpUsername :: Username
}
rrpUsername :: Iso' RequestResetPasswordData Username
passwordRequestReset :: Happstack m => AuthenticateConfig -> PasswordConfig -> AcidState AuthenticateState -> AcidState PasswordState -> m (Either PasswordError Text)
issueResetToken :: MonadIO m => AcidState AuthenticateState -> User -> m (Either PasswordError Text)
sendResetEmail :: MonadIO m => Maybe FilePath -> Email -> SimpleAddress -> Maybe SimpleAddress -> Text -> m ()
data ResetPasswordData = ResetPasswordData {
- _rpPassword :: Text
- _rpPasswordConfirm :: Text
- _rpResetToken :: Text
}
rpResetToken :: Lens' ResetPasswordData Text
rpPasswordConfirm :: Lens' ResetPasswordData Text
rpPassword :: Lens' ResetPasswordData Text
passwordReset :: Happstack m => AcidState AuthenticateState -> AcidState PasswordState -> PasswordConfig -> m (Either PasswordError Text)
decodeAndVerifyResetToken :: MonadIO m => AcidState AuthenticateState -> Text -> m (Maybe (User, JWT VerifiedJWT))

Documentation

data PasswordConfig Source #

Constructors

PasswordConfig
Fields _resetLink :: Text _domain :: Text _passwordAcceptable :: Text -> Maybe Text

Instances

Generic PasswordConfig Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep PasswordConfig :: Type -> Type # Methods from :: PasswordConfig -> Rep PasswordConfig x # to :: Rep PasswordConfig x -> PasswordConfig #
type Rep PasswordConfig Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep PasswordConfig = D1 (MetaData "PasswordConfig" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (C1 (MetaCons "PasswordConfig" PrefixI True) (S1 (MetaSel (Just "_resetLink") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "_domain") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "_passwordAcceptable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Text -> Maybe Text)))))

resetLink :: Lens' PasswordConfig Text Source #

passwordAcceptable :: Lens' PasswordConfig (Text -> Maybe Text) Source #

domain :: Lens' PasswordConfig Text Source #

data PasswordError Source #

Constructors

NotAuthenticated
NotAuthorized
InvalidUsername
InvalidPassword
InvalidUsernamePassword
NoEmailAddress
MissingResetToken
InvalidResetToken
PasswordMismatch
UnacceptablePassword
Fields passwordErrorMessageMsg :: Text
CoreError
Fields passwordErrorMessageE :: CoreError

Instances

Eq PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: PasswordError -> PasswordError -> Bool # (/=) :: PasswordError -> PasswordError -> Bool #
Data PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PasswordError -> c PasswordError # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PasswordError # toConstr :: PasswordError -> Constr # dataTypeOf :: PasswordError -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PasswordError) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PasswordError) # gmapT :: (forall b. Data b => b -> b) -> PasswordError -> PasswordError # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PasswordError -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PasswordError -> r # gmapQ :: (forall d. Data d => d -> u) -> PasswordError -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PasswordError -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PasswordError -> m PasswordError # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordError -> m PasswordError # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordError -> m PasswordError #
Ord PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: PasswordError -> PasswordError -> Ordering # (<) :: PasswordError -> PasswordError -> Bool # (<=) :: PasswordError -> PasswordError -> Bool # (>) :: PasswordError -> PasswordError -> Bool # (>=) :: PasswordError -> PasswordError -> Bool # max :: PasswordError -> PasswordError -> PasswordError # min :: PasswordError -> PasswordError -> PasswordError #
Read PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS PasswordError # readList :: ReadS [PasswordError] # readPrec :: ReadPrec PasswordError # readListPrec :: ReadPrec [PasswordError] #
Show PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> PasswordError -> ShowS # show :: PasswordError -> String # showList :: [PasswordError] -> ShowS #
Generic PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep PasswordError :: Type -> Type # Methods from :: PasswordError -> Rep PasswordError x # to :: Rep PasswordError x -> PasswordError #
ToJSON PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: PasswordError -> Value # toEncoding :: PasswordError -> Encoding # toJSONList :: [PasswordError] -> Value # toEncodingList :: [PasswordError] -> Encoding #
FromJSON PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser PasswordError # parseJSONList :: Value -> Parser [PasswordError] #
ToJExpr PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJExpr :: PasswordError -> JExpr # toJExprFromList :: [PasswordError] -> JExpr #
RenderMessage HappstackAuthenticateI18N PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods renderMessage :: HappstackAuthenticateI18N -> [Lang] -> PasswordError -> Text #
type Rep PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep PasswordError = D1 (MetaData "PasswordError" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (((C1 (MetaCons "NotAuthenticated" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NotAuthorized" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "InvalidUsername" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "InvalidPassword" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "InvalidUsernamePassword" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "NoEmailAddress" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MissingResetToken" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "InvalidResetToken" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "PasswordMismatch" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "UnacceptablePassword" PrefixI True) (S1 (MetaSel (Just "passwordErrorMessageMsg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "CoreError" PrefixI True) (S1 (MetaSel (Just "passwordErrorMessageE") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CoreError))))))

newtype HashedPass Source #

Constructors

HashedPass
Fields _unHashedPass :: ByteString

Instances

Eq HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: HashedPass -> HashedPass -> Bool # (/=) :: HashedPass -> HashedPass -> Bool #
Data HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HashedPass -> c HashedPass # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HashedPass # toConstr :: HashedPass -> Constr # dataTypeOf :: HashedPass -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HashedPass) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HashedPass) # gmapT :: (forall b. Data b => b -> b) -> HashedPass -> HashedPass # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HashedPass -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HashedPass -> r # gmapQ :: (forall d. Data d => d -> u) -> HashedPass -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> HashedPass -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HashedPass -> m HashedPass # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HashedPass -> m HashedPass # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HashedPass -> m HashedPass #
Ord HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: HashedPass -> HashedPass -> Ordering # (<) :: HashedPass -> HashedPass -> Bool # (<=) :: HashedPass -> HashedPass -> Bool # (>) :: HashedPass -> HashedPass -> Bool # (>=) :: HashedPass -> HashedPass -> Bool # max :: HashedPass -> HashedPass -> HashedPass # min :: HashedPass -> HashedPass -> HashedPass #
Read HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS HashedPass # readList :: ReadS [HashedPass] # readPrec :: ReadPrec HashedPass # readListPrec :: ReadPrec [HashedPass] #
Show HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> HashedPass -> ShowS # show :: HashedPass -> String # showList :: [HashedPass] -> ShowS #
Generic HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep HashedPass :: Type -> Type # Methods from :: HashedPass -> Rep HashedPass x # to :: Rep HashedPass x -> HashedPass #
SafeCopy HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version HashedPass # kind :: Kind HashedPass # getCopy :: Contained (Get HashedPass) # putCopy :: HashedPass -> Contained Put # internalConsistency :: Consistency HashedPass # objectProfile :: Profile HashedPass # errorTypeName :: Proxy HashedPass -> String #
type Rep HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep HashedPass = D1 (MetaData "HashedPass" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" True) (C1 (MetaCons "HashedPass" PrefixI True) (S1 (MetaSel (Just "_unHashedPass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

unHashedPass :: Iso' HashedPass ByteString Source #

mkHashedPass Source #

Arguments

:: (Functor m, MonadIO m)
=> Text	password in plain text
-> m HashedPass	salted and hashed

hash a password string

verifyHashedPass Source #

Arguments

:: Text	password in plain text
-> HashedPass	hashed version of password
-> Bool

verify a password

data PasswordState Source #

Constructors

PasswordState
Fields _passwords :: Map UserId HashedPass

Instances

Eq PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: PasswordState -> PasswordState -> Bool # (/=) :: PasswordState -> PasswordState -> Bool #
Data PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PasswordState -> c PasswordState # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PasswordState # toConstr :: PasswordState -> Constr # dataTypeOf :: PasswordState -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PasswordState) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PasswordState) # gmapT :: (forall b. Data b => b -> b) -> PasswordState -> PasswordState # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PasswordState -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PasswordState -> r # gmapQ :: (forall d. Data d => d -> u) -> PasswordState -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PasswordState -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PasswordState -> m PasswordState # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordState -> m PasswordState # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordState -> m PasswordState #
Ord PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: PasswordState -> PasswordState -> Ordering # (<) :: PasswordState -> PasswordState -> Bool # (<=) :: PasswordState -> PasswordState -> Bool # (>) :: PasswordState -> PasswordState -> Bool # (>=) :: PasswordState -> PasswordState -> Bool # max :: PasswordState -> PasswordState -> PasswordState # min :: PasswordState -> PasswordState -> PasswordState #
Read PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS PasswordState # readList :: ReadS [PasswordState] # readPrec :: ReadPrec PasswordState # readListPrec :: ReadPrec [PasswordState] #
Show PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> PasswordState -> ShowS # show :: PasswordState -> String # showList :: [PasswordState] -> ShowS #
Generic PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep PasswordState :: Type -> Type # Methods from :: PasswordState -> Rep PasswordState x # to :: Rep PasswordState x -> PasswordState #
SafeCopy PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version PasswordState # kind :: Kind PasswordState # getCopy :: Contained (Get PasswordState) # putCopy :: PasswordState -> Contained Put # internalConsistency :: Consistency PasswordState # objectProfile :: Profile PasswordState # errorTypeName :: Proxy PasswordState -> String #
IsAcidic PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods acidEvents :: [Event PasswordState] #
type Rep PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep PasswordState = D1 (MetaData "PasswordState" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (C1 (MetaCons "PasswordState" PrefixI True) (S1 (MetaSel (Just "_passwords") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map UserId HashedPass))))

passwords :: Iso' PasswordState (Map UserId HashedPass) Source #

initialPasswordState :: PasswordState Source #

setPassword Source #

Arguments

:: UserId	UserId
-> HashedPass	the hashed password
-> Update PasswordState ()

set the password for UserId

deletePassword Source #

Arguments

:: UserId	UserId
-> Update PasswordState ()

delete the password for UserId

verifyPasswordForUserId Source #

Arguments

:: UserId	UserId
-> Text	plain-text password
-> Query PasswordState Bool

verify that the supplied password matches the stored hashed password for UserId

data SetPassword Source #

Constructors

SetPassword UserId HashedPass

Instances

SafeCopy SetPassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version SetPassword # kind :: Kind SetPassword # getCopy :: Contained (Get SetPassword) # putCopy :: SetPassword -> Contained Put # internalConsistency :: Consistency SetPassword # objectProfile :: Profile SetPassword # errorTypeName :: Proxy SetPassword -> String #
UpdateEvent SetPassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core
Method SetPassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type MethodResult SetPassword :: Type # type MethodState SetPassword :: Type # Methods methodTag :: SetPassword -> Tag #
type MethodState SetPassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core type MethodState SetPassword = PasswordState
type MethodResult SetPassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core type MethodResult SetPassword = ()

newtype DeletePassword Source #

Constructors

DeletePassword UserId

Instances

SafeCopy DeletePassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version DeletePassword # kind :: Kind DeletePassword # getCopy :: Contained (Get DeletePassword) # putCopy :: DeletePassword -> Contained Put # internalConsistency :: Consistency DeletePassword # objectProfile :: Profile DeletePassword # errorTypeName :: Proxy DeletePassword -> String #
UpdateEvent DeletePassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core
Method DeletePassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type MethodResult DeletePassword :: Type # type MethodState DeletePassword :: Type # Methods methodTag :: DeletePassword -> Tag #
type MethodState DeletePassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core type MethodState DeletePassword = PasswordState
type MethodResult DeletePassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core type MethodResult DeletePassword = ()

data VerifyPasswordForUserId Source #

Constructors

VerifyPasswordForUserId UserId Text

Instances

SafeCopy VerifyPasswordForUserId Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version VerifyPasswordForUserId # kind :: Kind VerifyPasswordForUserId # getCopy :: Contained (Get VerifyPasswordForUserId) # putCopy :: VerifyPasswordForUserId -> Contained Put # internalConsistency :: Consistency VerifyPasswordForUserId # objectProfile :: Profile VerifyPasswordForUserId # errorTypeName :: Proxy VerifyPasswordForUserId -> String #
QueryEvent VerifyPasswordForUserId Source #
Instance details Defined in Happstack.Authenticate.Password.Core
Method VerifyPasswordForUserId Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type MethodResult VerifyPasswordForUserId :: Type # type MethodState VerifyPasswordForUserId :: Type # Methods methodTag :: VerifyPasswordForUserId -> Tag #
type MethodState VerifyPasswordForUserId Source #
Instance details Defined in Happstack.Authenticate.Password.Core type MethodState VerifyPasswordForUserId = PasswordState
type MethodResult VerifyPasswordForUserId Source #
Instance details Defined in Happstack.Authenticate.Password.Core type MethodResult VerifyPasswordForUserId = Bool

verifyPassword :: MonadIO m => AcidState AuthenticateState -> AcidState PasswordState -> Username -> Text -> m Bool Source #

verify that the supplied username/password is valid

data UserPass Source #

Constructors

UserPass
Fields _user :: Username _password :: Text

Instances

Eq UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: UserPass -> UserPass -> Bool # (/=) :: UserPass -> UserPass -> Bool #
Data UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UserPass -> c UserPass # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UserPass # toConstr :: UserPass -> Constr # dataTypeOf :: UserPass -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UserPass) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserPass) # gmapT :: (forall b. Data b => b -> b) -> UserPass -> UserPass # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserPass -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserPass -> r # gmapQ :: (forall d. Data d => d -> u) -> UserPass -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UserPass -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UserPass -> m UserPass # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UserPass -> m UserPass # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UserPass -> m UserPass #
Ord UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: UserPass -> UserPass -> Ordering # (<) :: UserPass -> UserPass -> Bool # (<=) :: UserPass -> UserPass -> Bool # (>) :: UserPass -> UserPass -> Bool # (>=) :: UserPass -> UserPass -> Bool # max :: UserPass -> UserPass -> UserPass # min :: UserPass -> UserPass -> UserPass #
Read UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS UserPass # readList :: ReadS [UserPass] # readPrec :: ReadPrec UserPass # readListPrec :: ReadPrec [UserPass] #
Show UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> UserPass -> ShowS # show :: UserPass -> String # showList :: [UserPass] -> ShowS #
Generic UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep UserPass :: Type -> Type # Methods from :: UserPass -> Rep UserPass x # to :: Rep UserPass x -> UserPass #
ToJSON UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: UserPass -> Value # toEncoding :: UserPass -> Encoding # toJSONList :: [UserPass] -> Value # toEncodingList :: [UserPass] -> Encoding #
FromJSON UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser UserPass # parseJSONList :: Value -> Parser [UserPass] #
ToJExpr UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJExpr :: UserPass -> JExpr # toJExprFromList :: [UserPass] -> JExpr #
type Rep UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep UserPass = D1 (MetaData "UserPass" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (C1 (MetaCons "UserPass" PrefixI True) (S1 (MetaSel (Just "_user") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Username) :*: S1 (MetaSel (Just "_password") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

user :: Lens' UserPass Username Source #

password :: Lens' UserPass Text Source #

token :: Happstack m => AcidState AuthenticateState -> AuthenticateConfig -> AcidState PasswordState -> m Response Source #

data NewAccountData Source #

JSON record for new account data

Constructors

NewAccountData
Fields _naUser :: User _naPassword :: Text _naPasswordConfirm :: Text

Instances

Eq NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: NewAccountData -> NewAccountData -> Bool # (/=) :: NewAccountData -> NewAccountData -> Bool #
Data NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NewAccountData -> c NewAccountData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NewAccountData # toConstr :: NewAccountData -> Constr # dataTypeOf :: NewAccountData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NewAccountData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NewAccountData) # gmapT :: (forall b. Data b => b -> b) -> NewAccountData -> NewAccountData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NewAccountData -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NewAccountData -> r # gmapQ :: (forall d. Data d => d -> u) -> NewAccountData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NewAccountData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NewAccountData -> m NewAccountData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NewAccountData -> m NewAccountData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NewAccountData -> m NewAccountData #
Ord NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: NewAccountData -> NewAccountData -> Ordering # (<) :: NewAccountData -> NewAccountData -> Bool # (<=) :: NewAccountData -> NewAccountData -> Bool # (>) :: NewAccountData -> NewAccountData -> Bool # (>=) :: NewAccountData -> NewAccountData -> Bool # max :: NewAccountData -> NewAccountData -> NewAccountData # min :: NewAccountData -> NewAccountData -> NewAccountData #
Read NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS NewAccountData # readList :: ReadS [NewAccountData] # readPrec :: ReadPrec NewAccountData # readListPrec :: ReadPrec [NewAccountData] #
Show NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> NewAccountData -> ShowS # show :: NewAccountData -> String # showList :: [NewAccountData] -> ShowS #
Generic NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep NewAccountData :: Type -> Type # Methods from :: NewAccountData -> Rep NewAccountData x # to :: Rep NewAccountData x -> NewAccountData #
ToJSON NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: NewAccountData -> Value # toEncoding :: NewAccountData -> Encoding # toJSONList :: [NewAccountData] -> Value # toEncodingList :: [NewAccountData] -> Encoding #
FromJSON NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser NewAccountData # parseJSONList :: Value -> Parser [NewAccountData] #
type Rep NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep NewAccountData = D1 (MetaData "NewAccountData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (C1 (MetaCons "NewAccountData" PrefixI True) (S1 (MetaSel (Just "_naUser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 User) :: (S1 (MetaSel (Just "_naPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "_naPasswordConfirm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

naUser :: Lens' NewAccountData User Source #

naPasswordConfirm :: Lens' NewAccountData Text Source #

naPassword :: Lens' NewAccountData Text Source #

data ChangePasswordData Source #

JSON record for change password data

Constructors

ChangePasswordData
Fields _cpOldPassword :: Text _cpNewPassword :: Text _cpNewPasswordConfirm :: Text

Instances

Eq ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: ChangePasswordData -> ChangePasswordData -> Bool # (/=) :: ChangePasswordData -> ChangePasswordData -> Bool #
Data ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ChangePasswordData -> c ChangePasswordData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ChangePasswordData # toConstr :: ChangePasswordData -> Constr # dataTypeOf :: ChangePasswordData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ChangePasswordData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ChangePasswordData) # gmapT :: (forall b. Data b => b -> b) -> ChangePasswordData -> ChangePasswordData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ChangePasswordData -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ChangePasswordData -> r # gmapQ :: (forall d. Data d => d -> u) -> ChangePasswordData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ChangePasswordData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ChangePasswordData -> m ChangePasswordData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ChangePasswordData -> m ChangePasswordData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ChangePasswordData -> m ChangePasswordData #
Ord ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: ChangePasswordData -> ChangePasswordData -> Ordering # (<) :: ChangePasswordData -> ChangePasswordData -> Bool # (<=) :: ChangePasswordData -> ChangePasswordData -> Bool # (>) :: ChangePasswordData -> ChangePasswordData -> Bool # (>=) :: ChangePasswordData -> ChangePasswordData -> Bool # max :: ChangePasswordData -> ChangePasswordData -> ChangePasswordData # min :: ChangePasswordData -> ChangePasswordData -> ChangePasswordData #
Read ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS ChangePasswordData # readList :: ReadS [ChangePasswordData] # readPrec :: ReadPrec ChangePasswordData # readListPrec :: ReadPrec [ChangePasswordData] #
Show ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> ChangePasswordData -> ShowS # show :: ChangePasswordData -> String # showList :: [ChangePasswordData] -> ShowS #
Generic ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep ChangePasswordData :: Type -> Type # Methods from :: ChangePasswordData -> Rep ChangePasswordData x # to :: Rep ChangePasswordData x -> ChangePasswordData #
ToJSON ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: ChangePasswordData -> Value # toEncoding :: ChangePasswordData -> Encoding # toJSONList :: [ChangePasswordData] -> Value # toEncodingList :: [ChangePasswordData] -> Encoding #
FromJSON ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser ChangePasswordData # parseJSONList :: Value -> Parser [ChangePasswordData] #
type Rep ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep ChangePasswordData = D1 (MetaData "ChangePasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (C1 (MetaCons "ChangePasswordData" PrefixI True) (S1 (MetaSel (Just "_cpOldPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "_cpNewPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "_cpNewPasswordConfirm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

cpOldPassword :: Lens' ChangePasswordData Text Source #

cpNewPasswordConfirm :: Lens' ChangePasswordData Text Source #

cpNewPassword :: Lens' ChangePasswordData Text Source #

account :: Happstack m => AcidState AuthenticateState -> AcidState PasswordState -> AuthenticateConfig -> PasswordConfig -> Maybe (UserId, AccountURL) -> m (Either PasswordError UserId) Source #

account handler

data RequestResetPasswordData Source #

JSON record for new account data

Constructors

RequestResetPasswordData
Fields _rrpUsername :: Username

Instances

Eq RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool # (/=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool #
Data RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RequestResetPasswordData -> c RequestResetPasswordData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RequestResetPasswordData # toConstr :: RequestResetPasswordData -> Constr # dataTypeOf :: RequestResetPasswordData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RequestResetPasswordData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RequestResetPasswordData) # gmapT :: (forall b. Data b => b -> b) -> RequestResetPasswordData -> RequestResetPasswordData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RequestResetPasswordData -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RequestResetPasswordData -> r # gmapQ :: (forall d. Data d => d -> u) -> RequestResetPasswordData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RequestResetPasswordData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RequestResetPasswordData -> m RequestResetPasswordData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RequestResetPasswordData -> m RequestResetPasswordData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RequestResetPasswordData -> m RequestResetPasswordData #
Ord RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: RequestResetPasswordData -> RequestResetPasswordData -> Ordering # (<) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool # (<=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool # (>) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool # (>=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool # max :: RequestResetPasswordData -> RequestResetPasswordData -> RequestResetPasswordData # min :: RequestResetPasswordData -> RequestResetPasswordData -> RequestResetPasswordData #
Read RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS RequestResetPasswordData # readList :: ReadS [RequestResetPasswordData] # readPrec :: ReadPrec RequestResetPasswordData # readListPrec :: ReadPrec [RequestResetPasswordData] #
Show RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> RequestResetPasswordData -> ShowS # show :: RequestResetPasswordData -> String # showList :: [RequestResetPasswordData] -> ShowS #
Generic RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep RequestResetPasswordData :: Type -> Type # Methods from :: RequestResetPasswordData -> Rep RequestResetPasswordData x # to :: Rep RequestResetPasswordData x -> RequestResetPasswordData #
ToJSON RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: RequestResetPasswordData -> Value # toEncoding :: RequestResetPasswordData -> Encoding # toJSONList :: [RequestResetPasswordData] -> Value # toEncodingList :: [RequestResetPasswordData] -> Encoding #
FromJSON RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser RequestResetPasswordData # parseJSONList :: Value -> Parser [RequestResetPasswordData] #
type Rep RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep RequestResetPasswordData = D1 (MetaData "RequestResetPasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (C1 (MetaCons "RequestResetPasswordData" PrefixI True) (S1 (MetaSel (Just "_rrpUsername") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Username)))

rrpUsername :: Iso' RequestResetPasswordData Username Source #

passwordRequestReset :: Happstack m => AuthenticateConfig -> PasswordConfig -> AcidState AuthenticateState -> AcidState PasswordState -> m (Either PasswordError Text) Source #

request reset password

issueResetToken :: MonadIO m => AcidState AuthenticateState -> User -> m (Either PasswordError Text) Source #

issueResetToken

sendResetEmail :: MonadIO m => Maybe FilePath -> Email -> SimpleAddress -> Maybe SimpleAddress -> Text -> m () Source #

data ResetPasswordData Source #

JSON record for new account data

Constructors

ResetPasswordData
Fields _rpPassword :: Text _rpPasswordConfirm :: Text _rpResetToken :: Text

Instances

Eq ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods (==) :: ResetPasswordData -> ResetPasswordData -> Bool # (/=) :: ResetPasswordData -> ResetPasswordData -> Bool #
Data ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ResetPasswordData -> c ResetPasswordData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ResetPasswordData # toConstr :: ResetPasswordData -> Constr # dataTypeOf :: ResetPasswordData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ResetPasswordData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ResetPasswordData) # gmapT :: (forall b. Data b => b -> b) -> ResetPasswordData -> ResetPasswordData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ResetPasswordData -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ResetPasswordData -> r # gmapQ :: (forall d. Data d => d -> u) -> ResetPasswordData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ResetPasswordData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ResetPasswordData -> m ResetPasswordData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ResetPasswordData -> m ResetPasswordData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ResetPasswordData -> m ResetPasswordData #
Ord ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: ResetPasswordData -> ResetPasswordData -> Ordering # (<) :: ResetPasswordData -> ResetPasswordData -> Bool # (<=) :: ResetPasswordData -> ResetPasswordData -> Bool # (>) :: ResetPasswordData -> ResetPasswordData -> Bool # (>=) :: ResetPasswordData -> ResetPasswordData -> Bool # max :: ResetPasswordData -> ResetPasswordData -> ResetPasswordData # min :: ResetPasswordData -> ResetPasswordData -> ResetPasswordData #
Read ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS ResetPasswordData # readList :: ReadS [ResetPasswordData] # readPrec :: ReadPrec ResetPasswordData # readListPrec :: ReadPrec [ResetPasswordData] #
Show ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> ResetPasswordData -> ShowS # show :: ResetPasswordData -> String # showList :: [ResetPasswordData] -> ShowS #
Generic ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep ResetPasswordData :: Type -> Type # Methods from :: ResetPasswordData -> Rep ResetPasswordData x # to :: Rep ResetPasswordData x -> ResetPasswordData #
ToJSON ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: ResetPasswordData -> Value # toEncoding :: ResetPasswordData -> Encoding # toJSONList :: [ResetPasswordData] -> Value # toEncodingList :: [ResetPasswordData] -> Encoding #
FromJSON ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser ResetPasswordData # parseJSONList :: Value -> Parser [ResetPasswordData] #
type Rep ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core type Rep ResetPasswordData = D1 (MetaData "ResetPasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.4.0.3-EWiQK3JTFpjLhW6KbXCBsH" False) (C1 (MetaCons "ResetPasswordData" PrefixI True) (S1 (MetaSel (Just "_rpPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "_rpPasswordConfirm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "_rpResetToken") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

rpResetToken :: Lens' ResetPasswordData Text Source #

rpPasswordConfirm :: Lens' ResetPasswordData Text Source #

rpPassword :: Lens' ResetPasswordData Text Source #

passwordReset :: Happstack m => AcidState AuthenticateState -> AcidState PasswordState -> PasswordConfig -> m (Either PasswordError Text) Source #

decodeAndVerifyResetToken :: MonadIO m => AcidState AuthenticateState -> Text -> m (Maybe (User, JWT VerifiedJWT)) Source #