Crate type_fn

source ·

Macros

  • Verifies equality between two types at compile-time.
  • Creates type functions. You will still need to implement them yourself, e.g. using type_fn_impl!. Syntax: $[$visibility$]$ fn $name$ <$args$>;
  • Generates type-fn implementations. Syntax: fn<$FnType$> $name$<$args$> $[$where-clause$]$ => $return-type$;

Traits

  • Default trait for returning something from a type-fn