Happstack.Authenticate.Password.Core

Documentation

data PasswordConfig

Constructors

PasswordConfig

Fields

• _resetLink :: Text
• _domain :: Text
• _passwordAcceptable :: Text -> Maybe Text

Instances

Generic PasswordConfig

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

Defined in Happstack.Authenticate.Password.Core

type Rep PasswordConfig = D1 ('MetaData "PasswordConfig" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" '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

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

domain :: Lens' PasswordConfig Text

data PasswordError

Constructors

NotAuthenticated

NotAuthorized

InvalidUsername

InvalidPassword

InvalidUsernamePassword

NoEmailAddress

MissingResetToken

InvalidResetToken

PasswordMismatch

UnacceptablePassword

Fields

• passwordErrorMessageMsg :: Text

CoreError

Fields

• passwordErrorMessageE :: CoreError

Instances

Eq PasswordError

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: PasswordError -> PasswordError -> Bool

(/=) :: PasswordError -> PasswordError -> Bool

Data PasswordError

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS PasswordError

readList :: ReadS [PasswordError]

readPrec :: ReadPrec PasswordError

readListPrec :: ReadPrec [PasswordError]

Show PasswordError

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> PasswordError -> ShowS

show :: PasswordError -> String

showList :: [PasswordError] -> ShowS

Generic PasswordError

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

Defined in Happstack.Authenticate.Password.Core

Methods

toJSON :: PasswordError -> Value

toEncoding :: PasswordError -> Encoding

toJSONList :: [PasswordError] -> Value

toEncodingList :: [PasswordError] -> Encoding

FromJSON PasswordError

Defined in Happstack.Authenticate.Password.Core

Methods

parseJSON :: Value -> Parser PasswordError

parseJSONList :: Value -> Parser [PasswordError]

ToJExpr PasswordError

Defined in Happstack.Authenticate.Password.Core

Methods

toJExpr :: PasswordError -> JExpr

toJExprFromList :: [PasswordError] -> JExpr

RenderMessage HappstackAuthenticateI18N PasswordError

Defined in Happstack.Authenticate.Password.Core

Methods

renderMessage :: HappstackAuthenticateI18N -> [Lang] -> PasswordError -> Text

type Rep PasswordError

Defined in Happstack.Authenticate.Password.Core

type Rep PasswordError = D1 ('MetaData "PasswordError" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" '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

Constructors

HashedPass

Fields

• _unHashedPass :: ByteString

Instances

Eq HashedPass

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: HashedPass -> HashedPass -> Bool

(/=) :: HashedPass -> HashedPass -> Bool

Data HashedPass

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS HashedPass

readList :: ReadS [HashedPass]

readPrec :: ReadPrec HashedPass

readListPrec :: ReadPrec [HashedPass]

Show HashedPass

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> HashedPass -> ShowS

show :: HashedPass -> String

showList :: [HashedPass] -> ShowS

Generic HashedPass

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

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

Defined in Happstack.Authenticate.Password.Core

type Rep HashedPass = D1 ('MetaData "HashedPass" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" 'True) (C1 ('MetaCons "HashedPass" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unHashedPass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

unHashedPass :: Iso' HashedPass ByteString

mkHashedPass

Arguments

:: (Functor m, MonadIO m)

=> Text

password in plain text

-> m HashedPass

salted and hashed

hash a password string

verifyHashedPass

Arguments

:: Text

password in plain text

-> HashedPass

hashed version of password

-> Bool

verify a password

data PasswordState

Constructors

PasswordState

Fields

• _passwords :: Map UserId HashedPass

Instances

Eq PasswordState

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: PasswordState -> PasswordState -> Bool

(/=) :: PasswordState -> PasswordState -> Bool

Data PasswordState

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS PasswordState

readList :: ReadS [PasswordState]

readPrec :: ReadPrec PasswordState

readListPrec :: ReadPrec [PasswordState]

Show PasswordState

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> PasswordState -> ShowS

show :: PasswordState -> String

showList :: [PasswordState] -> ShowS

Generic PasswordState

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

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

Defined in Happstack.Authenticate.Password.Core

Methods

acidEvents :: [Event PasswordState]

type Rep PasswordState

Defined in Happstack.Authenticate.Password.Core

type Rep PasswordState = D1 ('MetaData "PasswordState" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" 'False) (C1 ('MetaCons "PasswordState" 'PrefixI 'True) (S1 ('MetaSel ('Just "_passwords") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UserId HashedPass))))

passwords :: Iso' PasswordState (Map UserId HashedPass)

initialPasswordState :: PasswordState

setPassword

Arguments

:: UserId

UserId

-> HashedPass

the hashed password

-> Update PasswordState ()

set the password for UserId

deletePassword

Arguments

:: UserId

UserId

-> Update PasswordState ()

delete the password for UserId

verifyPasswordForUserId

Arguments

:: UserId

UserId

-> Text

plain-text password

-> Query PasswordState Bool

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

data SetPassword

Constructors

SetPassword UserId HashedPass

Instances

SafeCopy SetPassword

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

Defined in Happstack.Authenticate.Password.Core

Method SetPassword

Defined in Happstack.Authenticate.Password.Core

Associated Types

type MethodResult SetPassword

type MethodState SetPassword

Methods

methodTag :: SetPassword -> Tag

type MethodState SetPassword

Defined in Happstack.Authenticate.Password.Core

type MethodState SetPassword = PasswordState

type MethodResult SetPassword

Defined in Happstack.Authenticate.Password.Core

type MethodResult SetPassword = ()

newtype DeletePassword

Constructors

DeletePassword UserId

Instances

SafeCopy DeletePassword

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

Defined in Happstack.Authenticate.Password.Core

Method DeletePassword

Defined in Happstack.Authenticate.Password.Core

Associated Types

type MethodResult DeletePassword

type MethodState DeletePassword

Methods

methodTag :: DeletePassword -> Tag

type MethodState DeletePassword

Defined in Happstack.Authenticate.Password.Core

type MethodState DeletePassword = PasswordState

type MethodResult DeletePassword

Defined in Happstack.Authenticate.Password.Core

type MethodResult DeletePassword = ()

data VerifyPasswordForUserId

Constructors

VerifyPasswordForUserId UserId Text

Instances

SafeCopy VerifyPasswordForUserId

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

Defined in Happstack.Authenticate.Password.Core

Method VerifyPasswordForUserId

Defined in Happstack.Authenticate.Password.Core

Associated Types

type MethodResult VerifyPasswordForUserId

type MethodState VerifyPasswordForUserId

Methods

methodTag :: VerifyPasswordForUserId -> Tag

type MethodState VerifyPasswordForUserId

Defined in Happstack.Authenticate.Password.Core

type MethodState VerifyPasswordForUserId = PasswordState

type MethodResult VerifyPasswordForUserId

Defined in Happstack.Authenticate.Password.Core

type MethodResult VerifyPasswordForUserId = Bool

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

verify that the supplied username/password is valid

data UserPass

Constructors

UserPass

Fields

• _user :: Username
• _password :: Text

Instances

Eq UserPass

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: UserPass -> UserPass -> Bool

(/=) :: UserPass -> UserPass -> Bool

Data UserPass

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS UserPass

readList :: ReadS [UserPass]

readPrec :: ReadPrec UserPass

readListPrec :: ReadPrec [UserPass]

Show UserPass

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> UserPass -> ShowS

show :: UserPass -> String

showList :: [UserPass] -> ShowS

Generic UserPass

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

Defined in Happstack.Authenticate.Password.Core

Methods

toJSON :: UserPass -> Value

toEncoding :: UserPass -> Encoding

toJSONList :: [UserPass] -> Value

toEncodingList :: [UserPass] -> Encoding

FromJSON UserPass

Defined in Happstack.Authenticate.Password.Core

Methods

parseJSON :: Value -> Parser UserPass

parseJSONList :: Value -> Parser [UserPass]

ToJExpr UserPass

Defined in Happstack.Authenticate.Password.Core

Methods

toJExpr :: UserPass -> JExpr

toJExprFromList :: [UserPass] -> JExpr

type Rep UserPass

Defined in Happstack.Authenticate.Password.Core

type Rep UserPass = D1 ('MetaData "UserPass" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" '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

password :: Lens' UserPass Text

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

data NewAccountData

JSON record for new account data

Constructors

NewAccountData

Fields

• _naUser :: User
• _naPassword :: Text
• _naPasswordConfirm :: Text

Instances

Eq NewAccountData

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: NewAccountData -> NewAccountData -> Bool

(/=) :: NewAccountData -> NewAccountData -> Bool

Data NewAccountData

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS NewAccountData

readList :: ReadS [NewAccountData]

readPrec :: ReadPrec NewAccountData

readListPrec :: ReadPrec [NewAccountData]

Show NewAccountData

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> NewAccountData -> ShowS

show :: NewAccountData -> String

showList :: [NewAccountData] -> ShowS

Generic NewAccountData

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

Defined in Happstack.Authenticate.Password.Core

Methods

toJSON :: NewAccountData -> Value

toEncoding :: NewAccountData -> Encoding

toJSONList :: [NewAccountData] -> Value

toEncodingList :: [NewAccountData] -> Encoding

FromJSON NewAccountData

Defined in Happstack.Authenticate.Password.Core

Methods

parseJSON :: Value -> Parser NewAccountData

parseJSONList :: Value -> Parser [NewAccountData]

type Rep NewAccountData

Defined in Happstack.Authenticate.Password.Core

type Rep NewAccountData = D1 ('MetaData "NewAccountData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" '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

naPasswordConfirm :: Lens' NewAccountData Text

naPassword :: Lens' NewAccountData Text

data ChangePasswordData

JSON record for change password data

Constructors

ChangePasswordData

Fields

• _cpOldPassword :: Text
• _cpNewPassword :: Text
• _cpNewPasswordConfirm :: Text

Instances

Eq ChangePasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: ChangePasswordData -> ChangePasswordData -> Bool

(/=) :: ChangePasswordData -> ChangePasswordData -> Bool

Data ChangePasswordData

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS ChangePasswordData

readList :: ReadS [ChangePasswordData]

readPrec :: ReadPrec ChangePasswordData

readListPrec :: ReadPrec [ChangePasswordData]

Show ChangePasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> ChangePasswordData -> ShowS

show :: ChangePasswordData -> String

showList :: [ChangePasswordData] -> ShowS

Generic ChangePasswordData

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

Defined in Happstack.Authenticate.Password.Core

Methods

toJSON :: ChangePasswordData -> Value

toEncoding :: ChangePasswordData -> Encoding

toJSONList :: [ChangePasswordData] -> Value

toEncodingList :: [ChangePasswordData] -> Encoding

FromJSON ChangePasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

parseJSON :: Value -> Parser ChangePasswordData

parseJSONList :: Value -> Parser [ChangePasswordData]

type Rep ChangePasswordData

Defined in Happstack.Authenticate.Password.Core

type Rep ChangePasswordData = D1 ('MetaData "ChangePasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" '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

cpNewPasswordConfirm :: Lens' ChangePasswordData Text

cpNewPassword :: Lens' ChangePasswordData Text

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

account handler

data RequestResetPasswordData

JSON record for new account data

Constructors

RequestResetPasswordData

Fields

• _rrpUsername :: Username

Instances

Eq RequestResetPasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool

(/=) :: RequestResetPasswordData -> RequestResetPasswordData -> Bool

Data RequestResetPasswordData

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS RequestResetPasswordData

readList :: ReadS [RequestResetPasswordData]

readPrec :: ReadPrec RequestResetPasswordData

readListPrec :: ReadPrec [RequestResetPasswordData]

Show RequestResetPasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> RequestResetPasswordData -> ShowS

show :: RequestResetPasswordData -> String

showList :: [RequestResetPasswordData] -> ShowS

Generic RequestResetPasswordData

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

Defined in Happstack.Authenticate.Password.Core

Methods

toJSON :: RequestResetPasswordData -> Value

toEncoding :: RequestResetPasswordData -> Encoding

toJSONList :: [RequestResetPasswordData] -> Value

toEncodingList :: [RequestResetPasswordData] -> Encoding

FromJSON RequestResetPasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

parseJSON :: Value -> Parser RequestResetPasswordData

parseJSONList :: Value -> Parser [RequestResetPasswordData]

type Rep RequestResetPasswordData

Defined in Happstack.Authenticate.Password.Core

type Rep RequestResetPasswordData = D1 ('MetaData "RequestResetPasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" 'False) (C1 ('MetaCons "RequestResetPasswordData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_rrpUsername") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Username)))

rrpUsername :: Iso' RequestResetPasswordData Username

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

request reset password

resetTokenForUserId :: Text -> AcidState AuthenticateState -> AcidState PasswordState -> UserId -> IO (Either PasswordError Text)

generate a reset token for a UserId

resetTokenLink

Arguments

:: Text

base URI

-> Text

reset token

-> Text

create a link for a reset token

issueResetToken :: MonadIO m => AcidState AuthenticateState -> User -> m Text

issueResetToken

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

data ResetPasswordData

JSON record for new account data

Constructors

ResetPasswordData

Fields

• _rpPassword :: Text
• _rpPasswordConfirm :: Text
• _rpResetToken :: Text

Instances

Eq ResetPasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

(==) :: ResetPasswordData -> ResetPasswordData -> Bool

(/=) :: ResetPasswordData -> ResetPasswordData -> Bool

Data ResetPasswordData

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 :: forall r r'. (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

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

Defined in Happstack.Authenticate.Password.Core

Methods

readsPrec :: Int -> ReadS ResetPasswordData

readList :: ReadS [ResetPasswordData]

readPrec :: ReadPrec ResetPasswordData

readListPrec :: ReadPrec [ResetPasswordData]

Show ResetPasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

showsPrec :: Int -> ResetPasswordData -> ShowS

show :: ResetPasswordData -> String

showList :: [ResetPasswordData] -> ShowS

Generic ResetPasswordData

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

Defined in Happstack.Authenticate.Password.Core

Methods

toJSON :: ResetPasswordData -> Value

toEncoding :: ResetPasswordData -> Encoding

toJSONList :: [ResetPasswordData] -> Value

toEncodingList :: [ResetPasswordData] -> Encoding

FromJSON ResetPasswordData

Defined in Happstack.Authenticate.Password.Core

Methods

parseJSON :: Value -> Parser ResetPasswordData

parseJSONList :: Value -> Parser [ResetPasswordData]

type Rep ResetPasswordData

Defined in Happstack.Authenticate.Password.Core

type Rep ResetPasswordData = D1 ('MetaData "ResetPasswordData" "Happstack.Authenticate.Password.Core" "happstack-authenticate-2.5.1-BzWELMPZnYYGo9CPtJoxJ3" '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

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))