haloumi-picus 0.5.6

Haloumi backend to the Picus Constraint Language.
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

use haloumi_core::felt::Felt;
use haloumi_ir::Prime;

use crate::pcl::display::{TextRepresentable, TextRepresentation};

impl TextRepresentable for Felt {
    fn to_repr(&self) -> TextRepresentation<'_> {
        TextRepresentation::owned_atom(self.to_string())
    }

    fn width_hint(&self) -> usize {
        self.to_string().len()
    }
}

impl TextRepresentable for Prime {
    fn to_repr(&self) -> TextRepresentation<'_> {
        TextRepresentation::owned_atom(self.to_string())
    }

    fn width_hint(&self) -> usize {
        self.to_string().len()
    }
}