Macros§
- assert_
types_ eq - Verifies equality between two types at compile-time.
- call
- Calls a type-fn
- call_as
- type_fn
- Creates type functions. You will still need to implement them yourself, e.g. using
type_fn_impl!. Syntax:$[$visibility$]$ fn $name$ <$args$>; - type_
fn_ impl - Generates type-fn implementations.
Syntax:
fn<$FnType$> $name$<$args$> $[$where-clause$]$ => $return-type$;
Traits§
- TypeFn
- Default trait for returning something from a type-fn