Dotty Documentation
0.15.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
Implied Instances
Inferable Parameters
Context Bounds
Implied Imports
Extension Methods
Implementing Typeclasses
Typeclass Derivation
Multiversal Equality
Context Queries
Implicit Conversions
Inferable By-Name Parameters
Relationship with Scala 2 Implicits
Other New Features
Trait Parameters
Creator Applications
Export Clauses
Inlining by Rewriting
Meta Programming
TASTy Reflect
Opaque Type Aliases
Parameter Untupling
Erased Terms
Kind Polymorphism
Other Changed Features
Volatile Lazy Vals
Structural Types
Type Checking
Type Inference
Implicit Resolution
Implicit Conversions
Overload Resolution
Vararg Patterns
Pattern matching
Eta Expansion
Compiler Plugins
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
Contributing
Getting Started
Workflow
Eclipse
IntelliJ IDEA
Testing
Release Model
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)
Resources
Talks
API
dotty
O
DottyPredef
dotty.internal
O
StringContext
dotty.runtime
O
Arrays
O
LazyVals
C
LegacyApp
dotty.tools
O
C
FatalError
dotty.tools.backend
O
C
ScalaPrimitivesOps
T
WorklistAlgorithm
dotty.tools.backend.jvm
O
AsmUtils
O
C
BCodeAsmCommon
O
T
BCodeBodyBuilder
O
T
BCodeHelpers
T
BCodeIdiomatic
T
BCodeSkelBuilder
T
BCodeSyncAndTry
C
BTypes
C
BTypesFromSymbols
C
BackendInterface
C
BackendInterfaceDefinitions
T
BytecodeWriters
O
C
CollectEntryPoints
C
CollectSuperCalls
C
CoreBTypes
C
CoreBTypesProxy
T
CoreBTypesProxyGlobalIndependent
C
DottyBackendInterface
C
DottyPrimitives
C
FileConflictException
O
C
GenBCode
O
C
GenBCodeOps
C
GenBCodePipeline
O
Primitives
- collapse members
dotty.tools.backend.sjs
C
GenSJSIR
O
C
JSCodeGen
O
C
JSDefinitions
+ expand rest
O
JSEncoding
O
JSInterop
C
JSPositions
O
C
JSPrimitives
O
C
ScopedVar
dotty.tools.dotc
O
Bench
O
C
CompilationUnit
C
Compiler
C
Driver
+ expand rest
O
Main
C
MissingCoreLibraryException
C
Resident
C
Run
- collapse members
dotty.tools.dotc.ast
O
DesugarEnums
O
NavigateAST
O
PluggableTransformers
C
Positioned
+ expand rest
O
T
TreeInfo
C
TreeMapWithImplicits
O
C
TreeTypeMap
O
Trees
T
TypedTreeInfo
T
UntypedTreeInfo
O
desugar
O
tpd
O
untpd
- collapse members
dotty.tools.dotc.classpath
O
C
AggregateClassPath
O
C
ClassAndSourceFilesEntry
T
ClassFileEntry
+ expand rest
O
C
ClassFileEntryImpl
O
C
ClassPathEntries
O
C
ClassPathFactory
O
C
DirectoryClassPath
T
DirectoryLookup
O
C
DirectorySourcePath
C
FileBasedCache
O
FileUtils
T
JFileDirectoryLookup
O
C
JrtClassPath
T
NoClassPaths
T
NoSourcePaths
T
PackageEntry
O
C
PackageEntryImpl
O
PackageNameUtils
T
SourceFileEntry
O
C
SourceFileEntryImpl
O
C
VirtualDirectoryClassPath
O
ZipAndJarClassPathFactory
T
ZipAndJarFileLookupFactory
O
ZipAndJarSourcePathFactory
T
ZipArchiveFileLookup
- collapse members
dotty.tools.dotc.config
O
AnyScalaVersion
O
CommandLineParser
O
CompilerCommand
O
Config
C
JavaPlatform
+ expand rest
O
NoScalaVersion
C
OutputDirs
O
C
PathResolver
C
Platform
O
Printers
O
Properties
T
PropertiesTrait
C
SJSPlatform
O
C
ScalaBuild
C
ScalaSettings
O
C
ScalaVersion
O
Settings
O
C
SpecificScalaVersion
O
T
WrappedProperties
- collapse members
dotty.tools.dotc.consumetasty
O
ConsumeTasty
C
TastyConsumerPhase
C
TastyFromClass
dotty.tools.dotc.core
O
C
AbsentContext
O
Annotations
O
C
CheckRealizable
+ expand rest
C
ClassfileLoader
O
Comments
O
Constants
C
Constraint
T
ConstraintHandling
T
ConstraintRunInfo
O
Contexts
O
C
CyclicReference
O
Decorators
O
C
Definitions
O
DenotTransformers
O
Denotations
C
ExplainingTypeComparer
O
Flags
O
T
Hashable
O
MacroClassLoader
C
MalformedType
C
MergeError
C
MissingType
O
C
Mode
O
NameKinds
O
NameOps
O
NameTags
O
Names
O
C
OrderingConstraint
O
T
ParamInfo
O
C
Periods
O
T
Phases
C
RecursionOverflow
O
Scopes
O
C
Signature
C
SourcefileLoader
O
StagingContext
O
StdNames
T
Substituters
O
T
SymDenotations
C
SymbolLoader
O
SymbolLoaders
O
T
Symbols
C
TestReporter
C
TrackingTypeComparer
O
C
TypeApplications
O
C
TypeComparer
O
C
TypeErasure
C
TypeError
O
T
TypeOps
O
C
TyperState
O
Types
O
Uniques
O
handleRecursive
- collapse members
dotty.tools.dotc.core.classfile
C
AbstractFileReader
O
ByteCodecs
O
ClassfileConstants
O
C
ClassfileParser
dotty.tools.dotc.core.quoted
O
PickledQuotes
O
C
QuoteUnpickler
dotty.tools.dotc.core.tasty
C
CommentPickler
C
CommentUnpickler
O
C
DottyUnpickler
O
C
NameBuffer
C
PositionPickler
C
PositionUnpickler
O
C
TastyBuffer
C
TastyClassName
O
TastyFormat
C
TastyHTMLPrinter
O
TastyHash
C
TastyHeaderUnpickler
C
TastyPickler
C
TastyPrinter
O
C
TastyReader
O
TastyString
O
C
TastyUnpickler
C
TreeBuffer
O
C
TreePickler
O
C
TreeUnpickler
dotty.tools.dotc.core.unpickleScala2
O
C
PickleBuffer
O
PickleFormat
O
Scala2Flags
O
C
Scala2Unpickler
dotty.tools.dotc.decompiler
C
DecompilationPrinter
C
IDEDecompilerDriver
O
Main
C
PartialTASTYDecompiler
C
TASTYDecompiler
dotty.tools.dotc.fromtasty
O
Debug
C
ReadTasty
C
TASTYCompilationUnit
C
TASTYCompiler
C
TASTYRun
O
TastyFileUtil
dotty.tools.dotc.interactive
O
C
Completion
O
Interactive
C
InteractiveCompiler
O
C
InteractiveDriver
O
C
SourceTree
dotty.tools.dotc.parsing
C
CharArrayReader
O
JavaParsers
O
JavaScanners
O
JavaTokens
O
Parsers
+ expand rest
O
Scanners
O
ScriptParsers
O
Tokens
C
TokensCommon
- collapse members
dotty.tools.dotc.parsing.xml
T
MarkupParserCommon
O
MarkupParsers
C
SymbolicXMLBuilder
O
Utility
dotty.tools.dotc.plugins
C
MissingPluginException
O
T
Plugin
C
PluginLoadException
T
PluginPhase
O
T
Plugins
T
ResearchPlugin
T
StandardPlugin
- collapse members
dotty.tools.dotc.printing
C
DecompilerPrinter
O
Formatting
O
Highlighting
O
C
ListOps
+ expand rest
C
PlainPrinter
O
C
Printer
T
Printers
C
RefinedPrinter
C
ReplPrinter
T
Showable
O
SyntaxHighlighting
O
Texts
- collapse members
dotty.tools.dotc.profile
O
T
AsyncHelper
O
ConsoleProfileReporter
O
C
EventType
+ expand rest
O
C
GcEventData
O
NoOpProfiler
O
C
ProfileRange
T
ProfileReporter
O
C
ProfileSnap
O
T
Profiler
O
C
RealProfiler
C
StreamProfileReporter
- collapse members
dotty.tools.dotc.quoted
C
ExprCompilationUnit
C
QuoteCompiler
C
QuoteDecompiler
O
C
QuoteDriver
+ expand rest
C
RefreshNames
O
ToolboxImpl
C
TreeCleaner
C
TypeCompilationUnit
- collapse members
dotty.tools.dotc.reporting
C
AbstractReporter
O
C
ConsoleReporter
T
HideNonSensicalMessages
T
MessageRendering
+ expand rest
O
C
Reporter
T
Reporting
C
StoreReporter
C
ThrowingReporter
C
TraceSyntax
T
UniqueMessagePositions
O
trace
- collapse members
dotty.tools.dotc.reporting.diagnostic
C
ExtendMessage
O
C
Message
O
C
MessageContainer
+ expand rest
O
C
NoExplanation
O
messages
- collapse members
dotty.tools.dotc.rewrites
O
C
Rewrites
dotty.tools.dotc.sbt
O
C
ClassDependency
O
DefaultShowAPI
C
ExtractAPI
C
ExtractAPICollector
+ expand rest
O
C
ExtractDependencies
C
ExtractDependenciesCollector
O
ShowAPI
T
ThunkHolder
C
UsedNamesInClass
- collapse members
dotty.tools.dotc.tastyreflect
O
FromSymbol
C
KernelImpl
O
C
PackageDefinitionImpl
O
ReflectionImpl
dotty.tools.dotc.transform
O
C
AccessProxies
C
ArrayConstructors
O
C
AugmentScala2Traits
+ expand rest
C
Bridges
O
C
ByNameClosures
C
CapturedVars
C
CheckReentrant
O
C
CheckStatic
C
ClassOf
C
CollectEntryPoints
O
C
CollectNullableFields
O
C
Constructors
C
CookComments
C
CrossCastAnd
C
CtxLazy
O
C
ElimByName
O
C
ElimErasedValueType
O
C
ElimOpaque
C
ElimOuterSelect
C
ElimPackagePrefixes
O
C
ElimRepeated
C
ElimStaticThis
O
C
Erasure
C
ExpandPrivate
C
ExpandSAMs
O
C
ExplicitOuter
C
ExplicitSelf
O
C
ExtensionMethods
O
C
FirstTransform
C
Flatten
O
T
FullParameterization
C
FunctionXXLForwarders
O
C
FunctionalInterfaces
O
GenericSignatures
C
GetClass
O
C
Getters
O
C
HoistSuperArgs
C
Instrumentation
O
C
InterceptedMethods
O
C
LambdaLift
O
C
LazyVals
C
LiftTry
C
LinkScala2Impls
C
MacroTransform
O
C
MegaPhase
O
C
Memoize
O
C
Mixin
C
MixinOps
O
C
MoveStatics
O
C
NonLocalReturns
O
OverridingPairs
C
PCPCheckAndHeal
C
ParamForwarding
O
C
PatternMatcher
O
C
Pickler
O
C
PostTyper
O
C
ProtectedAccessors
O
C
PruneErasedDefs
O
C
ReifyQuotes
C
RenameLifted
O
C
ResolveSuper
C
RestoreScopes
C
SelectStatic
C
SeqLiterals
O
C
SetRootTree
O
C
ShortcutImplicits
O
Splicer
O
C
Staging
C
SuperAccessors
O
C
SymUtils
C
SymbolOrdering
C
SyntheticMethods
O
C
TailRec
C
TransformByNameApply
C
TransformWildcards
O
C
TreeChecker
O
TreeExtractors
O
C
TreeMapWithStages
C
TryCatchPatterns
O
TypeTestsCasts
O
TypeUtils
C
VCElideAllocations
C
VCInlineMethods
O
ValueClasses
C
YCheckPositions
- collapse members
dotty.tools.dotc.transform.localopt
C
StringInterpolatorOpt
dotty.tools.dotc.transform.patmat
O
Empty
O
C
Or
O
C
Prod
+ expand rest
T
Space
C
SpaceEngine
T
SpaceLogic
O
C
Typ
dotty.tools.dotc.typer
O
T
Applications
O
T
Checking
O
ConstFold
+ expand rest
T
Deriving
O
Docstrings
O
T
Dynamic
O
ErrorReporting
O
EtaExpansion
O
ForceDegree
O
C
FrontEnd
T
ImplicitRunInfo
O
T
Implicits
O
C
ImportInfo
O
T
Inferencing
O
C
Inliner
O
C
LiftComplex
O
C
LiftImpure
O
LiftToDefs
C
Lifter
C
Namer
O
T
NamerContextOps
T
NoChecking
O
NoLift
O
PrepareInlineable
O
ProtoTypes
T
ReChecking
C
ReTyper
O
C
RefChecks
C
SearchHistory
C
SearchRoot
C
TermRefSet
O
T
TypeAssigner
O
C
Typer
O
C
VarianceChecker
O
Variances
- collapse members
dotty.tools.dotc.util
O
Attachment
O
CommentParsing
O
DiffUtil
C
DotClass
O
C
FreshNameCreator
O
C
HashSet
O
C
LRUCache
O
NameTransformer
O
NoSource
O
NoSourcePosition
O
C
ParsedComment
O
Property
O
ScriptSourceFile
C
Set
O
ShowPickled
O
Signatures
O
C
SimpleIdentityMap
O
C
SimpleIdentitySet
O
C
SixteenNibbles
O
C
SourceFile
O
C
SourcePosition
O
Spans
O
Stats
O
C
Store
O
Util
O
C
WeakHashSet
O
common
- collapse members
dotty.tools.dottydoc
C
DocCompiler
C
DocDriver
O
Main
dotty.tools.dottydoc.core
C
AlternateConstructors
C
ContextDottydoc
O
C
Counters
C
DocASTPhase
+ expand rest
C
DocImplicitsPhase
C
DocstringPhase
C
LinkCompanions
C
LinkImplicitlyAddedTypes
C
LinkParamListTypes
C
LinkReturnTypes
C
LinkSuperTypes
C
PackageObjectsPhase
C
RemoveEmptyPackages
C
SortMembers
O
C
Statistics
C
StatisticsPhase
T
TypeLinker
C
UsecasePhase
O
transform
- collapse members
dotty.tools.dottydoc.model
T
CaseClass
T
Class
T
Companion
T
Constructors
T
Def
+ expand rest
T
Entity
T
ImplicitlyAddedEntity
O
JavaConverters
T
Members
T
Modifiers
T
Object
T
Package
T
ParamList
T
ReturnValue
T
SuperTypes
T
Trait
T
TypeAlias
T
TypeParams
T
Val
O
factories
O
internal
O
references
- collapse members
dotty.tools.dottydoc.model.comment
C
Block
O
C
Body
O
C
Bold
+ expand rest
O
C
Chain
C
CharReader
O
C
Code
O
C
Comment
T
CommentCleaner
T
CommentParser
O
C
DefinitionList
O
C
EntityLink
O
C
HorizontalRule
O
HtmlParsers
O
C
HtmlTag
C
Inline
O
C
Italic
O
C
Link
T
LinkTo
O
C
LinkToEntity
O
C
LinkToExternal
O
C
MarkdownComment
C
MarkdownShortener
T
MarkupConversion
O
C
Monospace
O
C
OrderedList
O
C
Paragraph
O
C
ParsedComment
O
Regexes
O
C
Subscript
O
C
Summary
O
C
Superscript
O
C
Text
O
C
Title
O
C
Tooltip
O
C
Underline
O
C
UnorderedList
O
C
WikiComment
C
WikiParser
- collapse members
dotty.tools.dottydoc.staticsite
O
C
BlogPost
O
C
DefaultParams
C
HtmlPage
+ expand rest
O
C
IllegalFrontMatter
O
C
Include
O
C
Layout
O
C
LiquidTemplate
O
MapOperations
O
MarkdownCodeBlockVisitor
O
MarkdownLinkVisitor
C
MarkdownPage
T
Page
O
C
PageInfo
T
ResourceFinder
O
C
Sidebar
O
C
Site
O
C
SiteInfo
T
Template
O
C
TemplateRenderingError
O
C
Title
O
filters
O
tags
- collapse members
dotty.tools.dottydoc.util
T
MemberLookup
O
syntax
O
traversing
dotty.tools.dottydoc.util.internal
O
setters
dotty.tools.io
O
C
AbstractFile
O
T
ClassPath
T
ClassRepresentation
+ expand rest
O
C
Directory
C
DirectoryClassPath
O
C
File
O
C
FileOperationException
C
FileZipArchive
O
C
Jar
O
C
JarArchive
C
JarWriter
C
JavaClassPath
C
ManifestResources
C
MergedClassPath
O
NoAbstractFile
O
C
Path
C
PlainDirectory
C
PlainFile
O
Streamable
O
C
VirtualDirectory
C
VirtualFile
O
C
ZipArchive
dotty.tools.repl
C
AbstractFileClassLoader
C
CollectTopLevelImports
T
Command
O
C
DocOf
+ expand rest
O
Help
O
Imports
C
JLineTerminal
O
C
Load
O
Main
O
Newline
O
T
ParseResult
O
C
Parsed
O
Quit
C
REPLFrontEnd
O
C
Rendering
C
ReplCompiler
O
C
ReplDriver
O
Reset
O
C
ScriptEngine
O
C
ShowUser
O
SigKill
O
C
State
O
C
SyntaxErrors
O
C
TypeOf
O
C
UnknownCommand
O
results
- collapse members
scala
O
C
*:
C
Conversion
T
Enum
+ expand rest
O
T
Eql
T
FunctionXXL
O
IArray
T
NonEmptyTuple
O
T
Product0
T
Selectable
O
T
Tuple
O
C
TupleXXL
O
C
ValueOf
C
forceInline
- collapse members
scala.annotation
T
RefiningAnnotation
C
constructorOnly
C
static
scala.annotation.internal
C
Alias
C
AnnotationDefault
C
Body
C
Child
C
InlineParam
+ expand rest
C
Repeated
C
SourceFile
C
sharable
C
unshared
- collapse members
scala.compiletime
O
C
Shape
scala.implicits
T
LowPriorityNot
O
C
Not
scala.internal
C
MatchCase
O
Quoted
C
TypeBox
scala.internal.quoted
O
Matcher
scala.quoted
O
C
Expr
O
Exprs
O
C
LiftExprOps
+ expand rest
O
C
Liftable
O
C
ListOfExprOps
O
C
QuoteError
O
T
Toolbox
O
C
Type
O
Types
O
autolift
- collapse members
scala.quoted.matching
O
C
Bind
O
Literal
O
Repeated
scala.reflect
C
Generic
O
C
GenericClass
C
Mirror
O
C
Selectable
scala.runtime
O
DynamicTuple
C
EnumValues
scala.runtime.quoted
O
Unpickler
scala.tasty
O
C
Reflection
scala.tasty.file
O
ConsumeTasty
T
TastyConsumer
scala.tasty.reflect
T
CommentOps
T
ConstantOps
T
ContextOps
T
Core
C
ExprCastError
+ expand rest
T
FlagsOps
T
IdOps
T
ImportSelectorOps
T
Kernel
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.reflect.utils
T
TreeUtils
scala.tasty.util
O
Chars
O
SyntaxHighlightUtils
scala.testing
scalaShadowing
O
language
abstract
class
Modifier
extends
Highlight
[-]
Constructors
Modifier
(
mod:
String
,
text:
String
)
[-]
Members
[+]
private
val
mod
: String
[+]
private
val
text
: String
[+]
override
def
show
(
implicit
ctx:
Context
)
: String