Beaver.MLIR.Type (beaver v0.4.6)
This module provides functions to work with MLIR's type system, allowing creation of MLIR type.
Type Categories
Basic Types
Composite Types
- Tensors (
ranked_tensor/2andunranked_tensor/1) vector/2memref/3function/3
Summary
Functions
calls Beaver.MLIR.CAPI.mlirTypeIsAAnyQuantizedType/1 to check if it is AnyQuantized type.
calls Beaver.MLIR.CAPI.mlirBF16TypeGet/1 to get BF16 type
calls Beaver.MLIR.CAPI.mlirTypeIsABF16/1 to check if it is BF16 type.
calls Beaver.MLIR.CAPI.mlirTypeIsACalibratedQuantizedType/1 to check if it is CalibratedQuantized type.
calls Beaver.MLIR.CAPI.mlirTypeIsAComplex/1 to check if it is Complex type.
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCArrayType/1 to check if it is EmitCArray type.
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCOpaqueType/1 to check if it is EmitCOpaque type.
calls Beaver.MLIR.CAPI.mlirEmitCPointerTypeGet/1 to get EmitCPointer type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCPointerType/1 to check if it is EmitCPointer type.
calls Beaver.MLIR.CAPI.mlirEmitCPtrDiffTTypeGet/1 to get EmitCPtrDiffT type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCPtrDiffTType/1 to check if it is EmitCPtrDiffT type.
calls Beaver.MLIR.CAPI.mlirEmitCSignedSizeTTypeGet/1 to get EmitCSignedSizeT type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCSignedSizeTType/1 to check if it is EmitCSignedSizeT type.
calls Beaver.MLIR.CAPI.mlirEmitCSizeTTypeGet/1 to get EmitCSizeT type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCSizeTType/1 to check if it is EmitCSizeT type.
calls Beaver.MLIR.CAPI.mlirEmitCLValueTypeGet/1 to get EmitCLValue type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCLValueType/1 to check if it is EmitCLValue type.
calls Beaver.MLIR.CAPI.mlirF16TypeGet/1 to get F16 type
calls Beaver.MLIR.CAPI.mlirTypeIsAF16/1 to check if it is F16 type.
calls Beaver.MLIR.CAPI.mlirF32TypeGet/1 to get F32 type
calls Beaver.MLIR.CAPI.mlirTypeIsAF32/1 to check if it is F32 type.
calls Beaver.MLIR.CAPI.mlirF64TypeGet/1 to get F64 type
calls Beaver.MLIR.CAPI.mlirTypeIsAF64/1 to check if it is F64 type.
calls Beaver.MLIR.CAPI.mlirFloat4E2M1FNTypeGet/1 to get Float4E2M1FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat4E2M1FN/1 to check if it is Float4E2M1FN type.
calls Beaver.MLIR.CAPI.mlirFloat6E2M3FNTypeGet/1 to get Float6E2M3FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat6E2M3FN/1 to check if it is Float6E2M3FN type.
calls Beaver.MLIR.CAPI.mlirFloat6E3M2FNTypeGet/1 to get Float6E3M2FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat6E3M2FN/1 to check if it is Float6E3M2FN type.
calls Beaver.MLIR.CAPI.mlirFloat8E3M4TypeGet/1 to get Float8E3M4 type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E3M4/1 to check if it is Float8E3M4 type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3TypeGet/1 to get Float8E4M3 type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3/1 to check if it is Float8E4M3 type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3B11FNUZTypeGet/1 to get Float8E4M3B11FNUZ type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3B11FNUZ/1 to check if it is Float8E4M3B11FNUZ type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3FNTypeGet/1 to get Float8E4M3FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3FN/1 to check if it is Float8E4M3FN type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3FNUZTypeGet/1 to get Float8E4M3FNUZ type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3FNUZ/1 to check if it is Float8E4M3FNUZ type.
calls Beaver.MLIR.CAPI.mlirFloat8E5M2TypeGet/1 to get Float8E5M2 type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E5M2/1 to check if it is Float8E5M2 type.
calls Beaver.MLIR.CAPI.mlirFloat8E5M2FNUZTypeGet/1 to get Float8E5M2FNUZ type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E5M2FNUZ/1 to check if it is Float8E5M2FNUZ type.
calls Beaver.MLIR.CAPI.mlirFloat8E8M0FNUTypeGet/1 to get Float8E8M0FNU type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E8M0FNU/1 to check if it is Float8E8M0FNU type.
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat/1 to check if it is Float type.
calls Beaver.MLIR.CAPI.mlirTypeIsAFunction/1 to check if it is Function type.
calls Beaver.MLIR.CAPI.mlirGPUAsyncTokenTypeGet/1 to get GPUAsyncToken type
calls Beaver.MLIR.CAPI.mlirTypeIsAGPUAsyncTokenType/1 to check if it is GPUAsyncToken type.
calls Beaver.MLIR.CAPI.mlirIndexTypeGet/1 to get Index type
calls Beaver.MLIR.CAPI.mlirTypeIsAIndex/1 to check if it is Index type.
calls Beaver.MLIR.CAPI.mlirTypeIsAInteger/1 to check if it is Integer type.
calls Beaver.MLIR.CAPI.mlirTypeIsALLVMPointerType/1 to check if it is LLVMPointer type.
calls Beaver.MLIR.CAPI.mlirTypeIsALLVMStructType/1 to check if it is LLVMStruct type.
calls Beaver.MLIR.CAPI.mlirLLVMVoidTypeGet/1 to get LLVMVoid type
calls Beaver.MLIR.CAPI.mlirTypeIsAMemRef/1 to check if it is MemRef type.
calls Beaver.MLIR.CAPI.mlirNoneTypeGet/1 to get None type
calls Beaver.MLIR.CAPI.mlirTypeIsANone/1 to check if it is None type.
calls Beaver.MLIR.CAPI.mlirTypeIsANVGPUTensorMapDescriptorType/1 to check if it is NVGPUTensorMapDescriptor type.
calls Beaver.MLIR.CAPI.mlirTypeIsAOpaque/1 to check if it is Opaque type.
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLType/1 to check if it is PDL type.
calls Beaver.MLIR.CAPI.mlirPDLAttributeTypeGet/1 to get PDLAttribute type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLAttributeType/1 to check if it is PDLAttribute type.
calls Beaver.MLIR.CAPI.mlirPDLOperationTypeGet/1 to get PDLOperation type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLOperationType/1 to check if it is PDLOperation type.
calls Beaver.MLIR.CAPI.mlirPDLRangeTypeGet/1 to get PDLRange type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLRangeType/1 to check if it is PDLRange type.
calls Beaver.MLIR.CAPI.mlirPDLTypeTypeGet/1 to get PDLType type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLTypeType/1 to check if it is PDLType type.
calls Beaver.MLIR.CAPI.mlirPDLValueTypeGet/1 to get PDLValue type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLValueType/1 to check if it is PDLValue type.
calls Beaver.MLIR.CAPI.mlirTypeIsAQuantizedType/1 to check if it is Quantized type.
calls Beaver.MLIR.CAPI.mlirTypeIsARankedTensor/1 to check if it is RankedTensor type.
calls Beaver.MLIR.CAPI.mlirTypeIsAShaped/1 to check if it is Shaped type.
calls Beaver.MLIR.CAPI.mlirIntegerTypeIsSigned/1 to check if it is a signed integer.
calls Beaver.MLIR.CAPI.mlirIntegerTypeIsSignless/1 to check if it is a signless integer.
calls Beaver.MLIR.CAPI.mlirTypeIsATensor/1 to check if it is Tensor type.
calls Beaver.MLIR.CAPI.mlirTF32TypeGet/1 to get TF32 type
calls Beaver.MLIR.CAPI.mlirTypeIsATF32/1 to check if it is TF32 type.
calls Beaver.MLIR.CAPI.mlirTransformAnyOpTypeGet/1 to get TransformAnyOp type
calls Beaver.MLIR.CAPI.mlirTypeIsATransformAnyOpType/1 to check if it is TransformAnyOp type.
calls Beaver.MLIR.CAPI.mlirTransformAnyParamTypeGet/1 to get TransformAnyParam type
calls Beaver.MLIR.CAPI.mlirTypeIsATransformAnyParamType/1 to check if it is TransformAnyParam type.
calls Beaver.MLIR.CAPI.mlirTransformAnyValueTypeGet/1 to get TransformAnyValue type
calls Beaver.MLIR.CAPI.mlirTypeIsATransformAnyValueType/1 to check if it is TransformAnyValue type.
calls Beaver.MLIR.CAPI.mlirTypeIsATransformOperationType/1 to check if it is TransformOperation type.
calls Beaver.MLIR.CAPI.mlirTypeIsATransformParamType/1 to check if it is TransformParam type.
Get a tuple type.
calls Beaver.MLIR.CAPI.mlirTypeIsATuple/1 to check if it is Tuple type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUniformQuantizedType/1 to check if it is UniformQuantized type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUniformQuantizedPerAxisType/1 to check if it is UniformQuantizedPerAxis type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUniformQuantizedSubChannelType/1 to check if it is UniformQuantizedSubChannel type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUnrankedMemRef/1 to check if it is UnrankedMemRef type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUnrankedTensor/1 to check if it is UnrankedTensor type.
calls Beaver.MLIR.CAPI.mlirIntegerTypeIsUnsigned/1 to check if it is a unsigned integer.
Get a vector type creator.
calls Beaver.MLIR.CAPI.mlirTypeIsAVector/1 to check if it is Vector type.
get the width of the int or float type
Types
@type t() :: %Beaver.MLIR.Type{ref: term()}
Functions
calls Beaver.MLIR.CAPI.mlirTypeIsAAnyQuantizedType/1 to check if it is AnyQuantized type.
calls Beaver.MLIR.CAPI.mlirBF16TypeGet/1 to get BF16 type
calls Beaver.MLIR.CAPI.mlirTypeIsABF16/1 to check if it is BF16 type.
calls Beaver.MLIR.CAPI.mlirTypeIsACalibratedQuantizedType/1 to check if it is CalibratedQuantized type.
calls Beaver.MLIR.CAPI.mlirTypeIsAComplex/1 to check if it is Complex type.
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCArrayType/1 to check if it is EmitCArray type.
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCOpaqueType/1 to check if it is EmitCOpaque type.
calls Beaver.MLIR.CAPI.mlirEmitCPointerTypeGet/1 to get EmitCPointer type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCPointerType/1 to check if it is EmitCPointer type.
calls Beaver.MLIR.CAPI.mlirEmitCPtrDiffTTypeGet/1 to get EmitCPtrDiffT type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCPtrDiffTType/1 to check if it is EmitCPtrDiffT type.
calls Beaver.MLIR.CAPI.mlirEmitCSignedSizeTTypeGet/1 to get EmitCSignedSizeT type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCSignedSizeTType/1 to check if it is EmitCSignedSizeT type.
calls Beaver.MLIR.CAPI.mlirEmitCSizeTTypeGet/1 to get EmitCSizeT type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCSizeTType/1 to check if it is EmitCSizeT type.
calls Beaver.MLIR.CAPI.mlirEmitCLValueTypeGet/1 to get EmitCLValue type
calls Beaver.MLIR.CAPI.mlirTypeIsAEmitCLValueType/1 to check if it is EmitCLValue type.
calls Beaver.MLIR.CAPI.mlirF16TypeGet/1 to get F16 type
calls Beaver.MLIR.CAPI.mlirTypeIsAF16/1 to check if it is F16 type.
calls Beaver.MLIR.CAPI.mlirF32TypeGet/1 to get F32 type
calls Beaver.MLIR.CAPI.mlirTypeIsAF32/1 to check if it is F32 type.
calls Beaver.MLIR.CAPI.mlirF64TypeGet/1 to get F64 type
calls Beaver.MLIR.CAPI.mlirTypeIsAF64/1 to check if it is F64 type.
calls Beaver.MLIR.CAPI.mlirFloat4E2M1FNTypeGet/1 to get Float4E2M1FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat4E2M1FN/1 to check if it is Float4E2M1FN type.
calls Beaver.MLIR.CAPI.mlirFloat6E2M3FNTypeGet/1 to get Float6E2M3FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat6E2M3FN/1 to check if it is Float6E2M3FN type.
calls Beaver.MLIR.CAPI.mlirFloat6E3M2FNTypeGet/1 to get Float6E3M2FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat6E3M2FN/1 to check if it is Float6E3M2FN type.
calls Beaver.MLIR.CAPI.mlirFloat8E3M4TypeGet/1 to get Float8E3M4 type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E3M4/1 to check if it is Float8E3M4 type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3TypeGet/1 to get Float8E4M3 type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3/1 to check if it is Float8E4M3 type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3B11FNUZTypeGet/1 to get Float8E4M3B11FNUZ type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3B11FNUZ/1 to check if it is Float8E4M3B11FNUZ type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3FNTypeGet/1 to get Float8E4M3FN type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3FN/1 to check if it is Float8E4M3FN type.
calls Beaver.MLIR.CAPI.mlirFloat8E4M3FNUZTypeGet/1 to get Float8E4M3FNUZ type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E4M3FNUZ/1 to check if it is Float8E4M3FNUZ type.
calls Beaver.MLIR.CAPI.mlirFloat8E5M2TypeGet/1 to get Float8E5M2 type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E5M2/1 to check if it is Float8E5M2 type.
calls Beaver.MLIR.CAPI.mlirFloat8E5M2FNUZTypeGet/1 to get Float8E5M2FNUZ type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E5M2FNUZ/1 to check if it is Float8E5M2FNUZ type.
calls Beaver.MLIR.CAPI.mlirFloat8E8M0FNUTypeGet/1 to get Float8E8M0FNU type
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat8E8M0FNU/1 to check if it is Float8E8M0FNU type.
calls Beaver.MLIR.CAPI.mlirTypeIsAFloat/1 to check if it is Float type.
calls Beaver.MLIR.CAPI.mlirTypeIsAFunction/1 to check if it is Function type.
calls Beaver.MLIR.CAPI.mlirGPUAsyncTokenTypeGet/1 to get GPUAsyncToken type
calls Beaver.MLIR.CAPI.mlirTypeIsAGPUAsyncTokenType/1 to check if it is GPUAsyncToken type.
calls Beaver.MLIR.CAPI.mlirIndexTypeGet/1 to get Index type
calls Beaver.MLIR.CAPI.mlirTypeIsAIndex/1 to check if it is Index type.
calls Beaver.MLIR.CAPI.mlirTypeIsAInteger/1 to check if it is Integer type.
calls Beaver.MLIR.CAPI.mlirTypeIsALLVMPointerType/1 to check if it is LLVMPointer type.
calls Beaver.MLIR.CAPI.mlirTypeIsALLVMStructType/1 to check if it is LLVMStruct type.
calls Beaver.MLIR.CAPI.mlirLLVMVoidTypeGet/1 to get LLVMVoid type
calls Beaver.MLIR.CAPI.mlirTypeIsAMemRef/1 to check if it is MemRef type.
calls Beaver.MLIR.CAPI.mlirNoneTypeGet/1 to get None type
calls Beaver.MLIR.CAPI.mlirTypeIsANone/1 to check if it is None type.
calls Beaver.MLIR.CAPI.mlirTypeIsANVGPUTensorMapDescriptorType/1 to check if it is NVGPUTensorMapDescriptor type.
calls Beaver.MLIR.CAPI.mlirTypeIsAOpaque/1 to check if it is Opaque type.
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLType/1 to check if it is PDL type.
calls Beaver.MLIR.CAPI.mlirPDLAttributeTypeGet/1 to get PDLAttribute type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLAttributeType/1 to check if it is PDLAttribute type.
calls Beaver.MLIR.CAPI.mlirPDLOperationTypeGet/1 to get PDLOperation type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLOperationType/1 to check if it is PDLOperation type.
calls Beaver.MLIR.CAPI.mlirPDLRangeTypeGet/1 to get PDLRange type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLRangeType/1 to check if it is PDLRange type.
calls Beaver.MLIR.CAPI.mlirPDLTypeTypeGet/1 to get PDLType type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLTypeType/1 to check if it is PDLType type.
calls Beaver.MLIR.CAPI.mlirPDLValueTypeGet/1 to get PDLValue type
calls Beaver.MLIR.CAPI.mlirTypeIsAPDLValueType/1 to check if it is PDLValue type.
calls Beaver.MLIR.CAPI.mlirTypeIsAQuantizedType/1 to check if it is Quantized type.
calls Beaver.MLIR.CAPI.mlirTypeIsARankedTensor/1 to check if it is RankedTensor type.
calls Beaver.MLIR.CAPI.mlirTypeIsAShaped/1 to check if it is Shaped type.
calls Beaver.MLIR.CAPI.mlirIntegerTypeIsSigned/1 to check if it is a signed integer.
calls Beaver.MLIR.CAPI.mlirIntegerTypeIsSignless/1 to check if it is a signless integer.
calls Beaver.MLIR.CAPI.mlirTypeIsATensor/1 to check if it is Tensor type.
calls Beaver.MLIR.CAPI.mlirTF32TypeGet/1 to get TF32 type
calls Beaver.MLIR.CAPI.mlirTypeIsATF32/1 to check if it is TF32 type.
calls Beaver.MLIR.CAPI.mlirTransformAnyOpTypeGet/1 to get TransformAnyOp type
calls Beaver.MLIR.CAPI.mlirTypeIsATransformAnyOpType/1 to check if it is TransformAnyOp type.
calls Beaver.MLIR.CAPI.mlirTransformAnyParamTypeGet/1 to get TransformAnyParam type
calls Beaver.MLIR.CAPI.mlirTypeIsATransformAnyParamType/1 to check if it is TransformAnyParam type.
calls Beaver.MLIR.CAPI.mlirTransformAnyValueTypeGet/1 to get TransformAnyValue type
calls Beaver.MLIR.CAPI.mlirTypeIsATransformAnyValueType/1 to check if it is TransformAnyValue type.
calls Beaver.MLIR.CAPI.mlirTypeIsATransformOperationType/1 to check if it is TransformOperation type.
calls Beaver.MLIR.CAPI.mlirTypeIsATransformParamType/1 to check if it is TransformParam type.
Get a tuple type.
Examples
iex> ctx = MLIR.Context.create()
iex> MLIR.Type.tuple([MLIR.Type.i32, MLIR.Type.i32], ctx: ctx) |> MLIR.to_string()
"tuple<i32, i32>"
iex> MLIR.Context.destroy(ctx)
calls Beaver.MLIR.CAPI.mlirTypeIsATuple/1 to check if it is Tuple type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUniformQuantizedType/1 to check if it is UniformQuantized type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUniformQuantizedPerAxisType/1 to check if it is UniformQuantizedPerAxis type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUniformQuantizedSubChannelType/1 to check if it is UniformQuantizedSubChannel type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUnrankedMemRef/1 to check if it is UnrankedMemRef type.
calls Beaver.MLIR.CAPI.mlirTypeIsAUnrankedTensor/1 to check if it is UnrankedTensor type.
calls Beaver.MLIR.CAPI.mlirIntegerTypeIsUnsigned/1 to check if it is a unsigned integer.
Get a vector type creator.
Examples
iex> ctx = MLIR.Context.create()
iex> MLIR.Type.vector!([1, 2, 3], MLIR.Type.i32(ctx: ctx)) |> MLIR.to_string()
"vector<1x2x3xi32>"
iex> MLIR.Context.destroy(ctx)
calls Beaver.MLIR.CAPI.mlirTypeIsAVector/1 to check if it is Vector type.
get the width of the int or float type