Dotty Documentation
0.20.0-bin-SNAPSHOT
Blog
Usage
Getting Started
sbt-projects
IDE support for Dotty
Worksheet mode in Dotty IDE
cbt-projects
Dottydoc
Reference
Overview
New Types
Intersection types
Union types
Type lambdas
Match types
Dependent Function Types
Enums
Enumerations
Algebraic Data Types
Translation
Contextual Abstractions
Overview
Given Instances
Given Clauses
Context Bounds
Given Imports
Extension Methods
Implementing Typeclasses
Typeclass Derivation
Multiversal Equality
Implicit Function Types
Implicit Conversions
Implicit By-Name Parameters
Relationship with Scala 2 Implicits
Metaprogramming
Overview
Inline
Macros
Staging
Erased Terms
TASTy Reflection
TASTy Inspection
Other New Features
Trait Parameters
Creator Applications
Export Clauses
Opaque Type Aliases
Parameter Untupling
Kind Polymorphism
Tupled Function
threadUnsafe Annotation
New Control Syntax
Optional Braces
Other Changed Features
Numeric Literals
Structural Types
Operators
Wildcard Types
Type Checking
Type Inference
Implicit Resolution
Implicit Conversions
Overload Resolution
Vararg Patterns
Pattern Bindings
Pattern Matching
Eta Expansion
Compiler Plugins
Lazy Vals initialization
Main Functions
Dropped Features
DelayedInit
Macros
Existential Types
Type Projection
Do-While
Procedure Syntax
Package Objects
Early Initializers
Class Shadowing
Limit 22
XML literals
Symbol Literals
Auto-Application
Weak Conformance
Nonlocal Returns
Contributing
Contribute Knowledge
Getting Started
Workflow
Testing
Debugging
IDEs and Tools
Mill
Scalafix
Procedures
Release Model
Modifying the Test Framework
Internals
Backend
Classpaths
Core Data Structrues
Contexts
Dotc vs Scalac
Higher-Kinded Types
Overall Structure
Periods
Syntax
Type System
Dotty Internals 1: Trees & Symbols (Meeting Notes)
Debug Macros
Resources
Talks
API
dotty
O
DottyPredef
dotty.internal
O
StringContextMacro
dotty.runtime
O
Arrays
O
LazyVals
scala
O
C
*:
C
Conversion
T
Enum
O
T
Eql
T
FunctionXXL
T
NonEmptyTuple
T
PolyFunction
O
T
Product0
T
Selectable
O
T
Tuple
O
C
TupleXXL
T
TupledFunction
O
deriving
C
forceInline
C
main
scala.annotation
T
RefiningAnnotation
C
alpha
C
constructorOnly
C
infix
C
static
C
threadUnsafe
scala.annotation.internal
C
Alias
C
AnnotationDefault
C
Body
C
Child
C
InlineParam
C
Repeated
C
SourceFile
C
WithBounds
C
sharable
C
unshared
scala.compiletime
scala.compiletime.testing
scala.implicits
T
LowPriorityNot
O
C
Not
scala.internal
O
Chars
C
MatchCase
O
Quoted
O
TupledFunction
C
TypeBox
scala.internal.quoted
O
Expr
O
Matcher
C
TastyTreeExpr
C
TreeType
O
Type
C
showName
scala.quoted
O
T
Expr
O
C
QuoteContext
C
ScopeException
O
T
Type
O
T
ValueOfExpr
O
autolift
scala.quoted.matching
O
Const
O
ConstSeq
O
ExprSeq
O
C
Sym
scala.quoted.show
O
T
SyntaxHighlight
scala.reflect
O
C
Selectable
scala.runtime
O
DynamicTuple
C
EnumValues
scala.runtime.quoted
O
Unpickler
scala.tasty
C
Reflection
scala.tasty.file
O
ConsumeTasty
T
TastyConsumer
scala.tasty.reflect
T
CommentOps
T
CompilerInterface
T
ConstantOps
T
ContextOps
T
Core
C
ExprCastError
C
ExtractorsPrinter
T
FlagsOps
T
IdOps
T
ImplicitsOps
T
ImportSelectorOps
T
PositionOps
T
Printer
T
PrinterOps
T
QuotedOps
T
ReportingOps
T
RootPosition
T
SignatureOps
C
SourceCodePrinter
T
StandardDefinitions
T
SymbolOps
T
TreeOps
T
TreeUtils
T
TypeOrBoundsOps
scala.util
O
CommandLineParser
O
T
FromDigits
O
T
FromString
scala.util.control
O
NonLocalReturns
scalaShadowing
O
language
P
package
scala.reflect
Members
final
class
Selectable
object
Selectable