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: 79ae218fa9808fe5a28b454e2edff034a0659297 (plain)

(.module:
  [lux #*])

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