fmap   xtlang


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

Implementation

(bind-func fmap:[ADList{!b}*,[!b,!a]*,ADList{!a}*]*
  (lambda (f F)
    (ADCons$ F (x xs) (ADCons (f x) (fmap f xs)) (ADNil))))


Back to Index

Similar Entries