Safe Haskell	None
Language	Haskell98

Happstack.Authenticate.Password.Core

Synopsis

Documentation

data PasswordConfig Source #

Constructors

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

Instances

Generic PasswordConfig Source #
Associated Types type Rep PasswordConfig :: * -> * # Methods from :: PasswordConfig -> Rep PasswordConfig x # to :: Rep PasswordConfig x -> PasswordConfig #
type Rep PasswordConfig Source #
type Rep PasswordConfig = D1 (MetaData "PasswordConfig" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) (C1 (MetaCons "PasswordConfig" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "_resetLink") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) ((::) (S1 (MetaSel (Just Symbol "_domain") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "_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 #
Methods (==) :: PasswordError -> PasswordError -> Bool # (/=) :: PasswordError -> PasswordError -> Bool #
Data PasswordError Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS PasswordError # readList :: ReadS [PasswordError] # readPrec :: ReadPrec PasswordError # readListPrec :: ReadPrec [PasswordError] #
Show PasswordError Source #
Methods showsPrec :: Int -> PasswordError -> ShowS # show :: PasswordError -> String # showList :: [PasswordError] -> ShowS #
Generic PasswordError Source #
Associated Types type Rep PasswordError :: * -> * # Methods from :: PasswordError -> Rep PasswordError x # to :: Rep PasswordError x -> PasswordError #
ToJSON PasswordError Source #
Methods toJSON :: PasswordError -> Value # toEncoding :: PasswordError -> Encoding #
FromJSON PasswordError Source #
Methods parseJSON :: Value -> Parser PasswordError #
ToJExpr PasswordError Source #
Methods toJExpr :: PasswordError -> JExpr # toJExprFromList :: [PasswordError] -> JExpr #
RenderMessage HappstackAuthenticateI18N PasswordError Source #
Methods renderMessage :: HappstackAuthenticateI18N -> [Lang] -> PasswordError -> Text #
type Rep PasswordError Source #
type Rep PasswordError = D1 (MetaData "PasswordError" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "NotAuthenticated" PrefixI False) U1) (C1 (MetaCons "NotAuthorized" PrefixI False) U1)) ((:+:) (C1 (MetaCons "InvalidUsername" PrefixI False) U1) ((:+:) (C1 (MetaCons "InvalidPassword" PrefixI False) U1) (C1 (MetaCons "InvalidUsernamePassword" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "NoEmailAddress" PrefixI False) U1) ((:+:) (C1 (MetaCons "MissingResetToken" PrefixI False) U1) (C1 (MetaCons "InvalidResetToken" PrefixI False) U1))) ((:+:) (C1 (MetaCons "PasswordMismatch" PrefixI False) U1) ((:+:) (C1 (MetaCons "UnacceptablePassword" PrefixI True) (S1 (MetaSel (Just Symbol "passwordErrorMessageMsg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) (C1 (MetaCons "CoreError" PrefixI True) (S1 (MetaSel (Just Symbol "passwordErrorMessageE") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CoreError)))))))

newtype HashedPass Source #

Constructors

HashedPass
Fields _unHashedPass :: ByteString

Instances

Eq HashedPass Source #
Methods (==) :: HashedPass -> HashedPass -> Bool # (/=) :: HashedPass -> HashedPass -> Bool #
Data HashedPass Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS HashedPass # readList :: ReadS [HashedPass] # readPrec :: ReadPrec HashedPass # readListPrec :: ReadPrec [HashedPass] #
Show HashedPass Source #
Methods showsPrec :: Int -> HashedPass -> ShowS # show :: HashedPass -> String # showList :: [HashedPass] -> ShowS #
Generic HashedPass Source #
Associated Types type Rep HashedPass :: * -> * # Methods from :: HashedPass -> Rep HashedPass x # to :: Rep HashedPass x -> HashedPass #
SafeCopy HashedPass Source #
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 #
type Rep HashedPass = D1 (MetaData "HashedPass" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" True) (C1 (MetaCons "HashedPass" PrefixI True) (S1 (MetaSel (Just Symbol "_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 #
Methods (==) :: PasswordState -> PasswordState -> Bool # (/=) :: PasswordState -> PasswordState -> Bool #
Data PasswordState Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS PasswordState # readList :: ReadS [PasswordState] # readPrec :: ReadPrec PasswordState # readListPrec :: ReadPrec [PasswordState] #
Show PasswordState Source #
Methods showsPrec :: Int -> PasswordState -> ShowS # show :: PasswordState -> String # showList :: [PasswordState] -> ShowS #
Generic PasswordState Source #
Associated Types type Rep PasswordState :: * -> * # Methods from :: PasswordState -> Rep PasswordState x # to :: Rep PasswordState x -> PasswordState #
IsAcidic PasswordState Source #
Methods acidEvents :: [Event PasswordState] #
SafeCopy PasswordState Source #
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 #
type Rep PasswordState Source #
type Rep PasswordState = D1 (MetaData "PasswordState" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) (C1 (MetaCons "PasswordState" PrefixI True) (S1 (MetaSel (Just Symbol "_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 #

Method SetPassword Source #
Associated Types type MethodResult SetPassword :: * # type MethodState SetPassword :: * # Methods methodTag :: SetPassword -> Tag #
SafeCopy SetPassword Source #
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 #
type MethodState SetPassword Source #
type MethodState SetPassword = PasswordState
type MethodResult SetPassword Source #
type MethodResult SetPassword = ()

newtype DeletePassword Source #

Constructors

DeletePassword UserId

Instances

UpdateEvent DeletePassword Source #

Method DeletePassword Source #
Associated Types type MethodResult DeletePassword :: * # type MethodState DeletePassword :: * # Methods methodTag :: DeletePassword -> Tag #
SafeCopy DeletePassword Source #
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 #
type MethodState DeletePassword Source #
type MethodState DeletePassword = PasswordState
type MethodResult DeletePassword Source #
type MethodResult DeletePassword = ()

data VerifyPasswordForUserId Source #

Constructors

VerifyPasswordForUserId UserId Text

Instances

QueryEvent VerifyPasswordForUserId Source #

Method VerifyPasswordForUserId Source #
Associated Types type MethodResult VerifyPasswordForUserId :: * # type MethodState VerifyPasswordForUserId :: * # Methods methodTag :: VerifyPasswordForUserId -> Tag #
SafeCopy VerifyPasswordForUserId Source #
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 #
type MethodState VerifyPasswordForUserId Source #
type MethodState VerifyPasswordForUserId = PasswordState
type MethodResult VerifyPasswordForUserId Source #
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 #
Methods (==) :: UserPass -> UserPass -> Bool # (/=) :: UserPass -> UserPass -> Bool #
Data UserPass Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS UserPass # readList :: ReadS [UserPass] # readPrec :: ReadPrec UserPass # readListPrec :: ReadPrec [UserPass] #
Show UserPass Source #
Methods showsPrec :: Int -> UserPass -> ShowS # show :: UserPass -> String # showList :: [UserPass] -> ShowS #
Generic UserPass Source #
Associated Types type Rep UserPass :: * -> * # Methods from :: UserPass -> Rep UserPass x # to :: Rep UserPass x -> UserPass #
ToJSON UserPass Source #
Methods toJSON :: UserPass -> Value # toEncoding :: UserPass -> Encoding #
FromJSON UserPass Source #
Methods parseJSON :: Value -> Parser UserPass #
ToJExpr UserPass Source #
Methods toJExpr :: UserPass -> JExpr # toJExprFromList :: [UserPass] -> JExpr #
type Rep UserPass Source #
type Rep UserPass = D1 (MetaData "UserPass" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) (C1 (MetaCons "UserPass" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_user") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Username)) (S1 (MetaSel (Just Symbol "_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 #
Methods (==) :: NewAccountData -> NewAccountData -> Bool # (/=) :: NewAccountData -> NewAccountData -> Bool #
Data NewAccountData Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS NewAccountData # readList :: ReadS [NewAccountData] # readPrec :: ReadPrec NewAccountData # readListPrec :: ReadPrec [NewAccountData] #
Show NewAccountData Source #
Methods showsPrec :: Int -> NewAccountData -> ShowS # show :: NewAccountData -> String # showList :: [NewAccountData] -> ShowS #
Generic NewAccountData Source #
Associated Types type Rep NewAccountData :: * -> * # Methods from :: NewAccountData -> Rep NewAccountData x # to :: Rep NewAccountData x -> NewAccountData #
ToJSON NewAccountData Source #
Methods toJSON :: NewAccountData -> Value # toEncoding :: NewAccountData -> Encoding #
FromJSON NewAccountData Source #
Methods parseJSON :: Value -> Parser NewAccountData #
type Rep NewAccountData Source #
type Rep NewAccountData = D1 (MetaData "NewAccountData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) (C1 (MetaCons "NewAccountData" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "_naUser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 User)) ((::) (S1 (MetaSel (Just Symbol "_naPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "_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 #
Methods (==) :: ChangePasswordData -> ChangePasswordData -> Bool # (/=) :: ChangePasswordData -> ChangePasswordData -> Bool #
Data ChangePasswordData Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS ChangePasswordData # readList :: ReadS [ChangePasswordData] # readPrec :: ReadPrec ChangePasswordData # readListPrec :: ReadPrec [ChangePasswordData] #
Show ChangePasswordData Source #
Methods showsPrec :: Int -> ChangePasswordData -> ShowS # show :: ChangePasswordData -> String # showList :: [ChangePasswordData] -> ShowS #
Generic ChangePasswordData Source #
Associated Types type Rep ChangePasswordData :: * -> * # Methods from :: ChangePasswordData -> Rep ChangePasswordData x # to :: Rep ChangePasswordData x -> ChangePasswordData #
ToJSON ChangePasswordData Source #
Methods toJSON :: ChangePasswordData -> Value # toEncoding :: ChangePasswordData -> Encoding #
FromJSON ChangePasswordData Source #
Methods parseJSON :: Value -> Parser ChangePasswordData #
type Rep ChangePasswordData Source #
type Rep ChangePasswordData = D1 (MetaData "ChangePasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) (C1 (MetaCons "ChangePasswordData" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "_cpOldPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) ((::) (S1 (MetaSel (Just Symbol "_cpNewPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "_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 #
Methods (==) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool # (/=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool #
Data RequestResetPasswordData Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS RequestResetPasswordData # readList :: ReadS [RequestResetPasswordData] # readPrec :: ReadPrec RequestResetPasswordData # readListPrec :: ReadPrec [RequestResetPasswordData] #
Show RequestResetPasswordData Source #
Methods showsPrec :: Int -> RequestResetPasswordData -> ShowS # show :: RequestResetPasswordData -> String # showList :: [RequestResetPasswordData] -> ShowS #
Generic RequestResetPasswordData Source #
Associated Types type Rep RequestResetPasswordData :: * -> * # Methods from :: RequestResetPasswordData -> Rep RequestResetPasswordData x # to :: Rep RequestResetPasswordData x -> RequestResetPasswordData #
ToJSON RequestResetPasswordData Source #
Methods toJSON :: RequestResetPasswordData -> Value # toEncoding :: RequestResetPasswordData -> Encoding #
FromJSON RequestResetPasswordData Source #
Methods parseJSON :: Value -> Parser RequestResetPasswordData #
type Rep RequestResetPasswordData Source #
type Rep RequestResetPasswordData = D1 (MetaData "RequestResetPasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) (C1 (MetaCons "RequestResetPasswordData" PrefixI True) (S1 (MetaSel (Just Symbol "_rrpUsername") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Username)))

rrpUsername :: Iso' RequestResetPasswordData Username Source #

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

request reset password

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

issueResetToken

sendResetEmail :: MonadIO m => Email -> Email -> 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 #
Methods (==) :: ResetPasswordData -> ResetPasswordData -> Bool # (/=) :: ResetPasswordData -> ResetPasswordData -> Bool #
Data ResetPasswordData Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS ResetPasswordData # readList :: ReadS [ResetPasswordData] # readPrec :: ReadPrec ResetPasswordData # readListPrec :: ReadPrec [ResetPasswordData] #
Show ResetPasswordData Source #
Methods showsPrec :: Int -> ResetPasswordData -> ShowS # show :: ResetPasswordData -> String # showList :: [ResetPasswordData] -> ShowS #
Generic ResetPasswordData Source #
Associated Types type Rep ResetPasswordData :: * -> * # Methods from :: ResetPasswordData -> Rep ResetPasswordData x # to :: Rep ResetPasswordData x -> ResetPasswordData #
ToJSON ResetPasswordData Source #
Methods toJSON :: ResetPasswordData -> Value # toEncoding :: ResetPasswordData -> Encoding #
FromJSON ResetPasswordData Source #
Methods parseJSON :: Value -> Parser ResetPasswordData #
type Rep ResetPasswordData Source #
type Rep ResetPasswordData = D1 (MetaData "ResetPasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.3.4.2-Jbkuvcb1G8fHODJpFAoxmd" False) (C1 (MetaCons "ResetPasswordData" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "_rpPassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) ((::) (S1 (MetaSel (Just Symbol "_rpPasswordConfirm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "_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 #