| Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
| 1 | ·45329abbcb874b4325455bdd5a68933a·5876·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2.1_i386.deb | 1 | ·45329abbcb874b4325455bdd5a68933a·5876·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2.1_i386.deb |
| 2 | · | 2 | ·a80c16a6b603537db1ce9e4085bd6535·35928·doc·optional·erlang-proper-doc_1.2+git988ea0ed9f+dfsg-2.1_all.deb |
| 3 | ·dc8f46f95cf86d88c029a7e3e9bb4d3d·303776·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2.1_i386.deb | 3 | ·dc8f46f95cf86d88c029a7e3e9bb4d3d·303776·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2.1_i386.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2021-01-02·15:29:53.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2021-01-02·15:29:53.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····120 | 2 | -rw-r--r--···0········0········0·····1200·2021-01-02·15:29:53.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0····345 | 3 | -rw-r--r--···0········0········0····34536·2021-01-02·15:29:53.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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 1, 12 lines modified | Offset 1, 12 lines modified | ||
| 1 | Overview·[erlang_logo] | 1 | Overview·[erlang_logo] |
| 2 | ******·PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang | 2 | ******·PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang |
| 3 | ****** | 3 | ****** |
| 4 | Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 4 | Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 5 | Version:· | 5 | Version:·Feb·11·2025·06:38:02 |
| 6 | Authors:·Manolis·Papadakis. | 6 | Authors:·Manolis·Papadakis. |
| 7 | This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should·first | 7 | This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should·first |
| 8 | read·the·User·Guide·(available·online·at·PropEr's_website,·and·also·in·PropEr's | 8 | read·the·User·Guide·(available·online·at·PropEr's_website,·and·also·in·PropEr's |
| 9 | README·file).·The·bulk·of·the·PropEr·API·is·contained·in·the·documentation·for | 9 | README·file).·The·bulk·of·the·PropEr·API·is·contained·in·the·documentation·for |
| 10 | the·following·modules: | 10 | the·following·modules: |
| 11 | ··proper | 11 | ··proper |
| 12 | ······how·to·write·properties,·how·to·invoke·PropEr,·different·modes·of | 12 | ······how·to·write·properties,·how·to·invoke·PropEr,·different·modes·of |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | ******·Module·proper·****** | 3 | ******·Module·proper·****** |
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | This·is·the·main·PropEr·module. | 8 | This·is·the·main·PropEr·module. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | Version:· | 10 | Version:·Feb·11·2025·06:38:02 |
| 11 | Authors:·Manolis·Papadakis. | 11 | Authors:·Manolis·Papadakis. |
| 12 | *****·Description·***** | 12 | *****·Description·***** |
| 13 | This·is·the·main·PropEr·module. | 13 | This·is·the·main·PropEr·module. |
| 14 | ****·How·to·write·properties·**** | 14 | ****·How·to·write·properties·**** |
| 15 | The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean | 15 | The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean |
| 16 | expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected·to | 16 | expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected·to |
| 17 | evaluate·to·true.·Thus,·the·test·true·always·succeeds,·while·the·test·false | 17 | evaluate·to·true.·Thus,·the·test·true·always·succeeds,·while·the·test·false |
| 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>· | 15 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 4, 15 lines modified | Offset 4, 15 lines modified | ||
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that | 8 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that |
| 9 | can·be·modeled·as·finite·state·machines. | 9 | can·be·modeled·as·finite·state·machines. |
| 10 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 10 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 11 | Version:· | 11 | Version:·Feb·11·2025·06:38:02 |
| 12 | Authors:·Eirini·Arvaniti. | 12 | Authors:·Eirini·Arvaniti. |
| 13 | *****·Description·***** | 13 | *****·Description·***** |
| 14 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that | 14 | This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that |
| 15 | can·be·modeled·as·finite·state·machines.·That·is,·a·finite·collection·of·named | 15 | can·be·modeled·as·finite·state·machines.·That·is,·a·finite·collection·of·named |
| 16 | states·and·transitions·between·them.·proper_fsm·is·closely·related·to | 16 | states·and·transitions·between·them.·proper_fsm·is·closely·related·to |
| 17 | proper_statem·and·is,·in·fact,·implemented·in·terms·of·that.·Testcases | 17 | proper_statem·and·is,·in·fact,·implemented·in·terms·of·that.·Testcases |
| 18 | generated·using·proper_fsm·will·be·on·precisely·the·same·form·as·testcases | 18 | generated·using·proper_fsm·will·be·on·precisely·the·same·form·as·testcases |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | ******·Module·proper_gen·****** | 3 | ******·Module·proper_gen·****** |
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | Generator·subsystem·and·generators·for·basic·types. | 8 | Generator·subsystem·and·generators·for·basic·types. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | Version:· | 10 | Version:·Feb·11·2025·06:38:02 |
| 11 | Authors:·Manolis·Papadakis. | 11 | Authors:·Manolis·Papadakis. |
| 12 | *****·Description·***** | 12 | *****·Description·***** |
| 13 | Generator·subsystem·and·generators·for·basic·types. | 13 | Generator·subsystem·and·generators·for·basic·types. |
| 14 | You·can·use·these·functions·to·try·out·the·random·instance·generation·and | 14 | You·can·use·these·functions·to·try·out·the·random·instance·generation·and |
| 15 | shrinking·subsystems. | 15 | shrinking·subsystems. |
| 16 | CAUTION:·These·functions·should·never·be·used·inside·properties.·They·are·meant | 16 | CAUTION:·These·functions·should·never·be·used·inside·properties.·They·are·meant |
| 17 | for·demonstration·purposes·only. | 17 | for·demonstration·purposes·only. |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Overview·[erlang_logo] | 1 | Overview·[erlang_logo] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | ******·Module·proper_sa·****** | 3 | ******·Module·proper_sa·****** |
| 4 | ····*·Data_Types | 4 | ····*·Data_Types |
| 5 | ····*·Function_Index | 5 | ····*·Function_Index |
| 6 | ····*·Function_Details | 6 | ····*·Function_Details |
| 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas | 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas |
| 8 | Version:· | 8 | Version:·Feb·11·2025·06:38:02 |
| 9 | Behaviours:·proper_target. | 9 | Behaviours:·proper_target. |
| 10 | Authors:·Andreas·Löscher. | 10 | Authors:·Andreas·Löscher. |
| 11 | *****·Data·Types·***** | 11 | *****·Data·Types·***** |
| 12 | ****·first_next()·**** | 12 | ****·first_next()·**** |
| 13 | first_next()·=·proper_target:tmap() | 13 | first_next()·=·proper_target:tmap() |
| 14 | *****·Function·Index·***** | 14 | *****·Function·Index·***** |
| 15 | ·________________________ | 15 | ·________________________ |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 1, 14 lines modified | Offset 1, 14 lines modified | ||
| 1 | Overview·[erlang_logo] | 1 | Overview·[erlang_logo] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | ******·Module·proper_sa_gen·****** | 3 | ******·Module·proper_sa_gen·****** |
| 4 | ····*·Function_Index | 4 | ····*·Function_Index |
| 5 | ····*·Function_Details | 5 | ····*·Function_Details |
| 6 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas | 6 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas |
| 7 | Version:· | 7 | Version:·Feb·11·2025·06:38:02 |
| 8 | Authors:·Andreas·Löscher. | 8 | Authors:·Andreas·Löscher. |
| 9 | *****·Function·Index·***** | 9 | *****·Function·Index·***** |
| 10 | ·__________________________ | 10 | ·__________________________ |
| 11 | |from_proper_generator/1__|| | 11 | |from_proper_generator/1__|| |
| 12 | |set_temperature_scaling/1|| | 12 | |set_temperature_scaling/1|| |
| 13 | |update_caches/1__________|| | 13 | |update_caches/1__________|| |
| 14 | *****·Function·Details·***** | 14 | *****·Function·Details·***** |
| 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>· | 16 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 5, 15 lines modified | Offset 5, 15 lines modified | ||
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful | 8 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful |
| 9 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an | 9 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an |
| 10 | abstract·state·machine. | 10 | abstract·state·machine. |
| 11 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 11 | Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 12 | Version:· | 12 | Version:·Feb·11·2025·06:38:02 |
| 13 | Authors:·Eirini·Arvaniti. | 13 | Authors:·Eirini·Arvaniti. |
| 14 | *****·Description·***** | 14 | *****·Description·***** |
| 15 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful | 15 | This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful |
| 16 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an | 16 | reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an |
| 17 | abstract·state·machine.·Given·a·callback·module·implementing·the·proper_statem | 17 | abstract·state·machine.·Given·a·callback·module·implementing·the·proper_statem |
| 18 | behaviour·(i.e.·defining·an·abstract·state·machine·of·the·system·under·test), | 18 | behaviour·(i.e.·defining·an·abstract·state·machine·of·the·system·under·test), |
| 19 | PropEr·can·generate·random·symbolic·sequences·of·calls·to·that·system.·As·a | 19 | PropEr·can·generate·random·symbolic·sequences·of·calls·to·that·system.·As·a |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:02</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 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | ******·Module·proper_symb·****** | 3 | ******·Module·proper_symb·****** |
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | Symbolic·datatypes·handling·functions. | 8 | Symbolic·datatypes·handling·functions. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | Version:· | 10 | Version:·Feb·11·2025·06:38:02 |
| 11 | Authors:·Manolis·Papadakis. | 11 | Authors:·Manolis·Papadakis. |
| 12 | *****·Description·***** | 12 | *****·Description·***** |
| 13 | Symbolic·datatypes·handling·functions. | 13 | Symbolic·datatypes·handling·functions. |
| 14 | ****·Symbolic·datatypes·**** | 14 | ****·Symbolic·datatypes·**** |
| 15 | When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or | 15 | When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or |
| 16 | sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal | 16 | sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal |
| 17 | representation·directly.·Working,·instead,·with·a·symbolic·representation·of | 17 | representation·directly.·Working,·instead,·with·a·symbolic·representation·of |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:01</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 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Overview·[erlang_logo] | 1 | Overview·[erlang_logo] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | ******·Module·proper_target·****** | 3 | ******·Module·proper_target·****** |
| 4 | ····*·Data_Types | 4 | ····*·Data_Types |
| 5 | ····*·Function_Index | 5 | ····*·Function_Index |
| 6 | ····*·Function_Details | 6 | ····*·Function_Details |
| 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas | 7 | Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas |
| 8 | Version:· | 8 | Version:·Feb·11·2025·06:38:01 |
| 9 | Authors:·Andreas·Löscher. | 9 | Authors:·Andreas·Löscher. |
| 10 | *****·Data·Types·***** | 10 | *****·Data·Types·***** |
| 11 | ****·fitness()·**** | 11 | ****·fitness()·**** |
| 12 | fitness()·=·number() | 12 | fitness()·=·number() |
| 13 | ****·fitness_func()·**** | 13 | ****·fitness_func()·**** |
| 14 | fitness_func()·= | 14 | fitness_func()·= |
| 15 | ····fun((target_state(),·fitness())·->·target_state()) | 15 | ····fun((target_state(),·fitness())·->·target_state()) |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:01</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 1, 14 lines modified | Offset 1, 14 lines modified | ||
| 1 | Overview·[erlang_logo] | 1 | Overview·[erlang_logo] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | ******·Module·proper_transformer·****** | 3 | ******·Module·proper_transformer·****** |
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | PropEr's·main·parse·transform. | 5 | PropEr's·main·parse·transform. |
| 6 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 6 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 7 | Version:· | 7 | Version:·Feb·11·2025·06:38:01 |
| 8 | Authors:·Manolis·Papadakis. | 8 | Authors:·Manolis·Papadakis. |
| 9 | *****·Description·***** | 9 | *****·Description·***** |
| 10 | PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules·when | 10 | PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules·when |
| 11 | including·the·main·PropEr·header,·unless·PROPER_NO_TRANS·is·defined.·Applying | 11 | including·the·main·PropEr·header,·unless·PROPER_NO_TRANS·is·defined.·Applying |
| 12 | this·transform·has·the·following·effects: | 12 | this·transform·has·the·following·effects: |
| 13 | ····*·All·0-arity·functions·whose·name·begins·with·prop_·are·automatically | 13 | ····*·All·0-arity·functions·whose·name·begins·with·prop_·are·automatically |
| 14 | ······exported. | 14 | ······exported. |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:01</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 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | ******·Module·proper_types·****** | 3 | ******·Module·proper_types·****** |
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | Type·manipulation·functions·and·predefined·types. | 8 | Type·manipulation·functions·and·predefined·types. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | Version:· | 10 | Version:·Feb·11·2025·06:38:01 |
| 11 | Authors:·Manolis·Papadakis. | 11 | Authors:·Manolis·Papadakis. |
| 12 | *****·Description·***** | 12 | *****·Description·***** |
| 13 | Type·manipulation·functions·and·predefined·types. | 13 | Type·manipulation·functions·and·predefined·types. |
| 14 | ****·Basic·types·**** | 14 | ****·Basic·types·**** |
| 15 | This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as·functions. | 15 | This·module·defines·all·the·basic·types·of·the·PropEr·type·system·as·functions. |
| 16 | See·the·function_index·for·an·overview. | 16 | See·the·function_index·for·an·overview. |
| 17 | Types·can·be·combined·in·tuples·or·lists·to·produce·other·types.·Exact·values | 17 | Types·can·be·combined·in·tuples·or·lists·to·produce·other·types.·Exact·values |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:01</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 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | ******·Module·proper_typeserver·****** | 3 | ******·Module·proper_typeserver·****** |
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | Erlang·type·system·-·PropEr·type·system·integration·module. | 8 | Erlang·type·system·-·PropEr·type·system·integration·module. |
| 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 9 | Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 10 | Version:· | 10 | Version:·Feb·11·2025·06:38:01 |
| 11 | Behaviours:·gen_server. | 11 | Behaviours:·gen_server. |
| 12 | Authors:·Manolis·Papadakis. | 12 | Authors:·Manolis·Papadakis. |
| 13 | *****·Description·***** | 13 | *****·Description·***** |
| 14 | Erlang·type·system·-·PropEr·type·system·integration·module. | 14 | Erlang·type·system·-·PropEr·type·system·integration·module. |
| 15 | PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them·to | 15 | PropEr·can·parse·types·expressed·in·Erlang's·type·language·and·convert·them·to |
| 16 | its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type | 16 | its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type |
| 17 | constructors·in·the·second·argument·of·?FORALLs.·No·extra·notation·is·required; | 17 | constructors·in·the·second·argument·of·?FORALLs.·No·extra·notation·is·required; |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:01</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 3, 15 lines modified | Offset 3, 15 lines modified | ||
| 3 | ******·Module·proper_unicode·****** | 3 | ******·Module·proper_unicode·****** |
| 4 | ····*·Description | 4 | ····*·Description |
| 5 | ····*·Data_Types | 5 | ····*·Data_Types |
| 6 | ····*·Function_Index | 6 | ····*·Function_Index |
| 7 | ····*·Function_Details | 7 | ····*·Function_Details |
| 8 | Unicode·generators·for·PropEr. | 8 | Unicode·generators·for·PropEr. |
| 9 | Copyright·©·2014·Motiejus·Jakstys | 9 | Copyright·©·2014·Motiejus·Jakstys |
| 10 | Version:· | 10 | Version:·Feb·11·2025·06:38:01 |
| 11 | Authors:·Motiejus·Jakstys. | 11 | Authors:·Motiejus·Jakstys. |
| 12 | *****·Description·***** | 12 | *****·Description·***** |
| 13 | Unicode·generators·for·PropEr | 13 | Unicode·generators·for·PropEr |
| 14 | This·module·exposes·utf8·binary·generator. | 14 | This·module·exposes·utf8·binary·generator. |
| 15 | Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,·utf16 | 15 | Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,·utf16 |
| 16 | binary·generator: | 16 | binary·generator: |
| 17 | ···utf16()·-> | 17 | ···utf16()·-> |
| 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>· | 14 | <p><b>Version:</b>·Feb·11·2025·06:38:01</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> |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Overview·[erlang_logo] | 1 | Overview·[erlang_logo] |
| 2 | =============================================================================== | 2 | =============================================================================== |
| 3 | ******·Module·proper_unused_imports_remover·****** | 3 | ******·Module·proper_unused_imports_remover·****** |
| 4 | ····*·Data_Types | 4 | ····*·Data_Types |
| 5 | ····*·Function_Index | 5 | ····*·Function_Index |
| 6 | ····*·Function_Details | 6 | ····*·Function_Details |
| 7 | Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas | 7 | Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas |
| 8 | Version:· | 8 | Version:·Feb·11·2025·06:38:01 |
| 9 | Authors:·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas). | 9 | Authors:·Zaiming·Shi·(modifications·and·update·by·Kostis·Sagonas). |
| 10 | *****·Data·Types·***** | 10 | *****·Data·Types·***** |
| 11 | ****·abs_form()·**** | 11 | ****·abs_form()·**** |
| 12 | abs_form()·=·erl_parse:abstract_form() | 12 | abs_form()·=·erl_parse:abstract_form() |
| 13 | *****·Function·Index·***** | 13 | *****·Function·Index·***** |
| 14 | ·__________________ | 14 | ·__________________ |
| 15 | |parse_transform/2|| | 15 | |parse_transform/2|| |