| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Test.MLS
Synopsis
- testSendMessageNoReturnToSender :: HasCallStack => App ()
- testPastStaleApplicationMessage :: HasCallStack => Domain -> App ()
- testFutureStaleApplicationMessage :: HasCallStack => App ()
- testMixedProtocolUpgrade :: HasCallStack => Domain -> App ()
- testMixedProtocolNonTeam :: HasCallStack => Domain -> App ()
- testMixedProtocolAddUsers :: HasCallStack => Domain -> Ciphersuite -> App ()
- testMixedProtocolUserLeaves :: HasCallStack => Domain -> App ()
- testMixedProtocolAddPartialClients :: HasCallStack => Domain -> App ()
- testMixedProtocolRemovePartialClients :: HasCallStack => Domain -> App ()
- testMixedProtocolAppMessagesAreDenied :: HasCallStack => Domain -> App ()
- testMLSProtocolUpgrade :: HasCallStack => Domain -> App ()
- testAddUserSimple :: HasCallStack => Ciphersuite -> CredentialType -> App ()
- testRemoteAddUser :: HasCallStack => App ()
- testRemoteRemoveClient :: HasCallStack => Ciphersuite -> App ()
- testRemoteRemoveCreatorClient :: HasCallStack => Ciphersuite -> App ()
- testCreateSubConv :: HasCallStack => Ciphersuite -> App ()
- testCreateSubConvProteus :: App ()
- testSelfConversation :: Version5 -> App ()
- testFirstCommitAllowsPartialAdds :: HasCallStack => App ()
- testAddUserPartial :: HasCallStack => App ()
- testRemoveClientsIncomplete :: HasCallStack => App ()
- testAdminRemovesUserFromConv :: HasCallStack => Ciphersuite -> App ()
- testLocalWelcome :: HasCallStack => App ()
- testStaleCommit :: HasCallStack => App ()
- testPropInvalidEpoch :: HasCallStack => App ()
- testPropUnsupported :: HasCallStack => App ()
- testAddUserBareProposalCommit :: HasCallStack => App ()
- testPropExistingConv :: HasCallStack => App ()
- testCommitNotReferencingAllProposals :: HasCallStack => App ()
- testUnsupportedCiphersuite :: HasCallStack => App ()
- testBackendRemoveProposal :: HasCallStack => Ciphersuite -> Domain -> App ()
Documentation
testPastStaleApplicationMessage :: HasCallStack => Domain -> App () Source #
testMixedProtocolUpgrade :: HasCallStack => Domain -> App () Source #
testMixedProtocolNonTeam :: HasCallStack => Domain -> App () Source #
testMixedProtocolAddUsers :: HasCallStack => Domain -> Ciphersuite -> App () Source #
testMixedProtocolUserLeaves :: HasCallStack => Domain -> App () Source #
testMixedProtocolAddPartialClients :: HasCallStack => Domain -> App () Source #
testMixedProtocolRemovePartialClients :: HasCallStack => Domain -> App () Source #
testMixedProtocolAppMessagesAreDenied :: HasCallStack => Domain -> App () Source #
testMLSProtocolUpgrade :: HasCallStack => Domain -> App () Source #
testAddUserSimple :: HasCallStack => Ciphersuite -> CredentialType -> App () Source #
testRemoteAddUser :: HasCallStack => App () Source #
testRemoteRemoveClient :: HasCallStack => Ciphersuite -> App () Source #
testRemoteRemoveCreatorClient :: HasCallStack => Ciphersuite -> App () Source #
testCreateSubConv :: HasCallStack => Ciphersuite -> App () Source #
testCreateSubConvProteus :: App () Source #
testSelfConversation :: Version5 -> App () Source #
testFirstCommitAllowsPartialAdds :: HasCallStack => App () Source #
FUTUREWORK: Don't allow partial adds, not even in the first commit
testAddUserPartial :: HasCallStack => App () Source #
testRemoveClientsIncomplete :: HasCallStack => App () Source #
admin removes user from a conversation but doesn't list all clients
testAdminRemovesUserFromConv :: HasCallStack => Ciphersuite -> App () Source #
testLocalWelcome :: HasCallStack => App () Source #
testStaleCommit :: HasCallStack => App () Source #
testPropInvalidEpoch :: HasCallStack => App () Source #
testPropUnsupported :: HasCallStack => App () Source #
testAddUserBareProposalCommit :: HasCallStack => App () Source #
testPropExistingConv :: HasCallStack => App () Source #
testUnsupportedCiphersuite :: HasCallStack => App () Source #
testBackendRemoveProposal :: HasCallStack => Ciphersuite -> Domain -> App () Source #