JAR: JAM Axiomatic Reference

11.3. Extrinsic Encoders🔗

🔗def
Jar.Codec.encodeTicket [Jar.JamConfig] (t : Jar.Ticket) : ByteArray
Jar.Codec.encodeTicket [Jar.JamConfig]
  (t : Jar.Ticket) : ByteArray

Encode a Ticket. GP eq (C.34).

🔗def
Jar.Codec.encodeTicketProof [Jar.JamConfig] (tp : Jar.TicketProof) :
  ByteArray
Jar.Codec.encodeTicketProof
  [Jar.JamConfig] (tp : Jar.TicketProof) :
  ByteArray

Encode a TicketProof for the tickets extrinsic.

🔗def
Jar.Codec.encodeAssurance [Jar.JamConfig] (a : Jar.Assurance) :
  ByteArray
Jar.Codec.encodeAssurance [Jar.JamConfig]
  (a : Jar.Assurance) : ByteArray

Encode an Assurance. GP §C.4.

🔗def
Jar.Codec.encodeGuarantee [Jar.JamConfig] (g : Jar.Guarantee) :
  ByteArray
Jar.Codec.encodeGuarantee [Jar.JamConfig]
  (g : Jar.Guarantee) : ByteArray

Encode a Guarantee. GP §C.4.

🔗def
Jar.Codec.encodeDisputes [Jar.JamConfig] (d : Jar.DisputesExtrinsic) :
  ByteArray
Jar.Codec.encodeDisputes [Jar.JamConfig]
  (d : Jar.DisputesExtrinsic) : ByteArray

Encode the disputes extrinsic. GP §C.4.

🔗def
Jar.Codec.encodePreimages (ps : Jar.PreimagesExtrinsic) : ByteArray
Jar.Codec.encodePreimages
  (ps : Jar.PreimagesExtrinsic) :
  ByteArray

Encode the preimages extrinsic. GP §C.4.