Dotty Documentation
0.13.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
Implicit Function Types
Dependent Function Types
Enums
Enumerations
Algebraic Data Types
Translation
Other New Features
Multiversal Equality
Trait Parameters
Inlining by Rewriting
Meta Programming
TASTy Reflect
Opaque Type Aliases
Extension Methods
By-Name Implicits
Auto Parameter Tupling
Named Type Arguments
Erased Terms
Kind Polymorphism
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
Early Initializers
Class Shadowing
Limit 22
XML literals
Symbol Literals
Auto-Application
Weak Conformance
Contributing
Getting Started
Workflow
Eclipse
IntelliJ IDEA
Testing
Working with the Backend
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
dotty.tools.backend.jvm
O
C
CollectEntryPoints
C
CollectSuperCalls
C
DottyBackendInterface
C
DottyPrimitives
+ expand rest
O
C
GenBCode
C
GenBCodePipeline
- 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
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
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
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
O
Quoted
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
O
C
ConsoleReporter
T
HideNonSensicalMessages
T
MessageRendering
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
T
CaseDefOpsImpl
T
ConstantOpsImpl
T
ContextOpsImpl
T
CoreImpl
T
FlagsOpsImpl
+ expand rest
O
FromSymbol
T
Helpers
T
IdOpsImpl
T
ImportSelectorOpsImpl
O
C
PackageDefinitionImpl
T
PatternOpsImpl
T
PositionOpsImpl
T
PrintersImpl
T
QuotedOpsImpl
C
ReflectionImpl
T
SettingsOpsImpl
T
SignatureOpsImpl
T
StandardDefinitions
T
SymbolOpsImpl
T
TreeOpsImpl
T
TypeOrBoundsOpsImpl
T
TypeOrBoundsTreesOpsImpl
- collapse members
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
O
C
InterceptedMethods
O
C
LambdaLift
O
C
LazyVals
C
LiftTry
C
LinkScala2Impls
C
MacroTransform
C
MacroTransformWithImplicits
O
C
MegaPhase
O
C
Memoize
O
C
Mixin
C
MixinOps
O
C
MoveStatics
O
C
NonLocalReturns
O
OverridingPairs
C
ParamForwarding
O
C
PatternMatcher
O
C
Pickler
O
C
PostTyper
O
C
ProtectedAccessors
O
C
PruneErasedDefs
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
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
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
ShowUser
O
SigKill
O
C
State
O
C
SyntaxErrors
O
C
TypeOf
O
C
UnknownCommand
O
results
- collapse members
scala.reflect
scala.reflect.internal
scala.reflect.internal.pickling
scala.reflect.internal.util
scala.tools
scala.tools.nsc
scala.tools.nsc.io
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
]
]