Called during a Lazy or Strict implicit materialization.
Called during a Lazy or Strict implicit materialization.
If this extension handles @tpe, it should return either Some(Right(...)) upon success, or
Some(Left(...)) upon failure. The latter will make the current implicit search fail.
If it does not handle this type, it should return None. Materialization will then go on with other
extensions, or standard implicit search.
Uniquely identifies a LazyExtension.
Uniquely identifies a LazyExtension. Only one extension with a given id is taken into account, during a
Lazy / Strict implicit search.
Initial state of this extension, upon initialization.
Initial state of this extension, upon initialization.