Adds CoprodSubsetter with a subset method to split a coproduct. The idea behind the name is that you are handling a subset of the types, leaving the rest for somebody else to handle.
Added an example of using CoprodInjector for a match that is actually exhaustive. It didn't seem right for only CoprodSubsetter to have such an example when CoprodInjector has the word "exhaustive" right there in the headline.
Centril
commented
6 years ago
Part of #86.
Adds
CoprodSubsetterwith asubsetmethod to split a coproduct. The idea behind the name is that you are handling a subset of the types, leaving the rest for somebody else to handle.Added an example of using CoprodInjector for a match that is actually exhaustive. It didn't seem right for only
CoprodSubsetterto have such an example whenCoprodInjectorhas the word "exhaustive" right there in the headline.