двух аргументов конкретного union case? Например есть
type PipeArg<'i,'r,'u> =
| Capture of Parser<'i,'r,'u>
| Skip of Parser<'i,'r,'u>
Мне надо реализовать оператор (+) только для Capture.
Боюсь, что никак, потому что Capture — это не тип, а значение. Как вариант, можно сделать специальный тип для значения Capture, и для него определить методы.
Обсуждают сегодня