JAR: Join-Accumulate Refine

16.3. Extrinsic Encoders🔗

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

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

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

Encode a TicketProof for the tickets extrinsic.

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

Encode an Assurance. GP §C.4.

🔗def
Jar.Codec.encodeJudgment [Jar.JarConfig] (j : Jar.Judgment) : ByteArray
Jar.Codec.encodeJudgment [Jar.JarConfig]
  (j : Jar.Judgment) : ByteArray

Encode a single Judgment.

🔗def
Jar.Codec.encodeVerdict [Jar.JarConfig] (v : Jar.Verdict) : ByteArray
Jar.Codec.encodeVerdict [Jar.JarConfig]
  (v : Jar.Verdict) : ByteArray

Encode a Verdict.

🔗def
Jar.Codec.encodeCulprit (c : Jar.Culprit) : ByteArray
Jar.Codec.encodeCulprit
  (c : Jar.Culprit) : ByteArray

Encode a Culprit.

🔗def
Jar.Codec.encodeFault (f : Jar.Fault) : ByteArray
Jar.Codec.encodeFault (f : Jar.Fault) :
  ByteArray

Encode a Fault.

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

Encode a Guarantee. GP §C.4.

🔗def
Jar.Codec.encodeDisputes [Jar.JarConfig] (d : Jar.DisputesExtrinsic) :
  ByteArray
Jar.Codec.encodeDisputes [Jar.JarConfig]
  (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.