Dotty Documentation
0.18.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
Other Changed Features
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
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
Eclipse
IntelliJ IDEA
Mill
Sbt
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
+ expand rest
O
T
Eql
T
FunctionXXL
T
NonEmptyTuple
T
PolyFunction
O
T
Product0
T
Selectable
O
T
Tuple
O
C
TupleXXL
T
TupledFunction
O
C
ValueOf
O
deriving
C
forceInline
C
main
- collapse members
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
+ expand rest
C
Repeated
C
SourceFile
C
WithBounds
C
sharable
C
unshared
- collapse members
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
Matcher
C
TastyTreeExpr
C
TreeType
scala.quoted
O
T
Expr
O
ExprOps
O
NoResult
O
C
QuoteContext
O
T
Toolbox
O
T
Type
O
T
ValueOfExpr
O
autolift
- collapse members
scala.quoted.matching
O
C
Bind
O
Const
O
ConstSeq
O
ExprSeq
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
+ expand rest
C
ExprCastError
T
FlagsOps
T
IdOps
T
ImplicitsOps
T
ImportSelectorOps
T
PatternOps
T
PositionOps
T
Printers
T
QuotedOps
T
ReportingOps
T
RootPosition
T
SignatureOps
T
StandardDefinitions
T
SymbolOps
T
TreeOps
T
TreeUtils
T
TypeOrBoundsOps
- collapse members
scala.tasty.util
O
Chars
scala.util
O
CommandLineParser
O
T
FromString
scala.util.control
O
NonLocalReturns
scalaShadowing
O
language
package
scala.reflect
[-]
Constructors
[-]
Members
[+]
final
class
Selectable
[+]
object
Selectable