Create an attribute creator.

Add a modifier to it as a shortcut to annotate the type

Examples

iex> ctx = MLIR.Context.create()
iex> MLIR.equal?(Attribute.float(Type.f(32), 0.0).(ctx), ~a{0.0}f32.(ctx))
true
iex> ~a{1 : i32}.(ctx) |> MLIR.to_string()
"1 : i32"
iex> MLIR.Context.destroy(ctx)copy

Create a module creator.

Examples

iex> ctx = MLIR.Context.create()
iex> %MLIR.Module{} = ~m"""
...> module {
...>   func.func @add(%arg0 : i32, %arg1 : i32) -> i32 attributes { llvm.emit_c_interface } {
...>     %res = arith.addi %arg0, %arg1 : i32
...>     return %res : i32
...>   }
...> }
...> """.(ctx) |> MLIR.verify!()
iex> MLIR.Context.destroy(ctx)copy

Create a type creator.

Add a modifier to it as a shortcut to make it a higher order type.

Examples

iex> ctx = MLIR.Context.create()
iex> MLIR.equal?(Type.unranked_tensor!(Type.f32(ctx: ctx)), ~t{tensor<*xf32>}.(ctx))
true
iex> MLIR.equal?(Type.unranked_tensor!(Type.f32(ctx: ctx)), ~t{tensor<*xf32>})
true
iex> MLIR.equal?(Type.complex(Type.f32()).(ctx), ~t<f32>complex.(ctx))
true
iex> MLIR.equal?(Type.complex(Type.f32()), ~t<f32>complex.(ctx))
true
iex> MLIR.Context.destroy(ctx)copy