Beaver.Pattern.Native.Descriptor (beaver v0.4.8)

A native rewrite declaration ready to be added to an MLIR rewrite pattern set.

Build descriptors with a function generated by Beaver.Pattern.Native.defrewrite/3 rather than constructing this struct directly.

Summary

Types

callback(state)

outcome(state)

t()

t(state)

Types

callback(state)

@type callback(state) :: (Beaver.MLIR.RewritePattern.t(),
                    Beaver.MLIR.Operation.t(),
                    Beaver.MLIR.PatternRewriter.t(),
                    state ->
                      outcome(state))

outcome(state)

@type outcome(state) :: {:ok, state} | {:error, state}

t()

@type t() :: t(any())

t(state)

@type t(state) :: %Beaver.Pattern.Native.Descriptor{
  benefit: non_neg_integer(),
  construct: (state -> state),
  destruct: (state -> any()),
  init_state: state,
  match_and_rewrite: callback(state),
  name: atom(),
  root: String.t()
}