JAR: JAM Axiomatic Reference

11.2. Work Types🔗

🔗def
Jar.Codec.encodeWorkResult (r : Jar.WorkResult) : ByteArray
Jar.Codec.encodeWorkResult
  (r : Jar.WorkResult) : ByteArray

O(result) : Work result encoding. GP eq (C.3). ok(blob) → 0 ++ ↕blob outOfGas → 1, panic → 2, badExports → 3, oversize → 4, bad → 5, big → 6.

🔗def
Jar.Codec.encodeAvailSpec (a : Jar.AvailabilitySpec) : ByteArray
Jar.Codec.encodeAvailSpec
  (a : Jar.AvailabilitySpec) : ByteArray

Encode an AvailabilitySpec. GP §C.4.

🔗def
Jar.Codec.encodeRefinementContext (c : Jar.RefinementContext) :
  ByteArray
Jar.Codec.encodeRefinementContext
  (c : Jar.RefinementContext) : ByteArray

Encode a RefinementContext. GP §C.4.

🔗def
Jar.Codec.encodeWorkDigest (d : Jar.WorkDigest) : ByteArray
Jar.Codec.encodeWorkDigest
  (d : Jar.WorkDigest) : ByteArray

Encode a WorkDigest. GP §C.4.

🔗def
Jar.Codec.encodeWorkReport [Jar.JamConfig] (wr : Jar.WorkReport) :
  ByteArray
Jar.Codec.encodeWorkReport [Jar.JamConfig]
  (wr : Jar.WorkReport) : ByteArray

Encode a WorkReport. GP §C.4.