Dotty Documentation
0.14.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
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
Inlining by Rewriting
Meta Programming
TASTy Reflect
Opaque Type Aliases
Auto Parameter Tupling
Named Type Arguments
Erased Terms
Kind Polymorphism
Other Changed Features
Volatile Lazy Vals
Structural Types
Type Checking
Type Inference
Implicit Resolution
Implicit Conversions
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
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.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
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
- 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
Yaml
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
class
LinkReturnTypes
extends
Object
with
DocMiniPhase
with
TypeLinker
[-]
Constructors
LinkReturnTypes
(
)
[-]
Members
[+]
override
def
transformDef
(
implicit
ctx:
Context
)
: PartialFunction
[
Def
,
List
[
Def
]
]
[+]
override
def
transformTypeAlias
(
implicit
ctx:
Context
)
: PartialFunction
[
TypeAlias
,
List
[
TypeAlias
]
]
[+]
override
def
transformVal
(
implicit
ctx:
Context
)
: PartialFunction
[
Val
,
List
[
Val
]
]