Dotty Documentation
0.23.0-RC1
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
Using Clauses
Context Bounds
Given Imports
Extension Methods
Implementing Typeclasses
Typeclass Derivation
Multiversal Equality
Context Functions
Implicit Conversions
By-Name Context Parameters
Relationship with Scala 2 Implicits
Metaprogramming
Overview
Inline
Macros
Staging
TASTy Reflection
TASTy Inspection
Other New Features
Trait Parameters
Creator Applications
Export Clauses
Opaque Type Aliases
Open Classes
Parameter Untupling
Kind Polymorphism
Tupled Function
threadUnsafe Annotation
New Control Syntax
Optional Braces
Explicit Nulls
Safe Initialization
Other Changed Features
Numeric Literals
Structural Types
Operators
Wildcard Types
Type Checking
Type Inference
Implicit Resolution
Implicit Conversions
Overload Resolution
Match Expressions
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
[this] Qualifier
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
O
IArray
T
NonEmptyTuple
T
PolyFunction
O
T
Product0
T
Selectable
O
T
Tuple
O
T
TupledFunction
O
deriving
C
main
O
opaques
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
ContextResultCount
C
InlineParam
C
Repeated
C
SourceFile
C
WithBounds
C
sharable
C
unshared
scala.compiletime
scala.compiletime.ops
O
any
O
boolean
O
int
O
string
scala.compiletime.testing
O
C
Error
O
T
ErrorKind
scala.implicits
T
LowPriorityNot
O
C
Not
scala.internal
O
Chars
C
MatchCase
O
TupledFunction
C
TypeBox
scala.internal.quoted
O
CompileTime
O
C
Expr
O
Matcher
O
C
Type
O
Unpickler
C
showName
scala.quoted
O
Const
O
Consts
O
C
Expr
O
Lambda
O
T
Liftable
C
QuoteContext
C
ScopeException
C
StopQuotedContext
O
C
Type
O
T
Unliftable
O
Unlifted
O
Varargs
scala.quoted.matching
O
ConstSeq
O
ValueSeq
scala.quoted.show
O
T
SyntaxHighlight
scala.quoted.unsafe
O
UnsafeExpr
scala.quoted.util
T
ExprMap
O
T
Var
scala.reflect
O
C
Selectable
scala.runtime
O
DynamicTuple
C
EnumValues
O
Tuple
O
C
TupleXXL
scala.tasty
C
Reflection
scala.tasty.reflect
T
CompilerInterface
C
ExprCastError
C
ExtractorsPrinter
T
Printer
C
SourceCodePrinter
T
TreeAccumulator
T
TreeMap
T
TreeTraverser
scala.util
O
CommandLineParser
O
T
FromDigits
O
T
FromString
scala.util.control
O
NonLocalReturns
scalaShadowing
O
language
O
object
Refined
extends Object with Serializable
Supertypes
Object, Serializable
Members
def
copy
(
original:
Tree
)
(
tpt:
TypeTree
,
refinements: List
[
Definition
]
)
(
implicit
ctx:
Context
)
:
Refined
def
unapply
(
x:
Refined
)
(
implicit
ctx:
Context
)
: Option
[
(
TypeTree
,
List
[
Definition
]
)
]