class

Spacetime::SATS::SumValue

Inherits Reference < Object

Represents a structural sum value (a UInt8 variant tag + AlgebraicValue payload).

Constructors

decode_bsatn(schema : SumType, decoder : BSATN::Decoder, typespace : Typespace | Nil = nil) : self
Source
new(tag : UInt8, value : AlgebraicValue = AlgebraicValue.unit)
Source

Instance methods

==(other : SumValue) : Bool
Source
encode_bsatn(encoder : BSATN::Encoder) : Nil
Source
tag=(tag : UInt8)
Source
value
Source
value=(value : AlgebraicValue)
Source