diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-04 10:55:29 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-04 10:55:29 +0000 |
commit | 995406b4d28a903ad3be01d99852a086e80cadd9 (patch) | |
tree | 94afd912a7715d7fe1a411b88b3d5ec56dd0b9b2 /api/dotty/tools/dotc/core/Types$/Type.html | |
parent | 887b63e21b00f867602570c5cbcacb47b46cd5e2 (diff) | |
download | dotty-995406b4d28a903ad3be01d99852a086e80cadd9.tar.gz dotty-995406b4d28a903ad3be01d99852a086e80cadd9.tar.bz2 dotty-995406b4d28a903ad3be01d99852a086e80cadd9.zip |
Update gh-pages site for abd09ff1fcd4a43b67b1dc029f1d375d0e1b57b9
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$/Type.html')
-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 fd50bed8d..0259a47b5 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -6325,9 +6325,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> @@ -6349,12 +6349,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> @@ -6382,17 +6379,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> @@ -6408,9 +6399,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> @@ -6432,17 +6423,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> @@ -6470,11 +6456,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> @@ -6490,9 +6482,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> @@ -6514,7 +6506,15 @@ Type <span class="no-left"> - arg: + arg1: + </span> + Type + + <span class="no-left">, </span> + + + <span class=""> + arg2: </span> Type @@ -6544,10 +6544,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> |