module ToxData where import Crypto -- data DHTPacketKind = Ping | Pong | GetNodes | SendNodes data DHTPacket a = DHTPacket { dhtSender :: PublicKey , dhtEncrypted :: WithNonce24 (Encrypted (WithNonce8 a)) } data WithNonce8 a = WithNonce8 a Nonce8 data WithNonce24 a = WithNonce24 a Nonce24 data AliasedRequest a = AliasedRequest { alias :: PublicKey , aliasPayload :: WithNonce24 (Encrypted (WithNonce8 a)) } data ForwardedRequest a = ForwardedRequest { forwardTo :: PublicKey , forwarded :: AliasedRequest a }