| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Galley.Effects.CodeStore
Synopsis
- data CodeStore m a where
- CreateCode :: Code -> Maybe Password -> CodeStore m ()
- GetCode :: Key -> Scope -> CodeStore m (Maybe (Code, Maybe Password))
- DeleteCode :: Key -> Scope -> CodeStore m ()
- MakeKey :: ConvId -> CodeStore m Key
- GenerateCode :: ConvId -> Scope -> Timeout -> CodeStore m Code
- GetConversationCodeURI :: Maybe Text -> CodeStore m (Maybe HttpsUrl)
- createCode :: forall r. Member CodeStore r => Code -> Maybe Password -> Sem r ()
- getCode :: forall r. Member CodeStore r => Key -> Scope -> Sem r (Maybe (Code, Maybe Password))
- deleteCode :: forall r. Member CodeStore r => Key -> Scope -> Sem r ()
- makeKey :: forall r. Member CodeStore r => ConvId -> Sem r Key
- generateCode :: forall r. Member CodeStore r => ConvId -> Scope -> Timeout -> Sem r Code
- getConversationCodeURI :: forall r. Member CodeStore r => Maybe Text -> Sem r (Maybe HttpsUrl)
Code store effect
data CodeStore m a where Source #
Constructors
| CreateCode :: Code -> Maybe Password -> CodeStore m () | |
| GetCode :: Key -> Scope -> CodeStore m (Maybe (Code, Maybe Password)) | |
| DeleteCode :: Key -> Scope -> CodeStore m () | |
| MakeKey :: ConvId -> CodeStore m Key | |
| GenerateCode :: ConvId -> Scope -> Timeout -> CodeStore m Code | |
| GetConversationCodeURI :: Maybe Text -> CodeStore m (Maybe HttpsUrl) |
Create code
Read code
getCode :: forall r. Member CodeStore r => Key -> Scope -> Sem r (Maybe (Code, Maybe Password)) Source #