mlir.dialects.linalg.opdsl.lang.types¶

Facility for symbolically referencing type variables.

Type variables are instances of the TypeVar class, which is uniqued by name. An “expando” accessor TV is provided that generates a named TypeVar for any attribute access:

TV.T TypeVar(T) TV.T is TV.U False TV.T is TV.T True

Attributes¶

`TV`
`I32`
`I64`
`F32`
`F64`
`T`
`U`
`V`

Classes¶

TypeVar

A replaceable type variable.

Module Contents¶

class mlir.dialects.linalg.opdsl.lang.types.TypeVar¶

A replaceable type variable.

Type variables are uniqued by name.

ALL_TYPEVARS: Dict[str, TypeVar]¶

__repr__()¶

classmethod create_expando()¶: Create an expando class that creates unique type vars on attr access.

mlir.dialects.linalg.opdsl.lang.types.TV¶

mlir.dialects.linalg.opdsl.lang.types.I32¶

mlir.dialects.linalg.opdsl.lang.types.I64¶

mlir.dialects.linalg.opdsl.lang.types.F32¶

mlir.dialects.linalg.opdsl.lang.types.F64¶

mlir.dialects.linalg.opdsl.lang.types.T¶

mlir.dialects.linalg.opdsl.lang.types.U¶

mlir.dialects.linalg.opdsl.lang.types.V¶