class

Spacetime::SATS::ProductValue

Represents a structural product value (an ordered sequence of AlgebraicValue fields).

Constructors

decode_bsatn(schema : ProductType, decoder : BSATN::Decoder, typespace : Typespace | Nil = nil) : self

new(elements : Array(AlgebraicValue) = [] of AlgebraicValue)

unit

==(other : ProductValue) : Bool

[](index : Int) : AlgebraicValue

[]?(index : Int) : AlgebraicValue | Nil

elements

elements=(elements : Array(AlgebraicValue))

encode_bsatn(encoder : BSATN::Encoder) : Nil

field(schema : ProductType, name : String) : AlgebraicValue | Nil

Looks up a field value by column name given the corresponding ProductType schema.

size