traverse Option
Deprecated
traverseOption is being renamed to traverse to simplify the Arrow API
Replace with
import arrow.core.traverse
Content copied to clipboard
traverse(f)
Content copied to clipboard
Deprecated
traverseOption is being renamed to traverse to simplify the Arrow API
Replace with
import arrow.core.traverse
Content copied to clipboard
traverse(f).map { it.asSequence() }
Content copied to clipboard