diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/control/functor.lux | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/stdlib/source/lux/control/functor.lux b/stdlib/source/lux/control/functor.lux index 3532e0633..416223cd7 100644 --- a/stdlib/source/lux/control/functor.lux +++ b/stdlib/source/lux/control/functor.lux @@ -8,6 +8,15 @@ (type: #export (Fix f) (f (Fix f))) +(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)))) + (struct: #export (compF Functor<F> Functor<G>) {#;doc "Functor composition."} (All [F G] (-> (Functor F) (Functor G) (Functor (All [a] (F (G a)))))) |