scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Definitions/PartialFunctionOf

PartialFunctionOf

dotty.tools.dotc.core.Definitions.PartialFunctionOf$
object PartialFunctionOf

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(arg: Type, result: Type)(using Context): Type
def unapply(pft: Type)(using Context): Option[(Type, List[Type])]
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL