Dumb almost certainly already asked question `Option forall kotlinlang #arrow

Dumb, almost certainly already-asked question… `Op...

benfleis

01/30/2018, 6:37 AM

Dumb, almost certainly already-asked question…

Option.forall(p) = exists(p) = fold({ false }, { p(it) }

— is this the normal definition? I had always understood

all(<empty>) → true

, and likewise

any(<empty>) → false