Specifying map or struct extension using typespecs

[kokolegorille]

Not really the answer You are looking for, but maybe typecheck can help…

TypeCheck - Fast and flexible runtime type-checking for your Elixir projects

[image] TypeCheck: Fast and flexible runtime type-checking for your Elixir projects. [hex.pm version] [Documentation] [ci] [Coverage Status] Core ideas Type- and function specifications are constructed using (essentially) the same syntax as Elixir’s built-in typespecs. When a value does not match a type check, the user is shown human-friendly error messages. Types and type-checks are generated at compiletime. This means type-checking code is optimized rigorously by the compiler. Proper…