| Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
| 1 | ·bde8343478a8bf544cdf18e1a4bc61fe·5756·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2_armhf.deb | 1 | ·bde8343478a8bf544cdf18e1a4bc61fe·5756·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2_armhf.deb |
| 2 | · | 2 | ·e7e3ab08291325a9c4358e49f2372251·35852·doc·optional·erlang-proper-doc_1.2+git988ea0ed9f+dfsg-2_all.deb |
| 3 | ·d2b25d4318b6925fe789d0302b6b1fb6·308440·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2_armhf.deb | 3 | ·d2b25d4318b6925fe789d0302b6b1fb6·308440·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2_armhf.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2018-05-31·22:43:12.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2018-05-31·22:43:12.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1 | 2 | -rw-r--r--···0········0········0·····1196·2018-05-31·22:43:12.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0····344 | 3 | -rw-r--r--···0········0········0····34464·2018-05-31·22:43:12.000000·data.tar.xz |
| Offset 7, 15 lines modified | Offset 7, 15 lines modified | ||
| 7 | <link·rel="stylesheet"·type="text/css"·href="stylesheet.css"·title="EDoc"> | 7 | <link·rel="stylesheet"·type="text/css"·href="stylesheet.css"·title="EDoc"> |
| 8 | </head> | 8 | </head> |
| 9 | <body·bgcolor="white"> | 9 | <body·bgcolor="white"> |
| 10 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 10 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 11 | <h1>PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang | 11 | <h1>PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang |
| 12 | </h1> | 12 | </h1> |
| 13 | <p>Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:28</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <p>This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should | 16 | <p>This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should |
| 17 | first·read·the·User·Guide·(available·online·at | 17 | first·read·the·User·Guide·(available·online·at |
| 18 | <a·href="http://proper.softlab.ntua.gr/"·target="_top">PropEr's·website</a>, | 18 | <a·href="http://proper.softlab.ntua.gr/"·target="_top">PropEr's·website</a>, |
| 19 | and·also·in·PropEr's·README·file).·The·bulk·of·the·PropEr·API·is·contained·in | 19 | and·also·in·PropEr's·README·file).·The·bulk·of·the·PropEr·API·is·contained·in |
| 20 | the·documentation·for·the·following·modules:</p> | 20 | the·documentation·for·the·following·modules:</p> |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper</h1> | 11 | <h1>Module·proper</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·is·the·main·PropEr·module. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·is·the·main·PropEr·module. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:28</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>This·is·the·main·PropEr·module.</p> | 16 | <h2><a·name="description">Description</a></h2><p>This·is·the·main·PropEr·module.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<h3><a·name="How_to_write_properties">How·to·write·properties</a></h3><p> | 18 | ···<h3><a·name="How_to_write_properties">How·to·write·properties</a></h3><p> |
| 19 | ···The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean | 19 | ···The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean |
| 20 | ···expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected | 20 | ···expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected |
| Offset 10, 15 lines modified | Offset 10, 15 lines modified | ||
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_fsm</h1> | 11 | <h1>Module·proper_fsm</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing |
| 13 | ···systems·that·can·be·modeled·as·finite·state·machines. | 13 | ···systems·that·can·be·modeled·as·finite·state·machines. |
| 14 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 14 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 15 | <p><b>Version:</b>·Aug· | 15 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 16 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> | 16 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> |
| 17 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing | 17 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_fsm</code>·behaviour,·useful·for·testing |
| 18 | ···systems·that·can·be·modeled·as·finite·state·machines.·That·is,·a·finite | 18 | ···systems·that·can·be·modeled·as·finite·state·machines.·That·is,·a·finite |
| 19 | ···collection·of·named·states·and·transitions·between·them.·<code>proper_fsm</code>·is | 19 | ···collection·of·named·states·and·transitions·between·them.·<code>proper_fsm</code>·is |
| 20 | ···closely·related·to·<a·href="proper_statem.html"><code>proper_statem</code></a>·and·is,·in·fact,·implemented·in | 20 | ···closely·related·to·<a·href="proper_statem.html"><code>proper_statem</code></a>·and·is,·in·fact,·implemented·in |
| 21 | ···terms·of·that.·Testcases·generated·using·<code>proper_fsm</code>·will·be·on·precisely | 21 | ···terms·of·that.·Testcases·generated·using·<code>proper_fsm</code>·will·be·on·precisely |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_gen</h1> | 11 | <h1>Module·proper_gen</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Generator·subsystem·and·generators·for·basic·types. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Generator·subsystem·and·generators·for·basic·types. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Generator·subsystem·and·generators·for·basic·types.</p> | 16 | <h2><a·name="description">Description</a></h2><p>Generator·subsystem·and·generators·for·basic·types.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<p>You·can·use·<a·href="#index">these</a>·functions·to·try·out·the·random··· | 18 | ···<p>You·can·use·<a·href="#index">these</a>·functions·to·try·out·the·random··· |
| 19 | instance·generation·and·shrinking·subsystems.</p> | 19 | instance·generation·and·shrinking·subsystems.</p> |
| 20 | ·· | 20 | ·· |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_sa</h1> | 11 | <h1>Module·proper_sa</h1> |
| 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:27</p> |
| 15 | <p><b>Behaviours:</b>·<a·href="proper_target.html"><tt>proper_target</tt></a>.</p> | 15 | <p><b>Behaviours:</b>·<a·href="proper_target.html"><tt>proper_target</tt></a>.</p> |
| 16 | <p><b>Authors:</b>·Andreas·Löscher.</p> | 16 | <p><b>Authors:</b>·Andreas·Löscher.</p> |
| 17 | <h2><a·name="types">Data·Types</a></h2> | 17 | <h2><a·name="types">Data·Types</a></h2> |
| 18 | <h3·class="typedecl"><a·name="type-first_next">first_next()</a></h3> | 18 | <h3·class="typedecl"><a·name="type-first_next">first_next()</a></h3> |
| 19 | <p><pre>first_next()·=·<a·href="proper_target.html#type-tmap">proper_target:tmap()</a></pre></p> | 19 | <p><pre>first_next()·=·<a·href="proper_target.html#type-tmap">proper_target:tmap()</a></pre></p> |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_sa_gen</h1> | 11 | <h1>Module·proper_sa_gen</h1> |
| 12 | <ul·class="index"><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> | 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> |
| 16 | <h2><a·name="index">Function·Index</a></h2> | 16 | <h2><a·name="index">Function·Index</a></h2> |
| 17 | <table·width="100%"·border="1"·cellspacing="0"·cellpadding="2"·summary="function·index"><tr><td·valign="top"><a·href="#from_proper_generator-1">from_proper_generator/1</a></td><td></td></tr> | 17 | <table·width="100%"·border="1"·cellspacing="0"·cellpadding="2"·summary="function·index"><tr><td·valign="top"><a·href="#from_proper_generator-1">from_proper_generator/1</a></td><td></td></tr> |
| 18 | <tr><td·valign="top"><a·href="#set_temperature_scaling-1">set_temperature_scaling/1</a></td><td></td></tr> | 18 | <tr><td·valign="top"><a·href="#set_temperature_scaling-1">set_temperature_scaling/1</a></td><td></td></tr> |
| 19 | <tr><td·valign="top"><a·href="#update_caches-1">update_caches/1</a></td><td></td></tr> | 19 | <tr><td·valign="top"><a·href="#update_caches-1">update_caches/1</a></td><td></td></tr> |
| 20 | </table> | 20 | </table> |
| Offset 11, 15 lines modified | Offset 11, 15 lines modified | ||
| 11 | <h1>Module·proper_statem</h1> | 11 | <h1>Module·proper_statem</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing |
| 13 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are | 13 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are |
| 14 | ···specified·via·an·abstract·state·machine. | 14 | ···specified·via·an·abstract·state·machine. |
| 15 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 15 | <p>Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 16 | <p><b>Version:</b>·Aug· | 16 | <p><b>Version:</b>·Aug·8·2020·20:22:27</p> |
| 17 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> | 17 | <p><b>Authors:</b>·Eirini·Arvaniti.</p> |
| 18 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing | 18 | <h2><a·name="description">Description</a></h2><p>This·module·defines·the·<code>proper_statem</code>·behaviour,·useful·for·testing |
| 19 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are | 19 | ···stateful·reactive·systems·whose·internal·state·and·side-effects·are |
| 20 | ···specified·via·an·abstract·state·machine.·Given·a·callback·module | 20 | ···specified·via·an·abstract·state·machine.·Given·a·callback·module |
| 21 | ···implementing·the·<code>proper_statem</code>·behaviour·(i.e.·defining·an·abstract·state··· | 21 | ···implementing·the·<code>proper_statem</code>·behaviour·(i.e.·defining·an·abstract·state··· |
| 22 | machine·of·the·system·under·test),·PropEr·can·generate·random·symbolic··· | 22 | machine·of·the·system·under·test),·PropEr·can·generate·random·symbolic··· |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_symb</h1> | 11 | <h1>Module·proper_symb</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Symbolic·datatypes·handling·functions. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Symbolic·datatypes·handling·functions. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Symbolic·datatypes·handling·functions.</p> | 16 | <h2><a·name="description">Description</a></h2><p>Symbolic·datatypes·handling·functions.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<h3><a·name="Symbolic_datatypes">Symbolic·datatypes</a></h3> | 18 | ···<h3><a·name="Symbolic_datatypes">Symbolic·datatypes</a></h3> |
| 19 | ···When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or | 19 | ···When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or |
| 20 | ···sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal | 20 | ···sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_target</h1> | 11 | <h1>Module·proper_target</h1> |
| 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> | 15 | <p><b>Authors:</b>·Andreas·Löscher.</p> |
| 16 | <h2><a·name="types">Data·Types</a></h2> | 16 | <h2><a·name="types">Data·Types</a></h2> |
| 17 | <h3·class="typedecl"><a·name="type-fitness">fitness()</a></h3> | 17 | <h3·class="typedecl"><a·name="type-fitness">fitness()</a></h3> |
| 18 | <p><pre>fitness()·=·number()</pre></p> | 18 | <p><pre>fitness()·=·number()</pre></p> |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_transformer</h1> | 11 | <h1>Module·proper_transformer</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li></ul>PropEr's·main·parse·transform. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li></ul>PropEr's·main·parse·transform. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2>PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules | 16 | <h2><a·name="description">Description</a></h2>PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules |
| 17 | ···when·including·the·main·PropEr·header,·unless·<code>PROPER_NO_TRANS</code>·is·defined. | 17 | ···when·including·the·main·PropEr·header,·unless·<code>PROPER_NO_TRANS</code>·is·defined. |
| 18 | ···Applying·this·transform·has·the·following·effects: | 18 | ···Applying·this·transform·has·the·following·effects: |
| 19 | ···<ul> | 19 | ···<ul> |
| 20 | ···<li>All·0-arity·functions·whose·name·begins·with·<code>prop_</code>·are·automatically | 20 | ···<li>All·0-arity·functions·whose·name·begins·with·<code>prop_</code>·are·automatically |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_types</h1> | 11 | <h1>Module·proper_types</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Type·manipulation·functions·and·predefined·types. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Type·manipulation·functions·and·predefined·types. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:27</p> |
| 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 15 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Type·manipulation·functions·and·predefined·types.</p> | 16 | <h2><a·name="description">Description</a></h2><p>Type·manipulation·functions·and·predefined·types.</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<h3><a·name="Basic_types">Basic·types</a></h3><p> | 18 | ···<h3><a·name="Basic_types">Basic·types</a></h3><p> |
| 19 | ···This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as | 19 | ···This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as |
| 20 | ···functions.·See·the·<a·href="#index">function·index</a>·for·an·overview.</p> | 20 | ···functions.·See·the·<a·href="#index">function·index</a>·for·an·overview.</p> |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_typeserver</h1> | 11 | <h1>Module·proper_typeserver</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Erlang·type·system·-·PropEr·type·system·integration·module. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Erlang·type·system·-·PropEr·type·system·integration·module. |
| 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:27</p> |
| 15 | <p><b>Behaviours:</b>·<a·href="gen_server.html"><tt>gen_server</tt></a>.</p> | 15 | <p><b>Behaviours:</b>·<a·href="gen_server.html"><tt>gen_server</tt></a>.</p> |
| 16 | <p><b>Authors:</b>·Manolis·Papadakis.</p> | 16 | <p><b>Authors:</b>·Manolis·Papadakis.</p> |
| 17 | <h2><a·name="description">Description</a></h2><p>Erlang·type·system·-·PropEr·type·system·integration·module.</p> | 17 | <h2><a·name="description">Description</a></h2><p>Erlang·type·system·-·PropEr·type·system·integration·module.</p> |
| 18 | ·· | 18 | ·· |
| 19 | ···<p>PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them | 19 | ···<p>PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them |
| 20 | ···to·its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type | 20 | ···to·its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_unicode</h1> | 11 | <h1>Module·proper_unicode</h1> |
| 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Unicode·generators·for·PropEr. | 12 | <ul·class="index"><li><a·href="#description">Description</a></li><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul>Unicode·generators·for·PropEr. |
| 13 | <p>Copyright·©·2014·Motiejus·Jakstys</p> | 13 | <p>Copyright·©·2014·Motiejus·Jakstys</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 15 | <p><b>Authors:</b>·Motiejus·Jakstys.</p> | 15 | <p><b>Authors:</b>·Motiejus·Jakstys.</p> |
| 16 | <h2><a·name="description">Description</a></h2><p>Unicode·generators·for·PropEr</p> | 16 | <h2><a·name="description">Description</a></h2><p>Unicode·generators·for·PropEr</p> |
| 17 | ·· | 17 | ·· |
| 18 | ···<p>This·module·exposes·utf8·binary·generator.</p> | 18 | ···<p>This·module·exposes·utf8·binary·generator.</p> |
| 19 | ·· | 19 | ·· |
| 20 | ···<p>Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,··· | 20 | ···<p>Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,··· |
| Offset 9, 15 lines modified | Offset 9, 15 lines modified | ||
| 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> | 9 | <div·class="navbar"><a·name="#navbar_top"></a><table·width="100%"·border="0"·cellspacing="0"·cellpadding="2"·summary="navigation·bar"><tr><td><a·href="overview-summary.html"·target="overviewFrame">Overview</a></td><td><a·href="http://www.erlang.org/"><img·src="erlang.png"·align="right"·border="0"·alt="erlang·logo"></a></td></tr></table></div> |
| 10 | <hr> | 10 | <hr> |
| 11 | <h1>Module·proper_unused_imports_remover</h1> | 11 | <h1>Module·proper_unused_imports_remover</h1> |
| 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> | 12 | <ul·class="index"><li><a·href="#types">Data·Types</a></li><li><a·href="#index">Function·Index</a></li><li><a·href="#functions">Function·Details</a></li></ul> |
| 13 | <p>Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> | 13 | <p>Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas</p> |
| 14 | <p><b>Version:</b>·Aug· | 14 | <p><b>Version:</b>·Aug·8·2020·20:22:26</p> |
| 15 | <p><b>Authors:</b>·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas).</p> | 15 | <p><b>Authors:</b>·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas).</p> |
| 16 | <h2><a·name="types">Data·Types</a></h2> | 16 | <h2><a·name="types">Data·Types</a></h2> |
| 17 | <h3·class="typedecl"><a·name="type-abs_form">abs_form()</a></h3> | 17 | <h3·class="typedecl"><a·name="type-abs_form">abs_form()</a></h3> |
| 18 | <p><pre>abs_form()·=·<a·href="erl_parse.html#type-abstract_form">erl_parse:abstract_form()</a></pre></p> | 18 | <p><pre>abs_form()·=·<a·href="erl_parse.html#type-abstract_form">erl_parse:abstract_form()</a></pre></p> |