apply   xtlang


Defined in:  https://github.com/digego/extempore/tree/v0.8.9/tests/core/algebraic_data_types.xtm

Implementation

;; also known as <*> or ap
(bind-func apply:[ADList{!b}*,ADList{[!b,!a]*}*,ADList{!a}*]*
  (lambda (F1 F2)
    (ADCons$ F1 (f fs)
              (ADCons$ F2 (x xs)
                        (ADCons (f x) (apply fs xs))
                        (ADNil))
              (ADNil))))


Back to Index

Similar Entries