scala.tools.refactoring.common.TreeExtractors
An extractor that matches on a Some/None pattern match.
The match is only successful if there's exactly one Some and one None case (or a default case that results in None), with no guards.
None
The result is a triple with the name bound that was bound to the content of Some and the bodies of both cases.
An extractor that matches on a Some/None pattern match.
The match is only successful if there's exactly one Some and one None case (or a default case that results in
None
), with no guards.The result is a triple with the name bound that was bound to the content of Some and the bodies of both cases.