partial function scala feature / published by https://github.com/dacr/code-examples-manager #dfb0a855-dab3-4ec8-bb54-cfbfb52e9687/6e69157aadef333bee1bafd55a02d1e6119a18a4

scala-feature-partial-function.sc

// summary : partial function scala feature
// keywords : scala, language-feature, partial-function, isDefinedAt, @testable
// publish : gist
// authors : David Crosson
// license : Apache NON-AI License Version 2.0 (https://raw.githubusercontent.com/non-ai-licenses/non-ai-licenses/main/NON-AI-APACHE2)
// id : dfb0a855-dab3-4ec8-bb54-cfbfb52e9687
// created-on : 2022-06-15T20:54:56+02:00
// managed-by : https://github.com/dacr/code-examples-manager
// run-with : scala-cli $file

// ---------------------
//> using scala  "3.1.2"
// ---------------------

val pf:PartialFunction[Any, String] =
  case _:Int => "OK"
  case 1L => "ok"

assert(pf.isDefinedAt("42") == false)
assert(pf.isDefinedAt(42) == true)
println(pf.apply(42))
println(pf(42))


val pf2:Any=>String = // NOT EXACTLY A PARTIAL FUNCTION IN PF2 !!!!
  case _:Int => "OK"
  case 1L => "ok"