Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data VerificationCodeStore m a where Source #
InsertCode :: Code -> VerificationCodeStore m () | |
LookupCode :: Key -> Scope -> VerificationCodeStore m (Maybe Code) | |
DeleteCode :: Key -> Scope -> VerificationCodeStore m () | |
InsertThrottle :: Key -> Scope -> Word -> VerificationCodeStore m () | |
LookupThrottle :: Key -> Scope -> VerificationCodeStore m (Maybe RetryAfter) |
lookupThrottle :: forall r. Member VerificationCodeStore r => Key -> Scope -> Sem r (Maybe RetryAfter) Source #
insertThrottle :: forall r. Member VerificationCodeStore r => Key -> Scope -> Word -> Sem r () Source #
deleteCode :: forall r. Member VerificationCodeStore r => Key -> Scope -> Sem r () Source #
lookupCode :: forall r. Member VerificationCodeStore r => Key -> Scope -> Sem r (Maybe Code) Source #
insertCode :: forall r. Member VerificationCodeStore r => Code -> Sem r () Source #