6.3.90.900
option-bind
| (require option-bind) | package: option-bind |
Provides for applying functions to values of type (Option x),
propagating false results.
procedure
(?<- f v) → (Option b)
f : (U (a -> b) (a -> (Option b))) v : (Option a)
If v is #f, produces #f. Otherwise, produces
(f v).
procedure
(?<-2 f v1 v2) → (Option c)
f : (U (a b -> c) (a b -> (Option c))) v1 : (Option a) v2 : (Option b)
If v1 or v2 is #f, produces #f.
Otherwise, produces (f v1 v2).