bb::avm2::TaggedValue Class Reference

#include <tagged_value.hpp>

Public Types
using	value_type = std::variant< uint8_t, uint1_t, uint16_t, uint32_t, uint64_t, uint128_t, FF >

Public Member Functions
	TaggedValue ()=default
TaggedValue	operator+ (const TaggedValue &other) const
TaggedValue	operator- (const TaggedValue &other) const
TaggedValue	operator* (const TaggedValue &other) const
TaggedValue	operator/ (const TaggedValue &other) const
TaggedValue	operator& (const TaggedValue &other) const
TaggedValue	operator| (const TaggedValue &other) const
TaggedValue	operator^ (const TaggedValue &other) const
TaggedValue	operator~ () const
TaggedValue	operator<< (const TaggedValue &other) const
TaggedValue	operator>> (const TaggedValue &other) const
bool	operator< (const TaggedValue &other) const
bool	operator> (const TaggedValue &other) const
bool	operator<= (const TaggedValue &other) const
bool	operator== (const TaggedValue &other) const
bool	operator!= (const TaggedValue &other) const
FF	as_ff () const
	operator FF () const
ValueTag	get_tag () const
std::string	to_string () const
template<typename T >
T	as () const
template<typename T >
T	to () const
std::size_t	hash () const noexcept

Static Public Member Functions
template<typename T >
static TaggedValue	from (T value)
static TaggedValue	from_tag (ValueTag tag, FF value)
static TaggedValue	from_tag_truncating (ValueTag tag, FF value)

Private Member Functions
	TaggedValue (value_type value)

Private Attributes
value_type	value

Detailed Description

Definition at line 70 of file tagged_value.hpp.

Member Typedef Documentation

value_type

using bb::avm2::TaggedValue::value_type = std::variant<uint8_t, uint1_t, uint16_t, uint32_t, uint64_t, uint128_t, FF>

Definition at line 76 of file tagged_value.hpp.

Constructor & Destructor Documentation

TaggedValue() [1/2]

bb::avm2::TaggedValue::TaggedValue ( )

default

TaggedValue() [2/2]

bb::avm2::TaggedValue::TaggedValue ( TaggedValue::value_type  value_ )

private

Definition at line 223 of file tagged_value.cpp.

Member Function Documentation

as()

template<typename T >

T bb::avm2::TaggedValue::as ( ) const

inline

Definition at line 116 of file tagged_value.hpp.

as_ff()

FF bb::avm2::TaggedValue::as_ff

(

)

const

Definition at line 368 of file tagged_value.cpp.

from()

template<typename T >

static TaggedValue bb::avm2::TaggedValue::from ( T  value )

inlinestatic

Definition at line 82 of file tagged_value.hpp.

from_tag()

TaggedValue bb::avm2::TaggedValue::from_tag ( ValueTag  tag, FF  value  )

static

Definition at line 227 of file tagged_value.cpp.

from_tag_truncating()

TaggedValue bb::avm2::TaggedValue::from_tag_truncating ( ValueTag  tag, FF  value  )

static

Definition at line 262 of file tagged_value.cpp.

get_tag()

ValueTag bb::avm2::TaggedValue::get_tag

(

)

const

Definition at line 378 of file tagged_value.cpp.

hash()

std::size_t bb::avm2::TaggedValue::hash ( ) const

inlinenoexcept

Definition at line 150 of file tagged_value.hpp.

operator FF()

bb::avm2::TaggedValue::operator FF ( ) const

inline

Definition at line 111 of file tagged_value.hpp.

operator!=()

bool bb::avm2::TaggedValue::operator!=

(

const TaggedValue &

other

)

const

Definition at line 362 of file tagged_value.cpp.

operator&()

TaggedValue bb::avm2::TaggedValue::operator&

(

const TaggedValue &

other

)

const

Definition at line 306 of file tagged_value.cpp.

operator*()

TaggedValue bb::avm2::TaggedValue::operator*

(

const TaggedValue &

other

)

const

Definition at line 295 of file tagged_value.cpp.

operator+()

TaggedValue bb::avm2::TaggedValue::operator+

(

const TaggedValue &

other

)

const

Definition at line 285 of file tagged_value.cpp.

operator-()

TaggedValue bb::avm2::TaggedValue::operator-

(

const TaggedValue &

other

)

const

Definition at line 290 of file tagged_value.cpp.

operator/()

TaggedValue bb::avm2::TaggedValue::operator/

(

const TaggedValue &

other

)

const

Definition at line 300 of file tagged_value.cpp.

operator<()

bool bb::avm2::TaggedValue::operator<

(

const TaggedValue &

other

)

const

Definition at line 338 of file tagged_value.cpp.

operator<<()

TaggedValue bb::avm2::TaggedValue::operator<<

(

const TaggedValue &

other

)

const

Definition at line 327 of file tagged_value.cpp.

operator<=()

bool bb::avm2::TaggedValue::operator<=

(

const TaggedValue &

other

)

const

Definition at line 350 of file tagged_value.cpp.

operator==()

bool bb::avm2::TaggedValue::operator==

(

const TaggedValue &

other

)

const

Definition at line 356 of file tagged_value.cpp.

operator>()

bool bb::avm2::TaggedValue::operator>

(

const TaggedValue &

other

)

const

Definition at line 344 of file tagged_value.cpp.

operator>>()

TaggedValue bb::avm2::TaggedValue::operator>>

(

const TaggedValue &

other

)

const

Definition at line 332 of file tagged_value.cpp.

operator^()

TaggedValue bb::avm2::TaggedValue::operator^

(

const TaggedValue &

other

)

const

Definition at line 316 of file tagged_value.cpp.

operator|()

TaggedValue bb::avm2::TaggedValue::operator|

(

const TaggedValue &

other

)

const

Definition at line 311 of file tagged_value.cpp.

operator~()

TaggedValue bb::avm2::TaggedValue::operator~

(

)

const

Definition at line 321 of file tagged_value.cpp.

to()

template<typename T >

T bb::avm2::TaggedValue::to ( ) const

inline

Definition at line 128 of file tagged_value.hpp.

to_string()

std::string bb::avm2::TaggedValue::to_string

(

)

const

Definition at line 387 of file tagged_value.cpp.

Member Data Documentation

value

value_type bb::avm2::TaggedValue::value

private

Definition at line 154 of file tagged_value.hpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/vm2/common/tagged_value.hpp
• src/barretenberg/vm2/common/tagged_value.cpp