contravariant.lux « functor « abstract « lux « source « stdlib - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/stdlib/source/lux/abstract/functor/contravariant.lux

blob: d91813e1ffa5bc083bc433406221d0a04b591f47 (plain)

(.module:
  [lux #*])

(interface: #export (Functor f)
  (: (All [a b]
       (-> (-> b a)
           (-> (f a) (f b))))
     map))