Generating type specs programmatically

Viktor Söderqvist viktor@REDACTED
Mon Dec 7 15:25:06 CET 2020

Hi! Generated examples of all of Erlang's AST is in the generated of this repo:

Some examples:

-spec my_function() -> ok.


-spec my_function(A :: atom()) -> B when B :: boolean().


If some syntactic element is missing, please let me know.


On 2020-12-05 21:24, Guilherme Andrade wrote:
> All is well so far, but now I want to generate type specs and function 
> specs with which to annotate the generated code - and I can't for the 
> life of me figure out how to do it within `erl_syntax`.

More information about the erlang-questions mailing list