apply   xtlang


Defined in:  https://github.com/digego/extempore/tree/v0.8.9/examples/contrib/algebraic_data_types.xtm

Implementation

;; also known as <*> or ap
(bind-func apply:[Option{!b}*,Option{[!b,!a]*}*,Option{!a}*]*
  (lambda (F1 F2)
    (Some$ F1 (f)
           (Some$ F2 (x)
                  (Some (f x))
                  (None))
           (None))))


Back to Index

Similar Entries