Constructs a path ending in target
and taking args
as arrow parameters.
If possible, deconstructs a path t
into a constructor, which is a path, and arrow parameters.
If possible, deconstructs a path t
into a constructor, which is a path, and arrow parameters.
unapply('A =>: 'B :&: 'C =>: 'D) = Some(Seq('A, 'B :&: 'C), 'D)
unapply('A =>: 'B :&: 'C) = None
Helper methods to (de-)construct paths from (/into) arguments and targets of arrows.