option-bind
?<-
?<-2
7.1

option-bind

Jordan Johnson <[email protected]>

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).