wire-subsystems-0.1.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Wire.VerificationCodeSubsystem

Documentation

data VerificationCodeSubsystemError Source #

Constructors

VerificationCodeThrottled RetryAfter 

Instances

Instances details
Show VerificationCodeSubsystemError Source # 
Instance details

Defined in Wire.VerificationCodeSubsystem

Methods

showsPrec :: Int -> VerificationCodeSubsystemError -> ShowS #

show :: VerificationCodeSubsystemError -> String #

showList :: [VerificationCodeSubsystemError] -> ShowS #

Eq VerificationCodeSubsystemError Source # 
Instance details

Defined in Wire.VerificationCodeSubsystem

Methods

(==) :: VerificationCodeSubsystemError -> VerificationCodeSubsystemError -> Bool #

(/=) :: VerificationCodeSubsystemError -> VerificationCodeSubsystemError -> Bool #

verificationCodeSubsystemErrorToHttpError :: VerificationCodeSubsystemError -> HttpError Source #

newtype CodeAlreadyExists Source #

Constructors

CodeAlreadyExists Code 

Instances

Instances details
Show CodeAlreadyExists Source # 
Instance details

Defined in Wire.VerificationCodeSubsystem

Methods

showsPrec :: Int -> CodeAlreadyExists -> ShowS #

show :: CodeAlreadyExists -> String #

showList :: [CodeAlreadyExists] -> ShowS #

Eq CodeAlreadyExists Source # 
Instance details

Defined in Wire.VerificationCodeSubsystem

Methods

(==) :: CodeAlreadyExists -> CodeAlreadyExists -> Bool #

(/=) :: CodeAlreadyExists -> CodeAlreadyExists -> Bool #

data VerificationCodeSubsystem m a where Source #

Constructors

CreateCode 

Fields

CreateCodeOverwritePrevious 

Fields

VerifyCode :: Key -> Scope -> Value -> VerificationCodeSubsystem m (Maybe Code) 
DeleteCode :: Key -> Scope -> VerificationCodeSubsystem m () 
InternalLookupCode :: Key -> Scope -> VerificationCodeSubsystem m (Maybe Code) 

internalLookupCode :: forall r. Member VerificationCodeSubsystem r => Key -> Scope -> Sem r (Maybe Code) Source #

deleteCode :: forall r. Member VerificationCodeSubsystem r => Key -> Scope -> Sem r () Source #

verifyCode :: forall r. Member VerificationCodeSubsystem r => Key -> Scope -> Value -> Sem r (Maybe Code) Source #

createCodeOverwritePrevious :: forall r. Member VerificationCodeSubsystem r => VerificationCodeGen -> Scope -> Retries -> Timeout -> Maybe UUID -> Sem r Code Source #

createCode :: forall r. Member VerificationCodeSubsystem r => VerificationCodeGen -> Scope -> Retries -> Timeout -> Maybe UUID -> Sem r (Either CodeAlreadyExists Code) Source #