pub trait ConstantBag: Sized + Copy {
    type Constant: Constant;

    // Required methods
    fn make_constant<C>(
        &self,
        constant: BorrowedConstant<'_, C>
    ) -> Self::Constant
       where C: Constant;
    fn make_int(&self, value: BigInt) -> Self::Constant;
    fn make_tuple(
        &self,
        elements: impl Iterator<Item = Self::Constant>
    ) -> Self::Constant;
    fn make_code(&self, code: CodeObject<Self::Constant>) -> Self::Constant;
    fn make_name(&self, name: &str) -> <Self::Constant as Constant>::Name;
}
Expand description

A Constant Bag

Required Associated Types§

Required Methods§

source

fn make_constant<C>(&self, constant: BorrowedConstant<'_, C>) -> Self::Constantwhere C: Constant,

source

fn make_int(&self, value: BigInt) -> Self::Constant

source

fn make_tuple( &self, elements: impl Iterator<Item = Self::Constant> ) -> Self::Constant

source

fn make_code(&self, code: CodeObject<Self::Constant>) -> Self::Constant

source

fn make_name(&self, name: &str) -> <Self::Constant as Constant>::Name

Implementors§