JAR: Join-Accumulate Refine

16.7. Type-Specific Decoders🔗

🔗def
Jar.Codec.decodeTicketD [Jar.JarConfig] : Decoder Jar.Ticket
Jar.Codec.decodeTicketD [Jar.JarConfig] :
  Decoder Jar.Ticket

Decode a Ticket. Inverse of encodeTicket.

🔗def
Jar.Codec.decodeTicketProofD [Jar.JarConfig] : Decoder Jar.TicketProof
Jar.Codec.decodeTicketProofD
  [Jar.JarConfig] :
  Decoder Jar.TicketProof

Decode a TicketProof. Inverse of encodeTicketProof.

🔗def
Jar.Codec.decodeAssuranceD [Jar.JarConfig] : Decoder Jar.Assurance
Jar.Codec.decodeAssuranceD
  [Jar.JarConfig] : Decoder Jar.Assurance

Decode an Assurance. Inverse of encodeAssurance.

🔗def
Jar.Codec.decodeJudgmentD [Jar.JarConfig] : Decoder Jar.Judgment
Jar.Codec.decodeJudgmentD
  [Jar.JarConfig] : Decoder Jar.Judgment

Decode a Judgment. Inverse of encodeJudgment.

🔗def
Jar.Codec.decodeVerdictD [Jar.JarConfig] : Decoder Jar.Verdict
Jar.Codec.decodeVerdictD [Jar.JarConfig] :
  Decoder Jar.Verdict

Decode a Verdict. Inverse of encodeVerdict.

🔗def
Jar.Codec.decodeCulpritD : Decoder Jar.Culprit
Jar.Codec.decodeCulpritD :
  Decoder Jar.Culprit

Decode a Culprit. Inverse of encodeCulprit.

🔗def
Jar.Codec.decodeFaultD : Decoder Jar.Fault
Jar.Codec.decodeFaultD : Decoder Jar.Fault

Decode a Fault. Inverse of encodeFault.

🔗def
Jar.Codec.decodeDisputesD [Jar.JarConfig] :
  Decoder Jar.DisputesExtrinsic
Jar.Codec.decodeDisputesD
  [Jar.JarConfig] :
  Decoder Jar.DisputesExtrinsic

Decode the disputes extrinsic. Inverse of encodeDisputes.

🔗def
Jar.Codec.decodePreimagesD : Decoder Jar.PreimagesExtrinsic
Jar.Codec.decodePreimagesD :
  Decoder Jar.PreimagesExtrinsic

Decode the preimages extrinsic. Inverse of encodePreimages.

🔗def
Jar.Codec.decodeAvailSpecD [Jar.JarConfig] :
  Decoder Jar.AvailabilitySpec
Jar.Codec.decodeAvailSpecD
  [Jar.JarConfig] :
  Decoder Jar.AvailabilitySpec

Decode an AvailabilitySpec. Inverse of encodeAvailSpec.

🔗def
Jar.Codec.decodeRefinementContextD : Decoder Jar.RefinementContext
Jar.Codec.decodeRefinementContextD :
  Decoder Jar.RefinementContext

Decode a RefinementContext. Inverse of encodeRefinementContext.

🔗def
Jar.Codec.decodeWorkDigestD : Decoder Jar.WorkDigest
Jar.Codec.decodeWorkDigestD :
  Decoder Jar.WorkDigest

Decode a WorkDigest. Inverse of encodeWorkDigest.

🔗def
Jar.Codec.decodeWorkReportD [Jar.JarConfig] : Decoder Jar.WorkReport
Jar.Codec.decodeWorkReportD
  [Jar.JarConfig] : Decoder Jar.WorkReport

Decode a WorkReport. Inverse of encodeWorkReport.

🔗def
Jar.Codec.decodeGuaranteeD [Jar.JarConfig] : Decoder Jar.Guarantee
Jar.Codec.decodeGuaranteeD
  [Jar.JarConfig] : Decoder Jar.Guarantee

Decode a Guarantee. Inverse of encodeGuarantee.

🔗def
Jar.Codec.decodeEpochMarkerD [Jar.JarConfig] : Decoder Jar.EpochMarker
Jar.Codec.decodeEpochMarkerD
  [Jar.JarConfig] :
  Decoder Jar.EpochMarker

Decode an EpochMarker. Inverse of encodeEpochMarker. GP#514: variable-length validators when variableValidators.

🔗def
Jar.Codec.decodeUnsignedHeaderD [Jar.JarConfig] : Decoder Jar.Header
Jar.Codec.decodeUnsignedHeaderD
  [Jar.JarConfig] : Decoder Jar.Header

Decode an unsigned header. Inverse of encodeUnsignedHeader.

🔗def
Jar.Codec.decodeHeaderD [Jar.JarConfig] : Decoder Jar.Header
Jar.Codec.decodeHeaderD [Jar.JarConfig] :
  Decoder Jar.Header

Decode a full header. Inverse of encodeHeader.

🔗def
Jar.Codec.decodeExtrinsicD [Jar.JarConfig] : Decoder Jar.Extrinsic
Jar.Codec.decodeExtrinsicD
  [Jar.JarConfig] : Decoder Jar.Extrinsic

Decode the extrinsic. Inverse of encodeExtrinsic.

🔗def
Jar.Codec.decodeBlockD [Jar.JarConfig] : Decoder Jar.Block
Jar.Codec.decodeBlockD [Jar.JarConfig] :
  Decoder Jar.Block

Decode a Block. Inverse of encodeBlock.

🔗def
Jar.Codec.decodeWorkItemD : Decoder Jar.WorkItem
Jar.Codec.decodeWorkItemD :
  Decoder Jar.WorkItem

Decode a WorkItem. Inverse of encodeWorkItem (if it existed). Format: serviceId(4) ++ codeHash(32) ++ payload(↕) ++ gasLimit(8) ++ accGasLimit(8) ++ exportsCount(𝓔) ++ imports(count-prefixed array of (hash(32), nat(𝓔))) ++ extrinsics(count-prefixed array of (hash(32), nat(𝓔)))

🔗def
Jar.Codec.decodeWorkPackageD : Decoder Jar.WorkPackage
Jar.Codec.decodeWorkPackageD :
  Decoder Jar.WorkPackage

Decode a WorkPackage. Inverse of encodeWorkPackage (if it existed). Format: authToken(↕) ++ authCodeHost(4) ++ authCodeHash(32) ++ authConfig(↕) ++ context(RefinementContext) ++ items(count-prefixed array of WorkItem)