+ +

+ API +
+ dotty +
+ dotty.tools +
+
+ + C +
+ sharable +
+
+ + C +
+ unshared +
+ dotty.tools.backend +
+ dotty.tools.backend.jvm +
+
+ + O + + C +
+ CollectEntryPoints +
+
+ + C +
+ CollectSuperCalls +
+
+ + C +
+ DottyBackendInterface +
+
+ + C +
+ GenBCode +
+
+ + C +
+ GenBCodePipeline +
+
+ + C +
+ LabelDefs +
+ dotty.tools.dotc +
+
+ + O +
+ Bench +
+
+ + C +
+ CompilationUnit +
+
+ + C +
+ Compiler +
+
+ + C +
+ Driver +
+
+ + O +
+ FromTasty +
+
+ + O +
+ Main +
+
+ + C +
+ Resident +
+
+ + C +
+ Run +
+ dotty.tools.dotc.ast +
+
+ + O +
+ NavigateAST +
+
+ + O +
+ PluggableTransformers +
+
+ + C +
+ Positioned +
+
+ + O + + T +
+ TreeInfo +
+
+ + O + + C +
+ TreeTypeMap +
+
+ + O +
+ Trees +
+
+ + T +
+ TypedTreeInfo +
+
+ + T +
+ UntypedTreeInfo +
+
+ + O +
+ desugar +
+
+ + O +
+ tpd +
+
+ + O +
+ untpd +
+ dotty.tools.dotc.backend +
+ dotty.tools.dotc.backend.jvm +
+
+ + C +
+ DottyPrimitives +
+ dotty.tools.dotc.config +
+
+ + O +
+ AnyScalaVersion +
+
+ + O +
+ CompilerCommand +
+
+ + O +
+ Config +
+
+ + C +
+ JavaPlatform +
+
+ + O +
+ NoScalaVersion +
+
+ + C +
+ OutputDirs +
+
+ + O + + C +
+ PathResolver +
+
+ + C +
+ Platform +
+
+ + O +
+ Printers +
+
+ + O +
+ Properties +
+
+ + T +
+ PropertiesTrait +
+
+ + O + + C +
+ ScalaBuild +
+
+ + C +
+ ScalaSettings +
+
+ + O + + C +
+ ScalaVersion +
+
+ + O +
+ Settings +
+
+ + O + + C +
+ SpecificScalaVersion +
+
+ + O + + T +
+ WrappedProperties +
+ dotty.tools.dotc.core +
+
+ + O +
+ Annotations +
+
+ + O + + C +
+ CheckRealizable +
+
+ + C +
+ ClassfileLoader +
+
+ + O +
+ Comments +
+
+ + O +
+ Constants +
+
+ + C +
+ Constraint +
+
+ + T +
+ ConstraintHandling +
+
+ + T +
+ ConstraintRunInfo +
+
+ + O +
+ Contexts +
+
+ + O +
+ Decorators +
+
+ + O + + C +
+ Definitions +
+
+ + O +
+ DenotTransformers +
+
+ + O +
+ Denotations +
+
+ + C +
+ ExplainingTypeComparer +
+
+ + O +
+ Flags +
+
+ + O + + T +
+ Hashable +
+
+ + O + + C +
+ Mode +
+
+ + C +
+ MutableTyperState +
+
+ + O +
+ NameOps +
+
+ + O +
+ Names +
+
+ + O + + C +
+ OrderingConstraint +
+
+ + O + + C +
+ Periods +
+
+ + O + + T +
+ Phases +
+
+ + O +
+ Scopes +
+
+ + O + + C +
+ Signature +
+
+ + C +
+ SourcefileLoader +
+
+ + O +
+ StdNames +
+
+ + T +
+ Substituters +
+
+ + O + + T +
+ SymDenotations +
+
+ + C +
+ SymbolLoader +
+
+ + O + + C +
+ SymbolLoaders +
+
+ + O + + T +
+ Symbols +
+
+ + O + + C +
+ TypeApplications +
+
+ + O + + C +
+ TypeComparer +
+
+ + O + + C +
+ TypeErasure +
+
+ + O + + T +
+ TypeOps +
+
+ + T +
+ TypeParamInfo +
+
+ + C +
+ TyperState +
+
+ + O +
+ Types +
+
+ + O +
+ Uniques +
+ dotty.tools.dotc.core.classfile +
+
+ + C +
+ AbstractFileReader +
+
+ + O +
+ ByteCodecs +
+
+ + O +
+ ClassfileConstants +
+
+ + O + + C +
+ ClassfileParser +
+ dotty.tools.dotc.core.tasty +
+
+ + O + + C +
+ DottyUnpickler +
+
+ + O + + C +
+ NameBuffer +
+
+ + C +
+ PositionPickler +
+
+ + C +
+ PositionUnpickler +
+
+ + O + + C +
+ TastyBuffer +
+
+ + O +
+ TastyFormat +
+
+ + O + + C +
+ TastyName +
+
+ + C +
+ TastyPickler +
+
+ + C +
+ TastyPrinter +
+
+ + O + + C +
+ TastyReader +
+
+ + O + + C +
+ TastyUnpickler +
+
+ + C +
+ TreeBuffer +
+
+ + C +
+ TreePickler +
+
+ + O + + C +
+ TreeUnpickler +
+ dotty.tools.dotc.core.unpickleScala2 +
+
+ + O + + C +
+ PickleBuffer +
+
+ + O + + C +
+ Scala2Unpickler +
+ dotty.tools.dotc.parsing +
+
+ + C +
+ CharArrayReader +
+
+ + O +
+ JavaParsers +
+
+ + O +
+ JavaScanners +
+
+ + O +
+ JavaTokens +
+
+ + T +
+ MarkupParserCommon +
+
+ + O +
+ MarkupParsers +
+
+ + O +
+ Parsers +
+
+ + O +
+ Scanners +
+
+ + O +
+ ScriptParsers +
+
+ + C +
+ SymbolicXMLBuilder +
+
+ + O +
+ Tokens +
+
+ + C +
+ TokensCommon +
+
+ + O +
+ Utility +
+ dotty.tools.dotc.printing +
+
+ + O +
+ Formatting +
+
+ + O +
+ Highlighting +
+
+ + C +
+ PlainPrinter +
+
+ + C +
+ Printer +
+
+ + T +
+ Printers +
+
+ + C +
+ RefinedPrinter +
+
+ + T +
+ Showable +
+
+ + O +
+ SyntaxHighlighting +
+
+ + O +
+ Texts +
+ dotty.tools.dotc.repl +
+
+ + C +
+ AbstractFileClassLoader +
+
+ + C +
+ AmmoniteReader +
+
+ + O + + C +
+ CompilingInterpreter +
+
+ + C +
+ ConsoleWriter +
+
+ + O + + T +
+ InteractiveReader +
+
+ + O + + T +
+ Interpreter +
+
+ + C +
+ InterpreterLoop +
+
+ + O +
+ Main +
+
+ + O +
+ ManifestInfo +
+
+ + C +
+ NewLinePrintWriter +
+
+ + O + + C +
+ REPL +
+
+ + C +
+ SimpleReader +
+ dotty.tools.dotc.repl.ammonite +
+ dotty.tools.dotc.repl.ammonite.terminal +
+
+ + O +
+ Ansi +
+
+ + O + + C +
+ AnsiNav +
+
+ + O + + C +
+ ClearScreen +
+
+ + O +
+ Debug +
+
+ + C +
+ DelegateFilter +
+
+ + O +
+ Exit +
+
+ + O + + T +
+ Filter +
+
+ + O +
+ FilterTools +
+
+ + O + + C +
+ LazyList +
+
+ + O + + C +
+ Printing +
+
+ + O + + C +
+ Prompt +
+
+ + O + + C +
+ Result +
+
+ + O +
+ SpecialKeys +
+
+ + O +
+ TTY +
+
+ + T +
+ TermAction +
+
+ + O + + C +
+ TermInfo +
+
+ + O + + C +
+ TermState +
+
+ + O +
+ Terminal +
+ dotty.tools.dotc.repl.ammonite.terminal.filters +
+
+ + O +
+ BasicFilters +
+
+ + O +
+ GUILikeFilters +
+
+ + O + + C +
+ HistoryFilter +
+
+ + O +
+ ReadlineFilters +
+
+ + O + + C +
+ UndoFilter +
+
+ + O + + C +
+ UndoState +
+ dotty.tools.dotc.reporting +
+
+ + O + + C +
+ ConsoleReporter +
+
+ + T +
+ HideNonSensicalMessages +
+
+ + T +
+ MessageRendering +
+
+ + O + + C +
+ Reporter +
+
+ + T +
+ Reporting +
+
+ + C +
+ StoreReporter +
+
+ + C +
+ ThrowingReporter +
+
+ + T +
+ UniqueMessagePositions +
+ dotty.tools.dotc.reporting.diagnostic +
+
+ + C +
+ ExtendMessage +
+
+ + O + + C +
+ Message +
+
+ + O + + C +
+ MessageContainer +
+
+ + O + + C +
+ NoExplanation +
+
+ + O +
+ messages +
+ dotty.tools.dotc.rewrite +
+
+ + O + + C +
+ Rewrites +
+ dotty.tools.dotc.sbt +
+
+ + O +
+ DefaultShowAPI +
+
+ + C +
+ ExtractAPI +
+
+ + C +
+ ExtractAPICollector +
+
+ + C +
+ ExtractDependencies +
+
+ + C +
+ ExtractDependenciesCollector +
+
+ + O +
+ SafeLazy +
+
+ + O +
+ ShowAPI +
+
+ + T +
+ ThunkHolder +
+ dotty.tools.dotc.transform +
+
+ + C +
+ ArrayConstructors +
+
+ + C +
+ AugmentScala2Traits +
+
+ + C +
+ CapturedVars +
+
+ + C +
+ CheckReentrant +
+
+ + C +
+ CheckStatic +
+
+ + C +
+ ClassOf +
+
+ + C +
+ CollectEntryPoints +
+
+ + C +
+ Constructors +
+
+ + C +
+ CrossCastAnd +
+
+ + C +
+ CtxLazy +
+
+ + C +
+ DropInlined +
+
+ + C +
+ ElimByName +
+
+ + C +
+ ElimErasedValueType +
+
+ + C +
+ ElimRepeated +
+
+ + C +
+ ElimStaticThis +
+
+ + O + + C +
+ Erasure +
+
+ + C +
+ ExpandPrivate +
+
+ + C +
+ ExpandSAMs +
+
+ + O + + C +
+ ExplicitOuter +
+
+ + C +
+ ExplicitSelf +
+
+ + O + + C +
+ ExtensionMethods +
+
+ + C +
+ FirstTransform +
+
+ + C +
+ Flatten +
+
+ + O + + T +
+ FullParameterization +
+
+ + C +
+ FunctionalInterfaces +
+
+ + C +
+ GetClass +
+
+ + C +
+ Getters +
+
+ + C +
+ InterceptedMethods +
+
+ + C +
+ IsInstanceOfEvaluator +
+
+ + O + + C +
+ LambdaLift +
+
+ + O + + C +
+ LazyVals +
+
+ + C +
+ LiftTry +
+
+ + C +
+ LinkScala2ImplClasses +
+
+ + C +
+ MacroTransform +
+
+ + C +
+ Memoize +
+
+ + C +
+ Mixin +
+
+ + C +
+ MixinOps +
+
+ + C +
+ MoveStatics +
+
+ + O + + C +
+ NonLocalReturns +
+
+ + C +
+ NormalizeFlags +
+
+ + O +
+ OverridingPairs +
+
+ + C +
+ ParamForwarding +
+
+ + C +
+ PatternMatcher +
+
+ + C +
+ Pickler +
+
+ + C +
+ PostTyper +
+
+ + C +
+ PrimitiveForwarders +
+
+ + O + + C +
+ ResolveSuper +
+
+ + C +
+ RestoreScopes +
+
+ + C +
+ SelectStatic +
+
+ + C +
+ SeqLiterals +
+
+ + C +
+ ShortcutImplicits +
+
+ + C +
+ Splitter +
+
+ + C +
+ SuperAccessors +
+
+ + O + + C +
+ SymUtils +
+
+ + C +
+ SymbolOrdering +
+
+ + C +
+ SyntheticMethods +
+
+ + O + + C +
+ TailRec +
+
+ + C +
+ TreeChecker +
+
+ + O +
+ TreeExtractors +
+
+ + O +
+ TreeGen +
+
+ + O +
+ TreeTransforms +
+
+ + C +
+ TryCatchPatterns +
+
+ + T +
+ TypeTestsCasts +
+
+ + O + + C +
+ TypeUtils +
+
+ + C +
+ VCElideAllocations +
+
+ + C +
+ VCInlineMethods +
+
+ + O +
+ ValueClasses +
+ dotty.tools.dotc.transform.patmat +
+
+ + O + + C +
+ Const +
+
+ + O +
+ Empty +
+
+ + O + + C +
+ Kon +
+
+ + O + + C +
+ Or +
+
+ + T +
+ Point +
+
+ + T +
+ Space +
+
+ + C +
+ SpaceEngine +
+
+ + T +
+ SpaceLogic +
+
+ + O + + C +
+ Typ +
+
+ + O + + C +
+ Var +
+ dotty.tools.dotc.typer +
+
+ + O + + T +
+ Applications +
+
+ + O + + T +
+ Checking +
+
+ + O +
+ ConstFold +
+
+ + T +
+ Docstrings +
+
+ + O + + T +
+ Dynamic +
+
+ + O +
+ EmptyTermRefSet +
+
+ + O +
+ ErrorReporting +
+
+ + O +
+ EtaExpansion +
+
+ + O +
+ ForceDegree +
+
+ + C +
+ FrontEnd +
+
+ + T +
+ ImplicitRunInfo +
+
+ + O + + T +
+ Implicits +
+
+ + O + + C +
+ ImportInfo +
+
+ + O +
+ Inferencing +
+
+ + O + + C +
+ Inliner +
+
+ + C +
+ Namer +
+
+ + T +
+ NamerContextOps +
+
+ + T +
+ NoChecking +
+
+ + O +
+ ProtoTypes +
+
+ + C +
+ ReTyper +
+
+ + O + + C +
+ RefChecks +
+
+ + C +
+ SearchHistory +
+
+ + C +
+ TermRefSet +
+
+ + O + + T +
+ TypeAssigner +
+
+ + O + + C +
+ Typer +
+
+ + O + + C +
+ VarianceChecker +
+
+ + O +
+ Variances +
+ dotty.tools.dotc.util +
+
+ + O +
+ Attachment +
+
+ + O +
+ Chars +
+
+ + O +
+ CommentParsing +
+
+ + O +
+ DiffUtil +
+
+ + C +
+ DotClass +
+
+ + O + + T +
+ FreshNameCreator +
+
+ + O + + C +
+ HashSet +
+
+ + O + + C +
+ LRUCache +
+
+ + O +
+ NameTransformer +
+
+ + O +
+ NoSource +
+
+ + O +
+ NoSourcePosition +
+
+ + O +
+ Positions +
+
+ + O +
+ Property +
+
+ + O +
+ ScriptSourceFile +
+
+ + C +
+ Set +
+
+ + O +
+ ShowPickled +
+
+ + O + + C +
+ SimpleMap +
+
+ + O + + C +
+ SixteenNibbles +
+
+ + O + + C +
+ SourceFile +
+
+ + O + + C +
+ SourcePosition +
+
+ + O +
+ Stats +
+
+ + O +
+ Util +
+
+ + O +
+ common +
+ dotty.tools.dottydoc +
+
+ + C +
+ DocCompiler +
+
+ + C +
+ DocDriver +
+
+ + C +
+ DocFrontEnd +
+
+ + O +
+ Main +
+ dotty.tools.dottydoc.core +
+
+ + C +
+ AlternateConstructors +
+
+ + C +
+ ContextDottydoc +
+
+ + C +
+ DocASTPhase +
+
+ + C +
+ DocImplicitsPhase +
+
+ + C +
+ DocstringPhase +
+
+ + C +
+ LinkCompanions +
+
+ + C +
+ LinkImplicitlyAddedTypes +
+
+ + C +
+ LinkParamListTypes +
+
+ + C +
+ LinkReturnTypes +
+
+ + C +
+ LinkSuperTypes +
+
+ + C +
+ PackageObjectsPhase +
+
+ + C +
+ SortMembers +
+
+ + T +
+ TypeLinker +
+
+ + C +
+ UsecasePhase +
+
+ + O +
+ transform +
+ dotty.tools.dottydoc.model +
+
+ + T +
+ CaseClass +
+
+ + T +
+ Class +
+
+ + T +
+ Companion +
+
+ + T +
+ Constructors +
+
+ + T +
+ Def +
+
+ + T +
+ Entity +
+
+ + T +
+ ImplicitlyAddedEntity +
+
+ + O +
+ JavaConverters +
+
+ + T +
+ Members +
+
+ + T +
+ Modifiers +
+
+ + O + + T +
+ NonEntity +
+
+ + T +
+ Object +
+
+ + T +
+ Package +
+
+ + T +
+ ParamList +
+
+ + T +
+ ReturnValue +
+
+ + O +
+ RootEntity +
+
+ + T +
+ SuperTypes +
+
+ + T +
+ Trait +
+
+ + T +
+ TypeAlias +
+
+ + T +
+ TypeParams +
+
+ + T +
+ Val +
+
+ + O +
+ factories +
+
+ + O +
+ internal +
+
+ + O +
+ references +
+ dotty.tools.dottydoc.model.comment +
+
+ + C +
+ Block +
+
+ + O + + C +
+ Body +
+
+ + O + + C +
+ Bold +
+
+ + 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 +
+ dotty.tools.dottydoc.staticsite +
+
+ + O + + C +
+ BlogPost +
+
+ + O + + C +
+ DefaultParams +
+
+ + C +
+ HtmlPage +
+
+ + 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 +
+ dotty.tools.dottydoc.util +
+
+ + T +
+ MemberLookup +
+
+ + O +
+ syntax +
+
+ + O +
+ traversing +
+ dotty.tools.dottydoc.util.internal +
+
+ + O +
+ setters +
+ dotty.tools.io +
+
+ + O + + C +
+ ClassPath +
+
+ + O + + C +
+ DaemonThreadFactory +
+
+ + C +
+ DeltaClassPath +
+
+ + C +
+ DirectoryClassPath +
+
+ + O + + C +
+ Fileish +
+
+ + O + + C +
+ Jar +
+
+ + C +
+ JarWriter +
+
+ + O + + C +
+ JavaClassPath +
+
+ + C +
+ MergedClassPath +
+
+ + C +
+ SourcePath +
+ strawman +
+ strawman.collections +
+
+ + O +
+ CollectionStrawMan1 +
+
+ + O +
+ CollectionStrawMan4 +
+
+ + O +
+ CollectionStrawMan5 +
+
+ + O +
+ CollectionStrawMan6 +
+
+ + C +
+ LowPriority +

+ + + + +

+ + final + + + object + + + TypeApplications + +

+ + + +

Members

+ +

+ + + + + final + + + object + + + + AppliedType + + + + + + + + +

+ +

Extractor for type application T[U_1, ..., U_n]. This is the refined type

T { type p_1 v_1= U_1; ...; type p_n v_n= U_n }

where v_i, p_i are the variances...

+ +

+ + + + + final + + + object + + + + EtaExpansion + + + + + + + + +

+ +

Extractor for

[v1 X1: B1, ..., vn Xn: Bn] -> C[X1, ..., Xn]

where v1, ..., vn and B1, ..., Bn are the variances and bounds of the type parameters +of the clas...

+ +

+ + + + + + + + class + + + + Reducer + + + + + + + + +

+ +

A type map that tries to reduce (part of) the result type of the type lambda tycon +with the given args(some of which are wildcard arguments represented... +

  { type A >: L <: U }
+

  { type A >: L <: U }
+

+ +

+ + + + + + + + val + + + + boundsToHi + + + + + + + + + : + +

+ +

If tp is a TypeBounds instance return its upper bound else return tp

+ +

+ + + + + + + + val + + + + boundsToLo + + + + + + + + + : + +

+ +

If tp is a TypeBounds instance return its lower bound else return tp

+ +

+ + + + + + + + val + + + + noBounds + + + + + + + + + : + +

+ +

Assert type is not a TypeBounds instance and return it unchanged

+ +

+ + + + + + + + def + + + + EtaExpandIfHK + + + + + + ( + + + + tparams: + + List +[ +TypeParamInfo +] + + , + + + + args: + + List +[ +Type +] + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : List + +

+ +

Adapt all arguments to possible higher-kinded type parameters using etaExpandIfHK

+ +

+ + + + + + + + def + + + + varianceConforms + + + + + + ( + + + + v1: + + Int + + , + + + + v2: + + Int + + + ) + + + + + + + : Boolean + +

+ +

Does variance v1 conform to variance v2? +This is the case if the variances are the same or sym is nonvariant.

+ +

+ + + + + + + + def + + + + varianceConforms + + + + + + ( + + + + tparam1: + + TypeParamInfo + + , + + + + tparam2: + + TypeParamInfo + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +

+ +

Does the variance of type parameter tparam1 conform to the variance of type parameter tparam2?

+ +

+ + + + + + + + def + + + + variancesConform + + + + + + ( + + + + tparams1: + + List +[ +TypeParamInfo +] + + , + + + + tparams2: + + List +[ +TypeParamInfo +] + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Boolean + +

+ +

Do the variances of type parameters tparams1 conform to the variances +of corresponding type parameters tparams2? +This is only the case of tparams1 and t...

+ +