Skip to main content
Version: 1.0

coord

coord[dtype: DType, *element_types: Movable](var values: Tuple[element_types]) -> Coord[*#kgen.param_list.tabulate(Tuple.__len__(), [idx: __mlir_type.index] RuntimeInt[dtype])] where TypeList.all_satisfies[comptime[Type: AnyType] _type_is_eq_parse_time[Int, Type]()]()

Create a Coord from a tuple of integers with specified dtype.

Parameters:

  • ​dtype (DType): The data type for the runtime integer values.
  • ​*element_types (Movable): The types of elements in the input tuple.

Args:

  • ​values (Tuple): The runtime integer values.

Returns:

Coord: A Coord instance containing RuntimeInt elements for each value.

coord[*values: Int]() -> Coord[*#kgen.param_list.tabulate(ParameterList[values.values], [idx: __mlir_type.index] ComptimeInt[values.values[idx]])]

Create a Coord from compile-time integer values.

Parameters:

  • ​*values (Int): The compile-time integer values.

Returns:

Coord: A Coord instance containing ComptimeInt elements for each value.