tagged_value.hpp File Reference

#include <cstdint>
#include <functional>
#include <string>
#include <variant>
#include "barretenberg/numeric/uint128/uint128.hpp"
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/common/uint1.hpp"

Go to the source code of this file.

Classes
class	bb::avm2::TagMismatchException
class	bb::avm2::InvalidOperationTag
class	bb::avm2::DivisionByZero
class	bb::avm2::TaggedValue

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	std
	STL namespace.

Enumerations
enum class	bb::avm2::ValueTag {   bb::avm2::FF = MEM_TAG_FF , bb::avm2::U1 = MEM_TAG_U1 , bb::avm2::U8 = MEM_TAG_U8 , bb::avm2::U16 = MEM_TAG_U16 ,   bb::avm2::U32 = MEM_TAG_U32 , bb::avm2::U64 = MEM_TAG_U64 , bb::avm2::U128 = MEM_TAG_U128 , bb::avm2::MAX = U128 }

Functions
template<typename T >
ValueTag	bb::avm2::tag_for_type ()
uint8_t	bb::avm2::get_tag_bits (ValueTag tag)
uint8_t	bb::avm2::get_tag_bytes (ValueTag tag)
uint256_t	bb::avm2::get_tag_max_value (ValueTag tag)
std::string	std::to_string (bb::avm2::ValueTag tag)
std::string	std::to_string (const bb::avm2::TaggedValue &val)