Channels
#arrow-contributors
Title
# arrow-contributors
p
pakoito
07/16/2019, 11:42 PMNEL doesn't have a FunctorFilter instance, you have to transform it to List first
i
Imran/Malic
07/17/2019, 3:57 AMNel does have an FunctorFilter instance
https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-core/src/main/kotlin/arrow/core/extensions/NonEmptyListFunctorFilter.kt
I removed the file and moved the code to it’s extension file
same with the rest which was due when we ported them from MTL
p
pakoito
07/17/2019, 7:56 AMNel does have an FunctorFilter instanceIt doesn't, it cannot pass the laws if you filter the last element
right?
i
Imran/Malic
07/17/2019, 9:22 AMoh I thought you meant an FunctorFilter extension instance
I will write an proposal and we can discuss this over github, if that makes sense
2 Views