Is it possible to run Dialyzer on a Livebook notebook's contents?

If I define modules in Livebook, and then typespec types, functions, etc. inside the module, is there some way to run Dialyzer so as to verify the typespecs?

I am able to run ExUnit inside Livebook and am looking for a similar way for typespecs so as to get feedback on the types. This will be very useful for type-driven development inside a Livebook notebook.

And I suppose a follow-up question would be regarding running Credo on the notebook’s modules as well.

Thank you for any help!

1 Like