diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 19:19:12 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 19:19:12 +0000 |
| commit | 7823a3380a98aa3866c276e2a26b3fa212767f0d (patch) | |
| tree | 26419cce097e9f09f1fbfe843fbc27a4ace7c647 /api/dotty/tools/dotc/core/Types$ | |
| parent | b7edcf82c9a19081730fb8d4b353d31f36d81dc7 (diff) | |
| download | dotty-7823a3380a98aa3866c276e2a26b3fa212767f0d.tar.gz dotty-7823a3380a98aa3866c276e2a26b3fa212767f0d.tar.bz2 dotty-7823a3380a98aa3866c276e2a26b3fa212767f0d.zip | |
Update gh-pages site for 10a1300b7599407a7c6078244c4b7692e339b39f
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$')
| -rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 76 |
1 files changed, 38 insertions, 38 deletions
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index 2043fc72d..b6fb388e9 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -6528,9 +6528,9 @@ is covariant is irrelevant, so can be ignored.</p> </script> </div><!-- end member --> - <div id="appliedTo(args)(ctx)" class="member "> + <div id="appliedTo(arg)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6552,12 +6552,9 @@ is covariant is irrelevant, so can be ignored.</p> <span class="no-left"> - args: + arg: </span> - List -<span class="no-left no-right">[</span> -Type -<span class="no-left">]</span> + Type <span class="no-left">)</span> @@ -6585,17 +6582,11 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> + </div> - <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> + </div> </div> <script> @@ -6611,9 +6602,9 @@ Type </script> </div><!-- end member --> - <div id="appliedTo(arg)(ctx)" class="member "> + <div id="appliedTo(arg1,arg2)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6635,7 +6626,15 @@ Type <span class="no-left"> - arg: + arg1: + </span> + Type + + <span class="no-left">, </span> + + + <span class=""> + arg2: </span> Type @@ -6665,10 +6664,10 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> + <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)"> </div> - <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> + <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)"> </div> </div> @@ -6685,9 +6684,9 @@ Type </script> </div><!-- end member --> - <div id="appliedTo(arg1,arg2)(ctx)" class="member "> + <div id="appliedTo(args)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6709,17 +6708,12 @@ Type <span class="no-left"> - arg1: - </span> - Type - - <span class="no-left">, </span> - - - <span class=""> - arg2: + args: </span> - Type + List +<span class="no-left no-right">[</span> +Type +<span class="no-left">]</span> <span class="no-left">)</span> @@ -6747,11 +6741,17 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)"> - + <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> - <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)"> - + <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> </div> <script> |