From 766bb3c24838072b0fc83505a6f6c09444faa8c6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 17 Jan 2017 19:43:51 -0400 Subject: - Added some type combinators for type constructors. --- stdlib/source/lux.lux | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'stdlib/source') diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 8af215b43..76093eb29 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -5712,3 +5712,12 @@ (#;Left (~ (text$ (Text/append "Wrong syntax for " name)))) ))))) )) + +(type: #export (<&> f g) + (All [a] (& (f a) (g a)))) + +(type: #export (<|> f g) + (All [a] (| (f a) (g a)))) + +(type: #export (<.> f g) + (All [a] (f (g a)))) -- cgit v1.2.3