Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
getCommitData :: (HasProposalEffects r, Member (ErrorS 'MLSProposalNotFound) r) => ClientIdentity -> Local ConvOrSubConv -> Epoch -> CipherSuiteTag -> IncomingBundle -> Sem r ProposalAction Source #
getExternalCommitData :: forall r. (Member (Error MLSProtocolError) r, Member (ErrorS 'MLSStaleMessage) r, Member (ErrorS 'MLSUnsupportedProposal) r, Member (ErrorS 'MLSInvalidLeafNodeIndex) r) => ClientIdentity -> Local ConvOrSubConv -> Epoch -> Commit -> Sem r ExternalCommitAction Source #
processInternalCommit :: forall r. (HasProposalEffects r, Member (ErrorS 'ConvNotFound) r, Member (ErrorS 'MLSCommitMissingReferences) r, Member (ErrorS 'MLSSelfRemovalNotAllowed) r, Member (ErrorS 'MLSStaleMessage) r, Member (ErrorS 'MissingLegalholdConsent) r, Member SubConversationStore r, Member Resource r, Member Random r) => ClientIdentity -> Maybe ConnId -> Local ConvOrSubConv -> CipherSuiteTag -> Bool -> Epoch -> ProposalAction -> Commit -> Sem r [LocalConversationUpdate] Source #
processExternalCommit :: forall r. (Member (Error FederationError) r, Member (ErrorS 'MLSStaleMessage) r, Member (ErrorS 'MLSSubConvClientNotInParent) r, Member Resource r, HasProposalActionEffects r) => ClientIdentity -> Local ConvOrSubConv -> CipherSuiteTag -> Bool -> Epoch -> ExternalCommitAction -> Maybe UpdatePath -> Sem r () Source #