Crate pliron_derive 

Attribute Macros

attr_interface

Declare an Attribute interface, which can be implemented by any Attribute.

attr_interface_impl

Implement Attribute Interface for an Attribute. The interface trait must define a verify function with type AttrInterfaceVerifier.

def_attribute

#[def_attribute(...)]: Annotate a Rust struct as a new IR attribute.

def_op

#[def_op(...)]: Create a new IR operation.

def_type

#[def_type(...)]: Annotate a Rust struct as a new IR type.

derive_attr_get_set

Derive getter and setters for operation attributes listed as arguments.

derive_op_interface_impl

Derive implementation of an Op Interface for an Op. Note that an impl can be derived only for those interfaces that do not require any methods to be defined during the impl.

derive_type_get

Derive get methods for types that retrieve interned types.

format

Derive Printable and Parsable for Rust types. Use this is for types other than Op, Type and Attributes.

format_attribute

Derive Printable and Parsable for Attributes

format_op

Derive Printable and Parsable for Ops

format_type

Derive Printable and Parsable for Types

op_interface

Declare an Op interface, which can be implemented by any Op.

op_interface_impl

Implement Op Interface for an Op. The interface trait must define a verify function with type OpInterfaceVerifier

pliron_attr

#[pliron_attr(...)]: Unified macro for defining IR attributes.

pliron_op

#[pliron_op(...)]: Unified macro for defining IR operations.

pliron_type

#[pliron_type(...)]: Unified macro for defining IR types.

type_interface

Declare a Type interface, which can be implemented by any Type.

type_interface_impl

Implement Type Interface for a Type. The interface trait must define a verify function with type TypeInterfaceVerifier.

verify_succ

#[verify_succ]: Implement Verify for a Rust struct or enum with a verifier that always succeeds.