MagicWormhole

Client/server

Establishing a session

data Session

runClient

data AppID

data Side

generateSide

Locating the server

data WebSocketEndpoint

parseWebSocketEndpoint

Operations on the server

allocate

data Nameplate

list

claim

data Mailbox

open

close

Errors

data ServerError

data ClientError

Peer-to-peer

Establishing a secure connection

withEncryptedConnection

data Connection

data EncryptedConnection

deriveKey

Errors

data PeerError

data VersionsError

data PakeError

Communicating with a peer

sendMessage

receiveMessage

data PlainText

Magic Wormhole applications

data Offer

data DirectoryMode