scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.core/Types/AndType

AndType

dotty.tools.dotc.core.Types$.AndType$
See theAndType companion class
object AndType

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
AndType.type

Members list

Concise view

Value members

Concrete methods

def apply(tp1: Type, tp2: Type)(using Context): AndType
def balanced(tp1: Type, tp2: Type)(using Context): AndType
def make(tp1: Type, tp2: Type, checkValid: Boolean)(using Context): Type

Make an AndType using op unless clearly unnecessary (i.e. without going through &).

Make an AndType using op unless clearly unnecessary (i.e. without going through &).

Attributes

def makeHk(tp1: Type, tp2: Type)(using Context): Type

Like make, but also supports higher-kinded types as argument

Like make, but also supports higher-kinded types as argument

Attributes

def unchecked(tp1: Type, tp2: Type)(using Context): AndType
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL