-
Notifications
You must be signed in to change notification settings - Fork 1k
/
sidebar.yml
179 lines (179 loc) · 7.96 KB
/
sidebar.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
sidebar:
- title: Blog
url: blog/index.html
- title: Usage
subsection:
- title: Getting Started
url: docs/usage/getting-started.html
- title: sbt-projects
url: docs/usage/sbt-projects.html
- title: IDE support for Dotty
url: docs/usage/ide-support.html
- title: Worksheet mode in Dotty IDE
url: docs/usage/worksheet-mode.html
- title: cbt-projects
url: docs/usage/cbt-projects.html
- title: Dottydoc
url: docs/usage/dottydoc.html
- title: Reference
subsection:
- title: Overview
url: docs/reference/overview.html
- title: New Types
subsection:
- title: Intersection types
url: docs/reference/new-types/intersection-types.html
- title: Union types
url: docs/reference/new-types/union-types.html
- title: Type lambdas
url: docs/reference/new-types/type-lambdas.html
- title: Match types
url: docs/reference/new-types/match-types.html
- title: Dependent Function Types
url: docs/reference/new-types/dependent-function-types.html
- title: Enums
subsection:
- title: Enumerations
url: docs/reference/enums/enums.html
- title: Algebraic Data Types
url: docs/reference/enums/adts.html
- title: Translation
url: docs/reference/enums/desugarEnums.html
- title: Contextual Abstractions
subsection:
- title: Implied Instances
url: docs/reference/contextual/instance-defs.html
- title: Inferable Parameters
url: docs/reference/contextual/inferable-params.html
- title: Context Bounds
url: docs/reference/contextual/context-bounds.html
- title: Implied Imports
url: docs/reference/contextual/import-implied.html
- title: Extension Methods
url: docs/reference/contextual/extension-methods.html
- title: Implementing Typeclasses
url: docs/reference/contextual/typeclasses.html
- title: Typeclass Derivation
url: docs/reference/contextual/derivation.html
- title: Context Queries
url: docs/reference/contextual/query-types.html
- title: Implicit Conversions
url: docs/reference/contextual/conversions.html
- title: Inferable By-Name Parameters
url: docs/reference/contextual/inferable-by-name-parameters.html
- title: Relationship with Scala 2 Implicits
url: docs/reference/contextual/relationship-implicits.html
- title: Other New Features
subsection:
- title: Multiversal Equality
url: docs/reference/other-new-features/multiversal-equality.html
- title: Trait Parameters
url: docs/reference/other-new-features/trait-parameters.html
- title: Inlining by Rewriting
url: docs/reference/other-new-features/inline.html
- title: Meta Programming
url: docs/reference/other-new-features/principled-meta-programming.html
- title: TASTy Reflect
url: docs/reference/other-new-features/tasty-reflect.html
- title: Opaque Type Aliases
url: docs/reference/other-new-features/opaques.html
- title: Auto Parameter Tupling
url: docs/reference/other-new-features/auto-parameter-tupling.html
- title: Named Type Arguments
url: docs/reference/other-new-features/named-typeargs.html
- title: Erased Terms
url: docs/reference/other-new-features/erased-terms.html
- title: Kind Polymorphism
url: docs/reference/other-new-features/kind-polymorphism.html
- title: Other Changed Features
subsection:
- title: Volatile Lazy Vals
url: docs/reference/changed-features/lazy-vals.html
- title: Structural Types
url: docs/reference/changed-features/structural-types.html
- title: Type Checking
url: docs/reference/changed-features/type-checking.html
- title: Type Inference
url: docs/reference/changed-features/type-inference.html
- title: Implicit Resolution
url: docs/reference/changed-features/implicit-resolution.html
- title: Implicit Conversions
url: docs/reference/changed-features/implicit-conversions.html
- title: Vararg Patterns
url: docs/reference/changed-features/vararg-patterns.html
- title: Pattern matching
url: docs/reference/changed-features/pattern-matching.html
- title: Eta Expansion
url: docs/reference/changed-features/eta-expansion.html
- title: Compiler Plugins
url: docs/reference/changed-features/compiler-plugins.html
- title: Dropped Features
subsection:
- title: DelayedInit
url: docs/reference/dropped-features/delayed-init.html
- title: Macros
url: docs/reference/dropped-features/macros.html
- title: Existential Types
url: docs/reference/dropped-features/existential-types.html
- title: Type Projection
url: docs/reference/dropped-features/type-projection.html
- title: Procedure Syntax
url: docs/reference/dropped-features/procedure-syntax.html
- title: Package Objects
url: docs/reference/dropped-features/package-objects.html
- title: Early Initializers
url: docs/reference/dropped-features/early-initializers.html
- title: Class Shadowing
url: docs/reference/dropped-features/class-shadowing.html
- title: Limit 22
url: docs/reference/dropped-features/limit22.html
- title: XML literals
url: docs/reference/dropped-features/xml.html
- title: Symbol Literals
url: docs/reference/dropped-features/symlits.html
- title: Auto-Application
url: docs/reference/dropped-features/auto-apply.html
- title: Weak Conformance
url: docs/reference/dropped-features/weak-conformance.html
- title: Contributing
subsection:
- title: Getting Started
url: docs/contributing/getting-started.html
- title: Workflow
url: docs/contributing/workflow.html
- title: Eclipse
url: docs/contributing/eclipse.html
- title: IntelliJ IDEA
url: docs/contributing/intellij-idea.html
- title: Testing
url: docs/contributing/testing.html
- title: Working with the Backend
url: docs/contributing/backend.html
- title: Internals
subsection:
- title: Backend
url: docs/internals/backend.html
- title: Classpaths
url: docs/internals/classpaths.html
- title: Core Data Structrues
url: docs/internals/core-data-structures.html
- title: Contexts
url: docs/internals/contexts.html
- title: Dotc vs Scalac
url: docs/internals/dotc-scalac.html
- title: Higher-Kinded Types
url: docs/internals/higher-kinded-v2.html
- title: Overall Structure
url: docs/internals/overall-structure.html
- title: Periods
url: docs/internals/periods.html
- title: Syntax
url: docs/internals/syntax.html
- title: Type System
url: docs/internals/type-system.html
- title: "Dotty Internals 1: Trees & Symbols (Meeting Notes)"
url: docs/internals/dotty-internals-1-notes.html
- title: Resources
subsection:
- title: Talks
url: docs/resources/talks.html