Enum Constant 

pub enum Constant<'a> {
    Integer(&'a Integer),
    ByteString(&'a [u8]),
    String(&'a str),
    Boolean(bool),
    Data(&'a PlutusData<'a>),
    ProtoList(&'a Type<'a>, &'a [&'a Constant<'a>]),
    ProtoArray(&'a Type<'a>, &'a [&'a Constant<'a>]),
    ProtoPair(&'a Type<'a>, &'a Type<'a>, &'a Constant<'a>, &'a Constant<'a>),
    Unit,
    Bls12_381G1Element(&'a blst_p1),
    Bls12_381G2Element(&'a blst_p2),
    Bls12_381MlResult(&'a blst_fp12),
}

Variants

Integer(&'a Integer)

ByteString(&'a [u8])

String(&'a str)

Boolean(bool)

Data(&'a PlutusData<'a>)

ProtoList(&'a Type<'a>, &'a [&'a Constant<'a>])

ProtoArray(&'a Type<'a>, &'a [&'a Constant<'a>])

ProtoPair(&'a Type<'a>, &'a Type<'a>, &'a Constant<'a>, &'a Constant<'a>)

Unit

Bls12_381G1Element(&'a blst_p1)

Bls12_381G2Element(&'a blst_p2)

Bls12_381MlResult(&'a blst_fp12)

Implementations

impl<'a> Constant<'a>

pub fn integer(arena: &'a Arena, i: &'a Integer) -> &'a Constant<'a>

pub fn integer_from(arena: &'a Arena, i: i128) -> &'a Constant<'a>

pub fn byte_string(arena: &'a Arena, bytes: &'a [u8]) -> &'a Constant<'a>

pub fn string(arena: &'a Arena, s: &'a str) -> &'a Constant<'a>

pub fn bool(arena: &'a Arena, v: bool) -> &'a Constant<'a>

pub fn data(arena: &'a Arena, d: &'a PlutusData<'a>) -> &'a Constant<'a>

pub fn unit(arena: &'a Arena) -> &'a Constant<'a>

pub fn proto_list( arena: &'a Arena, inner: &'a Type<'a>, values: &'a [&'a Constant<'a>], ) -> &'a Constant<'a>

pub fn proto_array( arena: &'a Arena, inner: &'a Type<'a>, values: &'a [&'a Constant<'a>], ) -> &'a Constant<'a>

pub fn proto_pair( arena: &'a Arena, first_type: &'a Type<'a>, second_type: &'a Type<'a>, first_value: &'a Constant<'a>, second_value: &'a Constant<'a>, ) -> &'a Constant<'a>

pub fn g1(arena: &'a Arena, g1: &'a blst_p1) -> &'a Constant<'a>

pub fn g2(arena: &'a Arena, g2: &'a blst_p2) -> &'a Constant<'a>

pub fn ml_result(arena: &'a Arena, ml_res: &'a blst_fp12) -> &'a Constant<'a>

pub fn unwrap_data<V>( &'a self, ) -> Result<&'a PlutusData<'a>, MachineError<'a, V>>

where V: Eval<'a>,

pub fn type_of(&self, arena: &'a Arena) -> &'a Type<'a>

impl<'a> Constant<'a>

pub fn value<V>(&'a self, arena: &'a Arena) -> &'a Value<'a, V>

where V: Eval<'a>,

Trait Implementations

impl<'a> Debug for Constant<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> PartialEq for Constant<'a>

fn eq(&self, other: &Constant<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> StructuralPartialEq for Constant<'a>