EnglishFrenchSpanish

OnWorks favicon

typer - Online in the Cloud

Run typer in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command typer that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


typer - The TypEr, a Type annotator of Erlang code

DESCRIPTION


TypEr is a tool that displays and automatically inserts type annotations in Erlang code.
It uses Dialyzer to infer variable types.

USAGE


typer [--help] [--version] [--comments] [--plt PltFile]
[--show | --show-exported | --annotate | --annotate-inc-files]
[-Ddefine]* [-I include_dir]* [-T application]* [-r] file*

Options:

-r dir
Searches directories recursively for .erl files below them.

--show
Prints type specifications for all functions on stdout (this is the default
behaviour; this option is not really needed).

--show-exported
Same as --show, but prints specifications for exported functions only. Specs are
displayed sorted alphabetically on the function's name.

--annotate
Annotates the specified files with type specifications.

--annotate-inc-files
Same as --annotate but annotates all -include() files as well as all .erl files (use
this option with caution, it has not been tested much).

--comments
Prints type information using Edoc comments, not type contracts.

--plt PltFile
Uses the specified Dialyzer PLT file rather than the default one.

-T file
The file file already contains type specifications and these specifications are to
be trusted in order to print specs for the rest of the files. (Multiple files or
dirs, separated by spaces, can be specified.)

-Dname (or -Dname=value)
Passes the defined name to TypEr. (The syntax of defines is the same as that used
by erlc, see erlc(1).)

-I include_dir
Passes the include_dir to TypEr. (The syntax of includes is the same as that used
by erlc, see erlc(1).)

--version (or -v)
Prints the TypEr version and exits.

--help (or -h)
Prints help message and exits.

Note:
* denotes that multiple occurrences of these options are possible.

Use typer online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Image Downloader
    Image Downloader
    Crawl and download images using
    Selenium Using python3 and PyQt5.
    Supported Search Engine: Google, Bing,
    Baidu. Keywords input from the keyboard
    or input from ...
    Download Image Downloader
  • 2
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    The Eclipse Tomcat Plugin provides
    simple integration of a tomcat servlet
    container for the development of java
    web applications. You can join us for
    discussio...
    Download Eclipse Tomcat Plugin
  • 3
    WebTorrent Desktop
    WebTorrent Desktop
    WebTorrent Desktop is for streaming
    torrents on Mac, Windows or Linux. It
    connects to both BitTorrent and
    WebTorrent peers. Now there's no
    need to wait for...
    Download WebTorrent Desktop
  • 4
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 5
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 6
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • More »

Linux commands

Ad