Instances of a given class

Stream: mathlib4

[Sébastien Gouëzel]

Is there a simple way to get the list of all registered instances for a given class? (not on master, where doc-gen does this). I'm using the class_abbrev mechanism to try to unbundle norm stuff from algebra, and I need this to check I didn't mess up (or fix the mess :-)

[Aaron Liu]

you can try #synthing it

[Aaron Liu]

and look at the trace

[Jireh Loreaux]

Don't we have #instances?

[Aaron Liu]

oh we do, it's in Batteries.Tactic.Instances

[Aaron Liu]

that's probably a better way

[Sébastien Gouëzel]

#instances is perfect, thanks! (But thanks also for the #synth suggestion :-)