Struct BoolAttr 

pub struct BoolAttr(pub bool);

A boolean attribute

Tuple Fields

0: bool

Implementations

impl BoolAttr

pub fn new(f0: bool) -> Self

Constructs a new BoolAttr.

impl BoolAttr

pub fn as_value(&self, _ctx: &Context) -> Option<bool>

pub fn with_value(&self, _ctx: &Context, new_val: bool) -> Self

impl BoolAttr

pub fn per_lane(ctx: &Context, result: impl Typed, value: bool) -> Option<Self>

The answer for one lane of result, or None where result has more than one.

A comparison answers once per lane, and BoolAttr carries no vectorization: it types itself as a bare BoolType. Folding a vector comparison to a single true would put one bool where a vector of them belongs, and the backends then emit a scalar into a slot typed for a vector. Folds that answer per lane build their attribute here rather than with BoolAttr::new, and simply decline to fold a vector.

Trait Implementations

impl Attribute for BoolAttr

fn hash_attr(&self) -> TypeValueHash

Compute and get the hash for this instance of Self. Hash collisions can be a possibility.

fn eq_attr(&self, other: &dyn Attribute) -> bool

Is self equal to an other Attribute?

fn get_attr_id(&self) -> AttrId

Get an Attribute’s static name. This is not per instantnce. It is mostly useful for printing and parsing the attribute.

fn get_attr_id_static() -> AttrId

Same as get_attr_id, but without the self reference.

fn register<A>(ctx: &mut Context)

where A: Attribute, Self: Sized + Parsable<Arg = (), Parsed = A>,

Register this attribute’s AttrId in the dialect it belongs to.

impl Clone for BoolAttr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConstantAttr for BoolAttr

fn as_const_val(&self, _ctx: &Context) -> ConstantValue

fn verify(_op: &dyn Attribute, _ctx: &Context) -> Result<()>

where Self: Sized,

fn as_int(&self, ctx: &Context) -> Option<APInt>

fn float_as_f64(&self, _ctx: &Context) -> Option<f64>

impl Copy for BoolAttr

impl Debug for BoolAttr

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

Formats the value using the given formatter.

impl Eq for BoolAttr

impl From<BoolAttr> for bool

fn from(value: BoolAttr) -> Self

Converts to this type from the input type.

impl From<bool> for BoolAttr

fn from(value: bool) -> Self

Converts to this type from the input type.

impl Hash for BoolAttr

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl MaterializableAttr for BoolAttr

fn materialize(&self, ctx: &mut Context) -> Ptr<Operation>

Returns an operation that assigns a materialization of self to some result

impl Parsable for BoolAttr

type Arg = ()

Type of the argument that must be passed to the parser.

type Parsed = BoolAttr

The type of the parsed entity.

fn parse<'__pliron_parse>( state_stream: &mut StateStream<'__pliron_parse>, arg: Self::Arg, ) -> ParseResult<'__pliron_parse, Self::Parsed>

Define a parser using existing combinators and call into on Parser::parse_stream to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

where Self::Parsed: 'a,

Get a parser combinator that can work on StateStream as its input.

impl PartialEq for BoolAttr

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for BoolAttr

fn fmt(&self, ctx: &Context, state: &State, fmt: &mut Formatter<'_>) -> Result

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.

impl StructuralPartialEq for BoolAttr

impl TypedAttrInterface for BoolAttr

fn get_type(&self, ctx: &Context) -> TypeHandle

Get this attribute’s type.

impl Verify for BoolAttr

fn verify(&self, _ctx: &Context) -> Result<()>