diff options
Diffstat (limited to 'stdlib/source/lux/abstract/functor/contravariant.lux')
| -rw-r--r-- | stdlib/source/lux/abstract/functor/contravariant.lux | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/stdlib/source/lux/abstract/functor/contravariant.lux b/stdlib/source/lux/abstract/functor/contravariant.lux new file mode 100644 index 000000000..79ae218fa --- /dev/null +++ b/stdlib/source/lux/abstract/functor/contravariant.lux @@ -0,0 +1,8 @@ +(.module: + [lux #*]) + +(signature: #export (Functor f) + (: (All [a b] + (-> (-> b a) + (-> (f a) (f b)))) + map)) |