Module sig

Signature descriptors, for OpDef::signature (C++ sig::arg<T> and friends): the arguments an operator takes, with their documentation and the types a generated validator checks.

arg and ty_arg are the fixed value and type arguments, in order, var_args and var_ty_args a variadic tail of each, and call_attrs the type of Call.attrs. As an argument type, a node type, such as StringImm or Var, accepts an instance of it, as C++ TypeTraits<T>::CheckAnyStrict does, and Expr or Type accepts any. The typed views PrimExpr and IntExpr also check the expression’s type; PrimVar and TensorVar check a variable’s type, as the C++ view types of those names do. Implement ArgType for another check.

Re-exports

• pub use crate::ir::expr::IntExpr;
• pub use crate::ir::expr::PrimExpr;

Structs

• Arg
  A required value argument of type T, from arg.
• CallAttrs
  Call.attrs, of type T, from call_attrs.
• PrimVar
  C++ PrimVar: a Var, not a subclass, whose type is a PrimType.
• TyArg
  A required type argument of type T, from ty_arg.
• VarArgs
  The variadic value tail, of type T, from var_args.
• VarTyArgs
  The variadic type-argument tail, of type T, from var_ty_args.

Traits

• ArgType
  What a signature checks an argument against (C++ TypeTraits<T>).
• Specs
  What OpDef::signature takes: a descriptor, or a tuple of them in order; () declares no argument.

Functions

• arg
  A required value argument of type T (C++ sig::arg<T>); Expr accepts any.
• call_attrs
  Call.attrs holds a T, which is also the operator’s attrs type (C++ sig::call_attrs<T>).
• ty_arg
  A required type argument of type T (C++ sig::ty_arg<T>); Type accepts any.
• var_args
  Zero or more further value arguments of type T (C++ sig::var_args<T>).
• var_of_type
  Whether value is a Var, not a subclass, whose type is an N.
• var_ty_args
  Zero or more further type arguments of type T (C++ sig::var_ty_args<T>).