Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- interpretVerificationCodeSubsystem :: (Member VerificationCodeStore r, Member Random r, Member (Error VerificationCodeSubsystemError) r, Member (Input VerificationCodeThrottleTTL) r) => InterpreterFor VerificationCodeSubsystem r
- newtype VerificationCodeThrottleTTL = VerificationCodeThrottleTTL Word
- createCodeImpl :: (Member VerificationCodeStore r, Member Random r, Member (Error VerificationCodeSubsystemError) r, Member (Input VerificationCodeThrottleTTL) r) => VerificationCodeGen -> Scope -> Retries -> Timeout -> Maybe UUID -> Sem r (Either CodeAlreadyExists Code)
- createCodeOverwritePreviousImpl :: (Member VerificationCodeStore r, Member Random r, Member (Error VerificationCodeSubsystemError) r, Member (Input VerificationCodeThrottleTTL) r) => VerificationCodeGen -> Scope -> Retries -> Timeout -> Maybe UUID -> Sem r Code
- insert :: (Member VerificationCodeStore r, Member (Input VerificationCodeThrottleTTL) r) => Code -> Sem r (Maybe RetryAfter)
- verifyCodeImpl :: Member VerificationCodeStore r => Key -> Scope -> Value -> Sem r (Maybe Code)
Documentation
interpretVerificationCodeSubsystem :: (Member VerificationCodeStore r, Member Random r, Member (Error VerificationCodeSubsystemError) r, Member (Input VerificationCodeThrottleTTL) r) => InterpreterFor VerificationCodeSubsystem r Source #
newtype VerificationCodeThrottleTTL Source #
Instances
createCodeImpl :: (Member VerificationCodeStore r, Member Random r, Member (Error VerificationCodeSubsystemError) r, Member (Input VerificationCodeThrottleTTL) r) => VerificationCodeGen -> Scope -> Retries -> Timeout -> Maybe UUID -> Sem r (Either CodeAlreadyExists Code) Source #
createCodeOverwritePreviousImpl :: (Member VerificationCodeStore r, Member Random r, Member (Error VerificationCodeSubsystemError) r, Member (Input VerificationCodeThrottleTTL) r) => VerificationCodeGen -> Scope -> Retries -> Timeout -> Maybe UUID -> Sem r Code Source #
insert :: (Member VerificationCodeStore r, Member (Input VerificationCodeThrottleTTL) r) => Code -> Sem r (Maybe RetryAfter) Source #