смотри че в доках напиано про совместимость со Скала2: http://dotty.epfl.ch/docs/reference/changed-features/pattern-matching.html#fixed-arity-extractors

я пытаюсь это поженить

@willtakeyoutothecandyshop, смотри. Давай обратимся к документации "unapply takes an object and tries to give back the arguments". То есть это функция обратная конструктору, она должна вернуть те аргументы, которые нужно дать классу чтобы его сконструировать. То есть когда ты делаешь возвращаемое значение типа Option[Header], тебе будет возвращаться именно Foo.Header(Foo.Header). Внутренний хедер - это то что ты возвращаешь из своего unapply, а внешний говорит о том, в какой unapply надо смотреть

http://dotty.epfl.ch/docs/reference/changed-features/pattern-matching.html#boolean-match
Это не твой кейс разве?

и что непонятного написано там? То, что у тебя в результате unapply стоит, то и будет находиться внутри скобок потом. Ты поставил Header, поэтому и будет в итоге Header(_: Header)

Так как unapply должен вернуть аргументы, а в случае класса с пустым конструктором это сделать невозможно, то единственный выход в данном случае - использовать булеан

это конечно все хорошо, только официальные же доки на скалу3 приводят примеры где 13 match case Even() =>. то есть, прямой связи с "обратное конструктору" уже давно не наблюдается во многих кейсах. а у меня задача-то относительно простая, есть функция, которая из строки уходит в может_быть Хидер и я хотел КРАСИВО влепить это в анплай, полагаясь на ссылу на доку выше про совместимость.

но как-то вот передумал после этой замечательной дискуссии

Можно ссылку на место в доках? Ты про это?

ога

Так там и стоит Boolean в результате unapply, тебе решение это предложили, а ты отказался от него

вы бы мне еще предложили на Раст переписать

Там используется булеан

как это меняет твою дефиницию анплая как действия, обратного конструктору?

лол

ладно, я тут бурю поднял, вообще я не хотел бурю, я просто хотел красиво match написать, уже пожалел, спасибо что откликнулись, но я пожалуй заматчу по-старинке как диды и прадедиды.

Покажи потом хоть, что получится

ну можно к произведению свести задачу и тогда, кстати, анплай будет рабоать. в духе:
строка match {
case (Some(Header), None) => ...
case (None, Some(Body)) => ..