Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- derefOrCheckProposal :: (Member (Error MLSProtocolError) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r, Member ProposalStore r, Member (State IndexMap) r, Member (ErrorS 'MLSProposalNotFound) r) => Epoch -> CipherSuiteTag -> GroupId -> ProposalOrRef -> Sem r Proposal
- checkProposal :: (Member (Error MLSProtocolError) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r) => CipherSuiteTag -> IndexMap -> Proposal -> Sem r ()
- processProposal :: HasProposalEffects r => (Member (ErrorS 'ConvNotFound) r, Member (ErrorS 'MLSStaleMessage) r) => Qualified UserId -> Local ConvOrSubConv -> GroupId -> Epoch -> IncomingPublicMessageContent -> RawMLS Proposal -> Sem r ()
- proposalProcessingStage :: Proposal -> ProposalProcessingStage
- addProposedClient :: Member (State IndexMap) r => ClientIdentity -> Sem r ProposalAction
- applyProposals :: (Member (State IndexMap) r, Member (Error MLSProtocolError) r, Member (ErrorS 'MLSUnsupportedProposal) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r) => CipherSuiteTag -> GroupId -> [Proposal] -> Sem r ProposalAction
- paAddClient :: ClientIdentity -> LeafIndex -> ProposalAction
- paRemoveClient :: ClientIdentity -> LeafIndex -> ProposalAction
- data ProposalAction = ProposalAction {}
- type HasProposalEffects r = (Member BackendNotificationQueueAccess r, Member BrigAccess r, Member ConversationStore r, Member NotificationSubsystem r, Member (Error InternalError) r, Member (Error FederationError) r, Member (Error MLSProposalFailure) r, Member (Error MLSProtocolError) r, Member (ErrorS 'MLSClientMismatch) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r, Member (ErrorS 'MLSUnsupportedProposal) r, Member (Error NonFederatingBackends) r, Member (Error UnreachableBackends) r, Member ExternalAccess r, Member FederatorAccess r, Member (Input Env) r, Member (Input (Local ())) r, Member (Input Opts) r, Member (Input UTCTime) r, Member LegalHoldStore r, Member MemberStore r, Member ProposalStore r, Member TeamStore r, Member TeamStore r, Member TinyLog r)
Proposal processing
derefOrCheckProposal :: (Member (Error MLSProtocolError) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r, Member ProposalStore r, Member (State IndexMap) r, Member (ErrorS 'MLSProposalNotFound) r) => Epoch -> CipherSuiteTag -> GroupId -> ProposalOrRef -> Sem r Proposal Source #
checkProposal :: (Member (Error MLSProtocolError) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r) => CipherSuiteTag -> IndexMap -> Proposal -> Sem r () Source #
processProposal :: HasProposalEffects r => (Member (ErrorS 'ConvNotFound) r, Member (ErrorS 'MLSStaleMessage) r) => Qualified UserId -> Local ConvOrSubConv -> GroupId -> Epoch -> IncomingPublicMessageContent -> RawMLS Proposal -> Sem r () Source #
proposalProcessingStage :: Proposal -> ProposalProcessingStage Source #
addProposedClient :: Member (State IndexMap) r => ClientIdentity -> Sem r ProposalAction Source #
applyProposals :: (Member (State IndexMap) r, Member (Error MLSProtocolError) r, Member (ErrorS 'MLSUnsupportedProposal) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r) => CipherSuiteTag -> GroupId -> [Proposal] -> Sem r ProposalAction Source #
Proposal actions
paAddClient :: ClientIdentity -> LeafIndex -> ProposalAction Source #
Types
data ProposalAction Source #
Instances
Monoid ProposalAction Source # | |
Defined in Galley.API.MLS.Proposal mappend :: ProposalAction -> ProposalAction -> ProposalAction # mconcat :: [ProposalAction] -> ProposalAction # | |
Semigroup ProposalAction Source # | |
Defined in Galley.API.MLS.Proposal (<>) :: ProposalAction -> ProposalAction -> ProposalAction # sconcat :: NonEmpty ProposalAction -> ProposalAction # stimes :: Integral b => b -> ProposalAction -> ProposalAction # | |
Show ProposalAction Source # | |
Defined in Galley.API.MLS.Proposal showsPrec :: Int -> ProposalAction -> ShowS # show :: ProposalAction -> String # showList :: [ProposalAction] -> ShowS # |
type HasProposalEffects r = (Member BackendNotificationQueueAccess r, Member BrigAccess r, Member ConversationStore r, Member NotificationSubsystem r, Member (Error InternalError) r, Member (Error FederationError) r, Member (Error MLSProposalFailure) r, Member (Error MLSProtocolError) r, Member (ErrorS 'MLSClientMismatch) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r, Member (ErrorS 'MLSUnsupportedProposal) r, Member (Error NonFederatingBackends) r, Member (Error UnreachableBackends) r, Member ExternalAccess r, Member FederatorAccess r, Member (Input Env) r, Member (Input (Local ())) r, Member (Input Opts) r, Member (Input UTCTime) r, Member LegalHoldStore r, Member MemberStore r, Member ProposalStore r, Member TeamStore r, Member TeamStore r, Member TinyLog r) Source #