stdlib/source/library/lux/abstract/functor/contravariant.lux


1
2
3
4
5
6
7
8
9
10

(.require
 [library
  [lux (.except)]])

(type: .public (Functor f)
  (Interface
   (is (All (_ a b)
         (-> (-> b a)
             (-> (f a) (f b))))
       each)))