27.2 KB
/srv/reproducible-results/rbuild-debian/r-b-build.rRAqIRST/b1/erlang-proper_1.2+git988ea0ed9f+dfsg-2.1_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.rRAqIRST/b2/erlang-proper_1.2+git988ea0ed9f+dfsg-2.1_i386.changes
458 B
Files
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 ·45329abbcb874b4325455bdd5a68933a·5876·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2.1_i386.deb1 ·45329abbcb874b4325455bdd5a68933a·5876·devel·optional·erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2.1_i386.deb
2 ·5b61ee82f967923a52737b1aa3b65762·35948·doc·optional·erlang-proper-doc_1.2+git988ea0ed9f+dfsg-2.1_all.deb2 ·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.deb3 ·dc8f46f95cf86d88c029a7e3e9bb4d3d·303776·devel·optional·erlang-proper_1.2+git988ea0ed9f+dfsg-2.1_i386.deb
26.6 KB
erlang-proper-doc_1.2+git988ea0ed9f+dfsg-2.1_all.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2021-01-02·15:29:53.000000·debian-binary1 -rw-r--r--···0········0········0········4·2021-01-02·15:29:53.000000·debian-binary
2 -rw-r--r--···0········0········0·····1204·2021-01-02·15:29:53.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1200·2021-01-02·15:29:53.000000·control.tar.xz
3 -rw-r--r--···0········0········0····34552·2021-01-02·15:29:53.000000·data.tar.xz3 -rw-r--r--···0········0········0····34536·2021-01-02·15:29:53.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
25.9 KB
data.tar.xz
25.9 KB
data.tar
1.85 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>·Jan·10·2024·00:14:11</p>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·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>
  
666 B
html2text {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
1 Overview·[erlang_logo]1 Overview·[erlang_logo]
2 ******·PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang2 ******·PropEr:·A·QuickCheck-inspired·property-based·testing·tool·for·Erlang
3 ******3 ******
4 Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas4 Copyright·©·2010-2013·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
5 Version:·Jan·10·2024·00:14:115 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·first7 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's8 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·for9 README·file).·The·bulk·of·the·PropEr·API·is·contained·in·the·documentation·for
10 the·following·modules:10 the·following·modules:
11 ··proper11 ··proper
12 ······how·to·write·properties,·how·to·invoke·PropEr,·different·modes·of12 ······how·to·write·properties,·how·to·invoke·PropEr,·different·modes·of
1.91 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>·Jan·10·2024·00:14:11</p>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·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
679 B
html2text {}
    
Offset 3, 15 lines modifiedOffset 3, 15 lines modified
3 ******·Module·proper·******3 ******·Module·proper·******
4 ····*·Description4 ····*·Description
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·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·Sagonas9 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
10 Version:·Jan·10·2024·00:14:1110 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·boolean15 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·to16 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·false17 evaluate·to·true.·Thus,·the·test·true·always·succeeds,·while·the·test·false
1.99 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>·Jan·10·2024·00:14:11</p>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·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
815 B
html2text {}
    
Offset 4, 15 lines modifiedOffset 4, 15 lines modified
4 ····*·Description4 ····*·Description
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·Function_Details
8 This·module·defines·the·proper_fsm·behaviour,·useful·for·testing·systems·that8 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·Sagonas10 Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
11 Version:·Jan·10·2024·00:14:1111 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·that14 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·named15 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·to16 states·and·transitions·between·them.·proper_fsm·is·closely·related·to
17 proper_statem·and·is,·in·fact,·implemented·in·terms·of·that.·Testcases17 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·testcases18 generated·using·proper_fsm·will·be·on·precisely·the·same·form·as·testcases
1.86 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>·Jan·10·2024·00:14:10</p>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 ··
670 B
html2text {}
    
Offset 3, 15 lines modifiedOffset 3, 15 lines modified
3 ******·Module·proper_gen·******3 ******·Module·proper_gen·******
4 ····*·Description4 ····*·Description
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·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·Sagonas9 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
10 Version:·Jan·10·2024·00:14:1010 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·and14 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·meant16 CAUTION:·These·functions·should·never·be·used·inside·properties.·They·are·meant
17 for·demonstration·purposes·only.17 for·demonstration·purposes·only.
1.67 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>·Jan·10·2024·00:14:10</p>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>
553 B
html2text {}
    
Offset 1, 15 lines modifiedOffset 1, 15 lines modified
1 Overview·[erlang_logo]1 Overview·[erlang_logo]
2 ===============================================================================2 ===============================================================================
3 ******·Module·proper_sa·******3 ******·Module·proper_sa·******
4 ····*·Data_Types4 ····*·Data_Types
5 ····*·Function_Index5 ····*·Function_Index
6 ····*·Function_Details6 ····*·Function_Details
7 Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas7 Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas
8 Version:·Jan·10·2024·00:14:108 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 ·________________________
1.78 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>·Jan·10·2024·00:14:11</p>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>
548 B
html2text {}
    
Offset 1, 14 lines modifiedOffset 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_Index4 ····*·Function_Index
5 ····*·Function_Details5 ····*·Function_Details
6 Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas6 Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas
7 Version:·Jan·10·2024·00:14:117 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·*****
2.05 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>·Jan·10·2024·00:14:10</p>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·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···
868 B
html2text {}
    
Offset 5, 15 lines modifiedOffset 5, 15 lines modified
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·Function_Details
8 This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful8 This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful
9 reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an9 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·Sagonas11 Copyright·©·2010-2016·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
12 Version:·Jan·10·2024·00:14:1012 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·stateful15 This·module·defines·the·proper_statem·behaviour,·useful·for·testing·stateful
16 reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an16 reactive·systems·whose·internal·state·and·side-effects·are·specified·via·an
17 abstract·state·machine.·Given·a·callback·module·implementing·the·proper_statem17 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·a19 PropEr·can·generate·random·symbolic·sequences·of·calls·to·that·system.·As·a
1.92 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>·Jan·10·2024·00:14:10</p>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·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
683 B
html2text {}
    
Offset 3, 15 lines modifiedOffset 3, 15 lines modified
3 ******·Module·proper_symb·******3 ******·Module·proper_symb·******
4 ····*·Description4 ····*·Description
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·Function_Details
8 Symbolic·datatypes·handling·functions.8 Symbolic·datatypes·handling·functions.
9 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas9 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
10 Version:·Jan·10·2024·00:14:1010 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·or15 When·writing·properties·that·involve·abstract·data·types,·such·as·dicts·or
16 sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal16 sets,·it·is·usually·best·to·avoid·dealing·with·the·ADTs'·internal
17 representation·directly.·Working,·instead,·with·a·symbolic·representation·of17 representation·directly.·Working,·instead,·with·a·symbolic·representation·of
1.54 KB
./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>·Jan·10·2024·00:14:10</p>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>
  
556 B
html2text {}
    
Offset 1, 15 lines modifiedOffset 1, 15 lines modified
1 Overview·[erlang_logo]1 Overview·[erlang_logo]
2 ===============================================================================2 ===============================================================================
3 ******·Module·proper_target·******3 ******·Module·proper_target·******
4 ····*·Data_Types4 ····*·Data_Types
5 ····*·Function_Index5 ····*·Function_Index
6 ····*·Function_Details6 ····*·Function_Details
7 Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas7 Copyright·©·2017·Andreas·Löscher·and·Kostis·Sagonas
8 Version:·Jan·10·2024·00:14:108 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())
1.89 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>·Jan·10·2024·00:14:10</p>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·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
723 B
html2text {}
    
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 Overview·[erlang_logo]1 Overview·[erlang_logo]
2 ===============================================================================2 ===============================================================================
3 ******·Module·proper_transformer·******3 ******·Module·proper_transformer·******
4 ····*·Description4 ····*·Description
5 PropEr's·main·parse·transform.5 PropEr's·main·parse·transform.
6 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas6 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
7 Version:·Jan·10·2024·00:14:107 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·when10 PropEr's·main·parse·transform.·It·is·automatically·applied·to·modules·when
11 including·the·main·PropEr·header,·unless·PROPER_NO_TRANS·is·defined.·Applying11 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·automatically13 ····*·All·0-arity·functions·whose·name·begins·with·prop_·are·automatically
14 ······exported.14 ······exported.
1.94 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>·Jan·10·2024·00:14:11</p>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·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>
679 B
html2text {}
    
Offset 3, 15 lines modifiedOffset 3, 15 lines modified
3 ******·Module·proper_types·******3 ******·Module·proper_types·******
4 ····*·Description4 ····*·Description
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·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·Sagonas9 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
10 Version:·Jan·10·2024·00:14:1110 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·values17 Types·can·be·combined·in·tuples·or·lists·to·produce·other·types.·Exact·values
2.07 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>·Jan·10·2024·00:14:10</p>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·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
741 B
html2text {}
    
Offset 3, 15 lines modifiedOffset 3, 15 lines modified
3 ******·Module·proper_typeserver·******3 ******·Module·proper_typeserver·******
4 ····*·Description4 ····*·Description
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·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·Sagonas9 Copyright·©·2010-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
10 Version:·Jan·10·2024·00:14:1010 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·to15 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·type16 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;
1.65 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>·Jan·10·2024·00:14:10</p>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,···
530 B
html2text {}
    
Offset 3, 15 lines modifiedOffset 3, 15 lines modified
3 ******·Module·proper_unicode·******3 ******·Module·proper_unicode·******
4 ····*·Description4 ····*·Description
5 ····*·Data_Types5 ····*·Data_Types
6 ····*·Function_Index6 ····*·Function_Index
7 ····*·Function_Details7 ····*·Function_Details
8 Unicode·generators·for·PropEr.8 Unicode·generators·for·PropEr.
9 Copyright·©·2014·Motiejus·Jakstys9 Copyright·©·2014·Motiejus·Jakstys
10 Version:·Jan·10·2024·00:14:1010 Version:·Feb·11·2025·06:38:01
11 Authors:·Motiejus·Jakstys.11 Authors:·Motiejus·Jakstys.
12 *****·Description·*****12 *****·Description·*****
13 Unicode·generators·for·PropEr13 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,·utf1615 Makes·it·easy·to·create·custom-encoded·unicode·binaries.·For·example,·utf16
16 binary·generator:16 binary·generator:
17 ···utf16()·->17 ···utf16()·->
1.79 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>·Jan·10·2024·00:14:10</p>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>
  
627 B
html2text {}
    
Offset 1, 15 lines modifiedOffset 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_Types4 ····*·Data_Types
5 ····*·Function_Index5 ····*·Function_Index
6 ····*·Function_Details6 ····*·Function_Details
7 Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas7 Copyright·©·2015-2017·Manolis·Papadakis,·Eirini·Arvaniti·and·Kostis·Sagonas
8 Version:·Jan·10·2024·00:14:108 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||