An extractor that returns the name of a tree's type as a String.
An extractor for the List constructor List
or ::
An extractor that matches on a Some/None pattern match.
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.
A boolean extractor for the Nil object.
A boolean extractor for the None constructor.
An extractor for the Some constructor.
An extractor for the () literal tree.
True if the tree's type is Unit