DS
Потому что sequence обладает монадической семантикой
Size: a a a
2020 March 02
AS
А на List тогда почему не так?
Oℕ
точно так же
Oℕ
List(None, Some(1)).sequence == None
AS
да, и вправда
DS
sequence делает по сути Monoid.combine
а тебе нужно поведение Alternative.unite
а тебе нужно поведение Alternative.unite
AS
как это обойти лучше?
Oℕ
sequence делает по сути Monoid.combine
а тебе нужно поведение Alternative.unite
а тебе нужно поведение Alternative.unite
с этим не согласен
AS
написать вручную то, что я хочу? UPD в общем collect и заново NonEmptyList.fromList помог
Oℕ
sequence не делает Monoid.combine по крайней мере в том смысле, который мне сходу в голову приходит
Oℕ
или тут речь конкретно про Option?
DS
я чутка попутал
Oℕ
написать вручную то, что я хочу? UPD в общем collect и заново NonEmptyList.fromList помог
TraverseFilter
AS
TraverseFilter
🙏🏻
Oℕ
конкретно метод ,sequenceFilter должен делать примерно то, Что нужно, однако инстанса этого класса у NonEmptyList быть не может
Oℕ
потому что NonEmptyList.of(None, None) не порождает ни одного элемента
Oℕ
по той же причине инстанса Alternative у NEL нет
AS
логично 👍🏻
Oℕ
тут нужен какой-то NonEmptyTraverseFilter , который Option[F[ возврщает
λ
Друзья, а в котах
NonEmptyList(None, List(Some(1))).sequence == None, почему не NonEmptyList(1)?Тут всё верно в lefthand side?