18.1 KB
/srv/reproducible-results/rbuild-debian/tmp.GZETf2JdIL/b1/erlang-proper_1.2+git988ea0ed9f+dfsg-2_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.GZETf2JdIL/b2/erlang-proper_1.2+git988ea0ed9f+dfsg-2_armhf.changes
452 B
Files
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 ·bde8343478a8bf544cdf18e1a4bc61fe·5756·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2_armhf.deb1 ·bde8343478a8bf544cdf18e1a4bc61fe·5756·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2_armhf.deb
2 ·f5b88339d2e0dd74c038e6b6e83e3a3d·35832·doc·optional·erlang-proper-doc_1.2+git988ea0ed9f+dfsg-2_all.deb2 ·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.deb3 ·d2b25d4318b6925fe789d0302b6b1fb6·308440·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2_armhf.deb
17.4 KB
erlang-proper-doc_1.2+git988ea0ed9f+dfsg-2_all.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2018-05-31·22:43:12.000000·debian-binary1 -rw-r--r--···0········0········0········4·2018-05-31·22:43:12.000000·debian-binary
2 -rw-r--r--···0········0········0·····1200·2018-05-31·22:43:12.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1196·2018-05-31·22:43:12.000000·control.tar.xz
3 -rw-r--r--···0········0········0····34440·2018-05-31·22:43:12.000000·data.tar.xz3 -rw-r--r--···0········0········0····34464·2018-05-31·22:43:12.000000·data.tar.xz
98.0 B
control.tar.xz
70.0 B
control.tar
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
16.8 KB
data.tar.xz
16.8 KB
data.tar
1.19 KB
./usr/share/doc/erlang-proper-doc/edoc/overview-summary.html
    
Offset 7, 15 lines modifiedOffset 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·Erlang11 <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·7·2020·18:17:05</p>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·should16 <p>This·is·PropEr's·Reference·Manual.·If·you·are·new·to·PropEr,·you·should
17 first·read·the·User·Guide·(available·online·at17 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·in19 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>
  
1.25 KB
./usr/share/doc/erlang-proper-doc/edoc/proper.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:02</p>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·boolean19 ···The·simplest·properties·that·PropEr·can·test·consist·of·a·single·boolean
20 ···expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected20 ···expression·(or·a·statement·block·that·returns·a·boolean),·which·is·expected
1.19 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_fsm.html
    
Offset 10, 15 lines modifiedOffset 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·testing12 <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·7·2020·18:17:03</p>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·testing17 <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·finite18 ···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>·is19 ···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·in20 ···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·precisely21 ···terms·of·that.·Testcases·generated·using·<code>proper_fsm</code>·will·be·on·precisely
1.2 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_gen.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:01</p>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 ··
1.12 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_sa.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:04</p>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>
1.24 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_sa_gen.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:05</p>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>
1.2 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_statem.html
    
Offset 11, 15 lines modifiedOffset 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·testing12 <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·are13 ···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·7·2020·18:17:04</p>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·testing18 <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·are19 ···stateful·reactive·systems·whose·internal·state·and·side-effects·are
20 ···specified·via·an·abstract·state·machine.·Given·a·callback·module20 ···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···
1.25 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_symb.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:04</p>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·or19 ···When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or
20 ···sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal20 ···sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal
1020 B
./usr/share/doc/erlang-proper-doc/edoc/proper_target.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:04</p>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>
  
1.19 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_transformer.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:04</p>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·modules16 <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·automatically20 ···<li>All·0-arity·functions·whose·name·begins·with·<code>prop_</code>·are·automatically
1.27 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_types.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:03</p>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·as19 ···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>
1.34 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_typeserver.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:04</p>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·them19 ···<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·type20 ···to·its·own·type·format.·Such·expressions·can·be·used·instead·of·regular·type
1.13 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_unicode.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:04</p>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,···
1.17 KB
./usr/share/doc/erlang-proper-doc/edoc/proper_unused_imports_remover.html
    
Offset 9, 15 lines modifiedOffset 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·7·2020·18:17:05</p>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>