haloumi-ir 0.5.11

Intermediate representation of the haloumi framework.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//! Trait implementations for [`Slot`].

use crate::{
    Slot,
    printer::{IRPrintable, IRPrinterCtx},
};
use std::fmt::Write;

impl IRPrintable for Slot {
    fn fmt(&self, ctx: &mut IRPrinterCtx<'_, '_>) -> crate::printer::Result {
        match self {
            Slot::Arg(arg_no) => write!(ctx, "(input {arg_no})"),
            Slot::Output(field_id) => write!(ctx, "(output {field_id})"),
            Slot::Advice(cell_ref) => {
                write!(ctx, "(advice {cell_ref})")
            }
            Slot::Fixed(cell_ref) => write!(ctx, "(fixed {cell_ref})"),
            Slot::TableLookup(id, col, row, idx, region) => {
                write!(ctx, "(lookup {id} {col} {row} {idx} {region})")
            }
            Slot::CallOutput(call, idx) => write!(ctx, "(call-result {call} {idx})"),
            Slot::Temp(temp) => write!(ctx, "(temp {})", *temp),
            Slot::Challenge(index, phase, _) => write!(ctx, "(challenge {index} {phase})"),
        }
    }
}