Typespecs and type checks for Protocols

Hello,

Dialyzer newbie alert!

Apologies if this question has already been asked.

In other words, is there a way to check if a Protocol implemented for a function argument in compile time?
Or Is there a plan to add a functionality to create type definitions for Protocols? And let dialyzer (or any other wrapper) to check if they are conformed of not?

Is this even possible?

Thanks in advance

1 Like