scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/OrType

OrType

dotty.tools.dotc.core.Types.OrType
See theOrType companion class
object OrType

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
OrType.type

Members list

Value members

Concrete methods

def apply(tp1: Type, tp2: Type, soft: Boolean)(using Context): OrType
def balanced(tp1: Type, tp2: Type, soft: Boolean)(using Context): OrType
def make(tp1: Type, tp2: Type, soft: Boolean)(using Context): Type
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

Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL