acir::parser::token

Enum Keyword

pub(crate) enum Keyword {
Show 40 variants    Private,
    Parameters,
    Public,
    Return,
    Value,
    Values,
    Assert,
    BlackBoxFuncCall,
    MemoryInit,
    MemoryRead,
    MemoryWrite,
    Brillig,
    Call,
    Predicate,
    CallData,
    ReturnData,
    Function,
    Input,
    Input1,
    Input2,
    Inputs,
    Output,
    Outputs,
    Bits,
    Iv,
    Key,
    Lhs,
    Rhs,
    PublicKeyX,
    PublicKeyY,
    Signature,
    HashedMessage,
    Points,
    Scalars,
    VerificationKey,
    Proof,
    PublicInputs,
    KeyHash,
    ProofType,
    HashValues,
}

Expand description

ACIR human readable text format keywords

Variants§

§

Private

private

§

Parameters

parameters

§

Public

public

§

Return

return

§

Value

value

§

Values

values

§

Assert

ASSERT

§

BlackBoxFuncCall

BLACKBOX

§

MemoryInit

INIT

§

MemoryRead

READ

§

MemoryWrite

WRITE

§

Brillig

BRILLIG

§

Call

CALL

§

Predicate

predicate

§

CallData

CALLDATA

§

ReturnData

RETURNDATA

§

Function

func

§

Input

input

§

Input1

input1

§

Input2

input2

§

Inputs

inputs

§

Output

output

§

Outputs

outputs

§

Bits

bits

§

Iv

iv

§

Key

key

§

Lhs

lhs

§

Rhs

rhs

§

PublicKeyX

public_key_x

§

PublicKeyY

public_key_y

§

Signature

signature

§

HashedMessage

hashed_message

§

Points

points

§

Scalars

scalars

§

VerificationKey

verification_key

§

Proof

proof

§

PublicInputs

public_inputs

§

KeyHash

key_hash

§

ProofType

proof_type

§

HashValues

hash_values

Implementations§

Source §

impl Keyword

Source

pub(super) fn lookup_keyword(word: &str) -> Option<Token>

Trait Implementations§

Source §

impl Clone for Keyword

Source §

fn clone(&self) -> Keyword

Returns a copy of the value. Read more

1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

Source §

impl Debug for Keyword

Source §

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

Formats the value using the given formatter. Read more

Source §

impl Display for Keyword

Source §

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

Formats the value using the given formatter. Read more

Source §

impl Hash for Keyword

Source §

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher. Read more

1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more

Source §

impl PartialEq for Keyword

Source §

fn eq(&self, other: &Keyword) -> bool

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

1.0.0 · Source§

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

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

Source §

impl Copy for Keyword

Source §

impl Eq for Keyword

Source §

impl StructuralPartialEq for Keyword

Auto Trait Implementations§

§

impl UnwindSafe for Keyword

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dst. Read more

§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

impl<T> Same for T

Source §

type Output = T

Should always be Self

Source §

impl<T> ToOwned for T
where T: Clone,

Source §

type Owned = T

The resulting type after obtaining ownership.

Source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

Source §

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

Source §

impl<T> ToString for T
where T: Display + ?Sized,

Source §

fn to_string(&self) -> String

Converts the given value to a String. Read more

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

Enum KeywordCopy item path

Variants§

Private

Parameters

Public

Return

Value

Values

Assert

BlackBoxFuncCall

MemoryInit

MemoryRead

MemoryWrite

Brillig

Call

Predicate

CallData

ReturnData

Function

Input

Input1

Input2

Inputs

Output

Outputs

Bits

Iv

Key

Lhs

Rhs

PublicKeyX

PublicKeyY

Signature

HashedMessage

Points

Scalars

VerificationKey

Proof

PublicInputs

KeyHash

ProofType

HashValues

Implementations§

impl Keyword

pub(super) fn lookup_keyword(word: &str) -> Option<Token>

Trait Implementations§

impl Clone for Keyword

fn clone(&self) -> Keyword

fn clone_from(&mut self, source: &Self)

impl Debug for Keyword

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

impl Display for Keyword

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

impl Hash for Keyword

fn hash<__H: Hasher>(&self, state: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

impl PartialEq for Keyword

fn eq(&self, other: &Keyword) -> bool

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

impl Copy for Keyword

impl Eq for Keyword

impl StructuralPartialEq for Keyword

Auto Trait Implementations§

impl Freeze for Keyword

impl RefUnwindSafe for Keyword

impl Send for Keyword

impl Sync for Keyword

impl Unpin for Keyword

impl UnwindSafe for Keyword

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Enum Keyword

fn hash<H: Hasher>(&self, state: &mut H)

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T> ToString for T
where T: Display + ?Sized,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,