Safe Haskell	None
Language	Haskell98

Happstack.Authenticate.Password.Core

Synopsis

unClaimsMap :: a -> a
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

unClaimsMap :: a -> a Source #

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 Source # Methods from :: PasswordConfig -> Rep PasswordConfig x Source # to :: Rep PasswordConfig x -> PasswordConfig Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 Source # (/=) :: PasswordError -> PasswordError -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PasswordError Source # toConstr :: PasswordError -> Constr Source # dataTypeOf :: PasswordError -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PasswordError) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PasswordError) Source # gmapT :: (forall b. Data b => b -> b) -> PasswordError -> PasswordError Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PasswordError -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PasswordError -> r Source # gmapQ :: (forall d. Data d => d -> u) -> PasswordError -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> PasswordError -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PasswordError -> m PasswordError Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordError -> m PasswordError Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordError -> m PasswordError Source #
Ord PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: PasswordError -> PasswordError -> Ordering Source # (<) :: PasswordError -> PasswordError -> Bool Source # (<=) :: PasswordError -> PasswordError -> Bool Source # (>) :: PasswordError -> PasswordError -> Bool Source # (>=) :: PasswordError -> PasswordError -> Bool Source # max :: PasswordError -> PasswordError -> PasswordError Source # min :: PasswordError -> PasswordError -> PasswordError Source #
Read PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS PasswordError Source # readList :: ReadS [PasswordError] Source # readPrec :: ReadPrec PasswordError Source # readListPrec :: ReadPrec [PasswordError] Source #
Show PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> PasswordError -> ShowS Source # show :: PasswordError -> String Source # showList :: [PasswordError] -> ShowS Source #
Generic PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep PasswordError :: Type -> Type Source # Methods from :: PasswordError -> Rep PasswordError x Source # to :: Rep PasswordError x -> PasswordError Source #
ToJSON PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: PasswordError -> Value Source # toEncoding :: PasswordError -> Encoding Source # toJSONList :: [PasswordError] -> Value Source # toEncodingList :: [PasswordError] -> Encoding Source #
FromJSON PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser PasswordError Source # parseJSONList :: Value -> Parser [PasswordError] Source #
ToJExpr PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJExpr :: PasswordError -> JExpr Source # toJExprFromList :: [PasswordError] -> JExpr Source #
RenderMessage HappstackAuthenticateI18N PasswordError Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods renderMessage :: HappstackAuthenticateI18N -> [Lang] -> PasswordError -> Text Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 Source # (/=) :: HashedPass -> HashedPass -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HashedPass Source # toConstr :: HashedPass -> Constr Source # dataTypeOf :: HashedPass -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HashedPass) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HashedPass) Source # gmapT :: (forall b. Data b => b -> b) -> HashedPass -> HashedPass Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HashedPass -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HashedPass -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HashedPass -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HashedPass -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HashedPass -> m HashedPass Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HashedPass -> m HashedPass Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HashedPass -> m HashedPass Source #
Ord HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: HashedPass -> HashedPass -> Ordering Source # (<) :: HashedPass -> HashedPass -> Bool Source # (<=) :: HashedPass -> HashedPass -> Bool Source # (>) :: HashedPass -> HashedPass -> Bool Source # (>=) :: HashedPass -> HashedPass -> Bool Source # max :: HashedPass -> HashedPass -> HashedPass Source # min :: HashedPass -> HashedPass -> HashedPass Source #
Read HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS HashedPass Source # readList :: ReadS [HashedPass] Source # readPrec :: ReadPrec HashedPass Source # readListPrec :: ReadPrec [HashedPass] Source #
Show HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> HashedPass -> ShowS Source # show :: HashedPass -> String Source # showList :: [HashedPass] -> ShowS Source #
Generic HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep HashedPass :: Type -> Type Source # Methods from :: HashedPass -> Rep HashedPass x Source # to :: Rep HashedPass x -> HashedPass Source #
SafeCopy HashedPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version HashedPass Source # kind :: Kind HashedPass Source # getCopy :: Contained (Get HashedPass) Source # putCopy :: HashedPass -> Contained Put Source # internalConsistency :: Consistency HashedPass Source # objectProfile :: Profile HashedPass Source # errorTypeName :: Proxy HashedPass -> String Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 Source # (/=) :: PasswordState -> PasswordState -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PasswordState Source # toConstr :: PasswordState -> Constr Source # dataTypeOf :: PasswordState -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PasswordState) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PasswordState) Source # gmapT :: (forall b. Data b => b -> b) -> PasswordState -> PasswordState Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PasswordState -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PasswordState -> r Source # gmapQ :: (forall d. Data d => d -> u) -> PasswordState -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> PasswordState -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PasswordState -> m PasswordState Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordState -> m PasswordState Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PasswordState -> m PasswordState Source #
Ord PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: PasswordState -> PasswordState -> Ordering Source # (<) :: PasswordState -> PasswordState -> Bool Source # (<=) :: PasswordState -> PasswordState -> Bool Source # (>) :: PasswordState -> PasswordState -> Bool Source # (>=) :: PasswordState -> PasswordState -> Bool Source # max :: PasswordState -> PasswordState -> PasswordState Source # min :: PasswordState -> PasswordState -> PasswordState Source #
Read PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS PasswordState Source # readList :: ReadS [PasswordState] Source # readPrec :: ReadPrec PasswordState Source # readListPrec :: ReadPrec [PasswordState] Source #
Show PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> PasswordState -> ShowS Source # show :: PasswordState -> String Source # showList :: [PasswordState] -> ShowS Source #
Generic PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep PasswordState :: Type -> Type Source # Methods from :: PasswordState -> Rep PasswordState x Source # to :: Rep PasswordState x -> PasswordState Source #
IsAcidic PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods acidEvents :: [Event PasswordState] Source #
SafeCopy PasswordState Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version PasswordState Source # kind :: Kind PasswordState Source # getCopy :: Contained (Get PasswordState) Source # putCopy :: PasswordState -> Contained Put Source # internalConsistency :: Consistency PasswordState Source # objectProfile :: Profile PasswordState Source # errorTypeName :: Proxy PasswordState -> String Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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

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 Source # type MethodState SetPassword :: Type Source # Methods methodTag :: SetPassword -> Tag Source #
SafeCopy SetPassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version SetPassword Source # kind :: Kind SetPassword Source # getCopy :: Contained (Get SetPassword) Source # putCopy :: SetPassword -> Contained Put Source # internalConsistency :: Consistency SetPassword Source # objectProfile :: Profile SetPassword Source # errorTypeName :: Proxy SetPassword -> String Source #
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

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 Source # type MethodState DeletePassword :: Type Source # Methods methodTag :: DeletePassword -> Tag Source #
SafeCopy DeletePassword Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version DeletePassword Source # kind :: Kind DeletePassword Source # getCopy :: Contained (Get DeletePassword) Source # putCopy :: DeletePassword -> Contained Put Source # internalConsistency :: Consistency DeletePassword Source # objectProfile :: Profile DeletePassword Source # errorTypeName :: Proxy DeletePassword -> String Source #
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

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 Source # type MethodState VerifyPasswordForUserId :: Type Source # Methods methodTag :: VerifyPasswordForUserId -> Tag Source #
SafeCopy VerifyPasswordForUserId Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods version :: Version VerifyPasswordForUserId Source # kind :: Kind VerifyPasswordForUserId Source # getCopy :: Contained (Get VerifyPasswordForUserId) Source # putCopy :: VerifyPasswordForUserId -> Contained Put Source # internalConsistency :: Consistency VerifyPasswordForUserId Source # objectProfile :: Profile VerifyPasswordForUserId Source # errorTypeName :: Proxy VerifyPasswordForUserId -> String Source #
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 Source # (/=) :: UserPass -> UserPass -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UserPass Source # toConstr :: UserPass -> Constr Source # dataTypeOf :: UserPass -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UserPass) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserPass) Source # gmapT :: (forall b. Data b => b -> b) -> UserPass -> UserPass Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserPass -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserPass -> r Source # gmapQ :: (forall d. Data d => d -> u) -> UserPass -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> UserPass -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UserPass -> m UserPass Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UserPass -> m UserPass Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UserPass -> m UserPass Source #
Ord UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: UserPass -> UserPass -> Ordering Source # (<) :: UserPass -> UserPass -> Bool Source # (<=) :: UserPass -> UserPass -> Bool Source # (>) :: UserPass -> UserPass -> Bool Source # (>=) :: UserPass -> UserPass -> Bool Source # max :: UserPass -> UserPass -> UserPass Source # min :: UserPass -> UserPass -> UserPass Source #
Read UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS UserPass Source # readList :: ReadS [UserPass] Source # readPrec :: ReadPrec UserPass Source # readListPrec :: ReadPrec [UserPass] Source #
Show UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> UserPass -> ShowS Source # show :: UserPass -> String Source # showList :: [UserPass] -> ShowS Source #
Generic UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep UserPass :: Type -> Type Source # Methods from :: UserPass -> Rep UserPass x Source # to :: Rep UserPass x -> UserPass Source #
ToJSON UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: UserPass -> Value Source # toEncoding :: UserPass -> Encoding Source # toJSONList :: [UserPass] -> Value Source # toEncodingList :: [UserPass] -> Encoding Source #
FromJSON UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser UserPass Source # parseJSONList :: Value -> Parser [UserPass] Source #
ToJExpr UserPass Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJExpr :: UserPass -> JExpr Source # toJExprFromList :: [UserPass] -> JExpr Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 Source # (/=) :: NewAccountData -> NewAccountData -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NewAccountData Source # toConstr :: NewAccountData -> Constr Source # dataTypeOf :: NewAccountData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NewAccountData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NewAccountData) Source # gmapT :: (forall b. Data b => b -> b) -> NewAccountData -> NewAccountData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NewAccountData -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NewAccountData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> NewAccountData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> NewAccountData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NewAccountData -> m NewAccountData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NewAccountData -> m NewAccountData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NewAccountData -> m NewAccountData Source #
Ord NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: NewAccountData -> NewAccountData -> Ordering Source # (<) :: NewAccountData -> NewAccountData -> Bool Source # (<=) :: NewAccountData -> NewAccountData -> Bool Source # (>) :: NewAccountData -> NewAccountData -> Bool Source # (>=) :: NewAccountData -> NewAccountData -> Bool Source # max :: NewAccountData -> NewAccountData -> NewAccountData Source # min :: NewAccountData -> NewAccountData -> NewAccountData Source #
Read NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS NewAccountData Source # readList :: ReadS [NewAccountData] Source # readPrec :: ReadPrec NewAccountData Source # readListPrec :: ReadPrec [NewAccountData] Source #
Show NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> NewAccountData -> ShowS Source # show :: NewAccountData -> String Source # showList :: [NewAccountData] -> ShowS Source #
Generic NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep NewAccountData :: Type -> Type Source # Methods from :: NewAccountData -> Rep NewAccountData x Source # to :: Rep NewAccountData x -> NewAccountData Source #
ToJSON NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: NewAccountData -> Value Source # toEncoding :: NewAccountData -> Encoding Source # toJSONList :: [NewAccountData] -> Value Source # toEncodingList :: [NewAccountData] -> Encoding Source #
FromJSON NewAccountData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser NewAccountData Source # parseJSONList :: Value -> Parser [NewAccountData] Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 Source # (/=) :: ChangePasswordData -> ChangePasswordData -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ChangePasswordData Source # toConstr :: ChangePasswordData -> Constr Source # dataTypeOf :: ChangePasswordData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ChangePasswordData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ChangePasswordData) Source # gmapT :: (forall b. Data b => b -> b) -> ChangePasswordData -> ChangePasswordData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ChangePasswordData -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ChangePasswordData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ChangePasswordData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ChangePasswordData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ChangePasswordData -> m ChangePasswordData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ChangePasswordData -> m ChangePasswordData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ChangePasswordData -> m ChangePasswordData Source #
Ord ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: ChangePasswordData -> ChangePasswordData -> Ordering Source # (<) :: ChangePasswordData -> ChangePasswordData -> Bool Source # (<=) :: ChangePasswordData -> ChangePasswordData -> Bool Source # (>) :: ChangePasswordData -> ChangePasswordData -> Bool Source # (>=) :: ChangePasswordData -> ChangePasswordData -> Bool Source # max :: ChangePasswordData -> ChangePasswordData -> ChangePasswordData Source # min :: ChangePasswordData -> ChangePasswordData -> ChangePasswordData Source #
Read ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS ChangePasswordData Source # readList :: ReadS [ChangePasswordData] Source # readPrec :: ReadPrec ChangePasswordData Source # readListPrec :: ReadPrec [ChangePasswordData] Source #
Show ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> ChangePasswordData -> ShowS Source # show :: ChangePasswordData -> String Source # showList :: [ChangePasswordData] -> ShowS Source #
Generic ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep ChangePasswordData :: Type -> Type Source # Methods from :: ChangePasswordData -> Rep ChangePasswordData x Source # to :: Rep ChangePasswordData x -> ChangePasswordData Source #
ToJSON ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: ChangePasswordData -> Value Source # toEncoding :: ChangePasswordData -> Encoding Source # toJSONList :: [ChangePasswordData] -> Value Source # toEncodingList :: [ChangePasswordData] -> Encoding Source #
FromJSON ChangePasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser ChangePasswordData Source # parseJSONList :: Value -> Parser [ChangePasswordData] Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 Source # (/=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RequestResetPasswordData Source # toConstr :: RequestResetPasswordData -> Constr Source # dataTypeOf :: RequestResetPasswordData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RequestResetPasswordData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RequestResetPasswordData) Source # gmapT :: (forall b. Data b => b -> b) -> RequestResetPasswordData -> RequestResetPasswordData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RequestResetPasswordData -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RequestResetPasswordData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> RequestResetPasswordData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> RequestResetPasswordData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RequestResetPasswordData -> m RequestResetPasswordData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RequestResetPasswordData -> m RequestResetPasswordData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RequestResetPasswordData -> m RequestResetPasswordData Source #
Ord RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: RequestResetPasswordData -> RequestResetPasswordData -> Ordering Source # (<) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool Source # (<=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool Source # (>) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool Source # (>=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool Source # max :: RequestResetPasswordData -> RequestResetPasswordData -> RequestResetPasswordData Source # min :: RequestResetPasswordData -> RequestResetPasswordData -> RequestResetPasswordData Source #
Read RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS RequestResetPasswordData Source # readList :: ReadS [RequestResetPasswordData] Source # readPrec :: ReadPrec RequestResetPasswordData Source # readListPrec :: ReadPrec [RequestResetPasswordData] Source #
Show RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> RequestResetPasswordData -> ShowS Source # show :: RequestResetPasswordData -> String Source # showList :: [RequestResetPasswordData] -> ShowS Source #
Generic RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep RequestResetPasswordData :: Type -> Type Source # Methods from :: RequestResetPasswordData -> Rep RequestResetPasswordData x Source # to :: Rep RequestResetPasswordData x -> RequestResetPasswordData Source #
ToJSON RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: RequestResetPasswordData -> Value Source # toEncoding :: RequestResetPasswordData -> Encoding Source # toJSONList :: [RequestResetPasswordData] -> Value Source # toEncodingList :: [RequestResetPasswordData] -> Encoding Source #
FromJSON RequestResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser RequestResetPasswordData Source # parseJSONList :: Value -> Parser [RequestResetPasswordData] Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 Source # (/=) :: ResetPasswordData -> ResetPasswordData -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ResetPasswordData Source # toConstr :: ResetPasswordData -> Constr Source # dataTypeOf :: ResetPasswordData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ResetPasswordData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ResetPasswordData) Source # gmapT :: (forall b. Data b => b -> b) -> ResetPasswordData -> ResetPasswordData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ResetPasswordData -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ResetPasswordData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ResetPasswordData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ResetPasswordData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ResetPasswordData -> m ResetPasswordData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ResetPasswordData -> m ResetPasswordData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ResetPasswordData -> m ResetPasswordData Source #
Ord ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods compare :: ResetPasswordData -> ResetPasswordData -> Ordering Source # (<) :: ResetPasswordData -> ResetPasswordData -> Bool Source # (<=) :: ResetPasswordData -> ResetPasswordData -> Bool Source # (>) :: ResetPasswordData -> ResetPasswordData -> Bool Source # (>=) :: ResetPasswordData -> ResetPasswordData -> Bool Source # max :: ResetPasswordData -> ResetPasswordData -> ResetPasswordData Source # min :: ResetPasswordData -> ResetPasswordData -> ResetPasswordData Source #
Read ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods readsPrec :: Int -> ReadS ResetPasswordData Source # readList :: ReadS [ResetPasswordData] Source # readPrec :: ReadPrec ResetPasswordData Source # readListPrec :: ReadPrec [ResetPasswordData] Source #
Show ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods showsPrec :: Int -> ResetPasswordData -> ShowS Source # show :: ResetPasswordData -> String Source # showList :: [ResetPasswordData] -> ShowS Source #
Generic ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Associated Types type Rep ResetPasswordData :: Type -> Type Source # Methods from :: ResetPasswordData -> Rep ResetPasswordData x Source # to :: Rep ResetPasswordData x -> ResetPasswordData Source #
ToJSON ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods toJSON :: ResetPasswordData -> Value Source # toEncoding :: ResetPasswordData -> Encoding Source # toJSONList :: [ResetPasswordData] -> Value Source # toEncodingList :: [ResetPasswordData] -> Encoding Source #
FromJSON ResetPasswordData Source #
Instance details Defined in Happstack.Authenticate.Password.Core Methods parseJSON :: Value -> Parser ResetPasswordData Source # parseJSONList :: Value -> Parser [ResetPasswordData] Source #
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-Fn6kkNFKDUSJDKP30N56RM" 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 #