Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- isMLSEnabled :: Member (Input Env) r => Sem r Bool
- assertMLSEnabled :: (Member (Input Env) r, Member (ErrorS 'MLSNotEnabled) r) => Sem r ()
- postMLSMessage :: (HasProposalEffects r, Member (ErrorS 'ConvAccessDenied) r, Member (ErrorS 'ConvMemberNotFound) r, Member (ErrorS 'ConvNotFound) r, Member (ErrorS 'MLSNotEnabled) r, Member (ErrorS 'MissingLegalholdConsent) r, Member (ErrorS 'MLSClientSenderUserMismatch) r, Member (ErrorS 'MLSCommitMissingReferences) r, Member (ErrorS 'MLSGroupConversationMismatch) r, Member (ErrorS 'MLSProposalNotFound) r, Member (ErrorS 'MLSSelfRemovalNotAllowed) r, Member (ErrorS 'MLSStaleMessage) r, Member (ErrorS 'MLSUnsupportedMessage) r, Member (ErrorS 'MLSSubConvClientNotInParent) r, Member SubConversationStore r) => Local x -> Qualified UserId -> ClientId -> ConvType -> Qualified ConvOrSubConvId -> Maybe ConnId -> IncomingMessage -> Sem r [LocalConversationUpdate]
- postMLSCommitBundleFromLocalUser :: (Member (ErrorS MLSLegalholdIncompatible) r, Member Random r, Member Resource r, Member SubConversationStore r, Members MLSBundleStaticErrors r, HasProposalEffects r) => Local UserId -> ClientId -> ConnId -> RawMLS CommitBundle -> Sem r MLSMessageSendingStatus
- postMLSMessageFromLocalUser :: (HasProposalEffects r, Member (ErrorS 'ConvAccessDenied) r, Member (ErrorS 'ConvMemberNotFound) r, Member (ErrorS 'ConvNotFound) r, Member (ErrorS 'MissingLegalholdConsent) r, Member (ErrorS 'MLSClientSenderUserMismatch) r, Member (ErrorS 'MLSCommitMissingReferences) r, Member (ErrorS 'MLSGroupConversationMismatch) r, Member (ErrorS 'MLSNotEnabled) r, Member (ErrorS 'MLSProposalNotFound) r, Member (ErrorS 'MLSSelfRemovalNotAllowed) r, Member (ErrorS 'MLSStaleMessage) r, Member (ErrorS 'MLSUnsupportedMessage) r, Member (ErrorS 'MLSSubConvClientNotInParent) r, Member SubConversationStore r) => Local UserId -> ClientId -> ConnId -> RawMLS Message -> Sem r MLSMessageSendingStatus
- getMLSPublicKeys :: (Member (Input Env) r, Member (ErrorS 'MLSNotEnabled) r, Member (Error InternalError) r) => Maybe MLSPublicKeyFormat -> Sem r (MLSKeysByPurpose (MLSKeys SomeKey))
- formatPublicKeys :: Member (Error InternalError) r => Maybe MLSPublicKeyFormat -> MLSKeysByPurpose MLSPublicKeys -> Sem r (MLSKeysByPurpose (MLSKeys SomeKey))
Documentation
assertMLSEnabled :: (Member (Input Env) r, Member (ErrorS 'MLSNotEnabled) r) => Sem r () Source #
Fail if MLS is not enabled. Only use this function at the beginning of an MLS endpoint, NOT in utility functions.
postMLSMessage :: (HasProposalEffects r, Member (ErrorS 'ConvAccessDenied) r, Member (ErrorS 'ConvMemberNotFound) r, Member (ErrorS 'ConvNotFound) r, Member (ErrorS 'MLSNotEnabled) r, Member (ErrorS 'MissingLegalholdConsent) r, Member (ErrorS 'MLSClientSenderUserMismatch) r, Member (ErrorS 'MLSCommitMissingReferences) r, Member (ErrorS 'MLSGroupConversationMismatch) r, Member (ErrorS 'MLSProposalNotFound) r, Member (ErrorS 'MLSSelfRemovalNotAllowed) r, Member (ErrorS 'MLSStaleMessage) r, Member (ErrorS 'MLSUnsupportedMessage) r, Member (ErrorS 'MLSSubConvClientNotInParent) r, Member SubConversationStore r) => Local x -> Qualified UserId -> ClientId -> ConvType -> Qualified ConvOrSubConvId -> Maybe ConnId -> IncomingMessage -> Sem r [LocalConversationUpdate] Source #
postMLSCommitBundleFromLocalUser :: (Member (ErrorS MLSLegalholdIncompatible) r, Member Random r, Member Resource r, Member SubConversationStore r, Members MLSBundleStaticErrors r, HasProposalEffects r) => Local UserId -> ClientId -> ConnId -> RawMLS CommitBundle -> Sem r MLSMessageSendingStatus Source #
postMLSMessageFromLocalUser :: (HasProposalEffects r, Member (ErrorS 'ConvAccessDenied) r, Member (ErrorS 'ConvMemberNotFound) r, Member (ErrorS 'ConvNotFound) r, Member (ErrorS 'MissingLegalholdConsent) r, Member (ErrorS 'MLSClientSenderUserMismatch) r, Member (ErrorS 'MLSCommitMissingReferences) r, Member (ErrorS 'MLSGroupConversationMismatch) r, Member (ErrorS 'MLSNotEnabled) r, Member (ErrorS 'MLSProposalNotFound) r, Member (ErrorS 'MLSSelfRemovalNotAllowed) r, Member (ErrorS 'MLSStaleMessage) r, Member (ErrorS 'MLSUnsupportedMessage) r, Member (ErrorS 'MLSSubConvClientNotInParent) r, Member SubConversationStore r) => Local UserId -> ClientId -> ConnId -> RawMLS Message -> Sem r MLSMessageSendingStatus Source #
getMLSPublicKeys :: (Member (Input Env) r, Member (ErrorS 'MLSNotEnabled) r, Member (Error InternalError) r) => Maybe MLSPublicKeyFormat -> Sem r (MLSKeysByPurpose (MLSKeys SomeKey)) Source #
formatPublicKeys :: Member (Error InternalError) r => Maybe MLSPublicKeyFormat -> MLSKeysByPurpose MLSPublicKeys -> Sem r (MLSKeysByPurpose (MLSKeys SomeKey)) Source #