Module proper_transformer

Description

PropEr's main parse transform.

Version: Jun 14 2016 12:30:07

Authors: Manolis Papadakis.

Description

PropEr's main parse transform. It is automatically applied to modules when including the main PropEr header, unless PROPER_NO_TRANS is defined. Applying this transform has the following effects:

All 0-arity functions whose name begins with prop_ are automatically exported.
Type declarations in ?FORALLs that correspond to native types are properly substituted (with some limitations, see the proper_typeserver module for details).

Generated by EDoc, Jun 14 2016, 12:30:07.