haloumi_core/constraints.rs
1//! Types related to constraints.
2
3use crate::{
4 felt::Felt,
5 query::Fixed,
6 table::{Any, Column},
7};
8
9/// Types of copy constraints.
10#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
11pub enum CopyConstraint {
12 /// A copy constraint between two cells.
13 Cells(Column<Any>, usize, Column<Any>, usize),
14 /// Constraints a fixed cell to a constant value.
15 Fixed(Column<Fixed>, usize, Felt),
16}