option-bind🔗 i

Provides for applying functions to values of type (Optionx), propagating false results.

procedure
( ?<- fv)→(Optionb)
f:(U(a->b)(a->(Optionb)))
v:(Optiona)

If v is #f, produces #f. Otherwise, produces (fv).

procedure
( ?<-2 fv1v2)→(Optionc)
f:(U(ab->c)(ab->(Optionc)))
v1:(Optiona)
v2:(Optionb)

If v1 or v2 is #f, produces #f. Otherwise, produces (fv1v2).

top ← prev up next →