scala3-compiler-bootstrapped/dotty.tools.dotc.core/Definitions/PartialFunctionOf

PartialFunctionOf

object PartialFunctionOf
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(arg: Type, result: Type)(using Context): Type
def unapply(pft: Type)(using Context): Option[(Type, List[Type])]