Beaver.MLIR.ConversionPattern (beaver v0.4.8)

Copy Markdown

Callback-backed dialect conversion patterns.

add/5 creates a pattern and immediately transfers its ownership to the rewrite pattern set, so a standalone native pattern cannot be leaked.

Summary

Types

callback()
t()

Functions

add(set, root_name, type_converter, callback, opts \\ [])
make(value)

Types

callback()

@type callback() :: (Beaver.MLIR.Operation.t(),
               [Beaver.MLIR.Value.t()]
               | [[Beaver.MLIR.Value.t()]],
               Beaver.MLIR.ConversionPatternRewriter.t() ->
                 :ok | :no_match | {:error, term()})

t()

@type t() :: %Beaver.MLIR.ConversionPattern{ref: term()}

Functions

add(set, root_name, type_converter, callback, opts \\ [])

@spec add(
  Beaver.MLIR.RewritePatternSet.t(),
  String.Chars.t(),
  Beaver.MLIR.TypeConverter.t(),
  callback(),
  keyword()
) :: Beaver.MLIR.RewritePatternSet.t()

make(value)