$map method

$Value $map(E value)

Implementation

$Value $map(E value) {
  if (value == null) return $null();
  return mapper(value);
}