Beaver.Deferred (beaver v0.4.0)

Functions to work with IR entities not eagerly created. Usually it is an attribute/type doesn't get created until there is a MLIR context from block/op state.

Summary

Types

attribute()

operation()

opts()

type()

Functions

create(f, ctx)

fetch_block(opts)

fetch_context(opts)

from_opts(opts, f)

Types

attribute()

@type attribute() ::
  Beaver.MLIR.Attribute.t()
  | (Beaver.MLIR.Context.t() -> Beaver.MLIR.Attribute.t())

operation()

@type operation() ::
  Beaver.MLIR.Operation.t()
  | (Beaver.MLIR.Context.t() -> Beaver.MLIR.Operation.t())

opts()

@type opts() :: [{:ctx, Beaver.MLIR.Context.t()}]

type()

@type type() ::
  Beaver.MLIR.Type.t() | (Beaver.MLIR.Context.t() -> Beaver.MLIR.Type.t())

Functions

create(f, ctx)

fetch_block(opts)

@spec fetch_block(opts :: opts()) :: Beaver.MLIR.Block.t() | Macro.t() | nil

fetch_context(opts)

@spec fetch_context(opts :: opts()) :: Beaver.MLIR.Context.t() | Macro.t() | nil

from_opts(opts, f)