Module typer_core

An Erlang/OTP application that shows type information for Erlang modules to the user.

Description

An Erlang/OTP application that shows type information for Erlang modules to the user. Additionally, it can annotate the code of files with such type information. This module is basically a carbon-copy of Erlang/OTP's typer, but built in a way that it can be executed not as a script.

Data Types

io()

io() = #{debug := printer(term()), info := printer(term()), warn := printer(term()), abort := printer(no_return())}

mode()

mode() = show | show_exported | annotate | annotate_inc_files | annotate_in_place

opts()

opts() = #{mode := mode(), show_succ => boolean(), no_spec => boolean(), edoc => boolean(), plt => file:filename(), trusted => [file:filename()], files => [file:filename()], files_r => [file:filename_all()], macros => [{atom(), term()}], includes => [file:filename_all()], io => io()}

printer()

printer(Return) = fun((io:format(), [term()]) -> Return)

Function Index

run/1Run TypEr with the provided options.

Function Details

run/1

run(Opts::opts()) -> ok

Run TypEr with the provided options.


Generated by EDoc