Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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 #
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 #