diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux (renamed from stdlib/source/lux/macro/poly/functor.lux) | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 5ccb65463..747d3c811 100644 --- a/stdlib/source/lux/macro/poly/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -1,8 +1,7 @@ (.module: [lux #* [abstract - [monad (#+ Monad do)] - ["." functor]] + [monad (#+ Monad do)]] [control ["p" parser ["<.>" type] @@ -20,7 +19,9 @@ [syntax (#+ syntax:) ["." common]] ["." poly (#+ poly:)]] - ["." type]]) + ["." type]] + {1 + ["." /]}) (poly: #export functor (do @ @@ -35,10 +36,10 @@ #let [@Functor (: (-> Type Code) (function (_ unwrappedT) (if (n.= 1 num-vars) - (` ((~! functor.Functor) (~ (poly.to-code *env* unwrappedT)))) + (` ((~! /.Functor) (~ (poly.to-code *env* unwrappedT)))) (let [paramsC (|> num-vars dec list.indices (list;map (|>> %.nat code.local-identifier)))] (` (All [(~+ paramsC)] - ((~! functor.Functor) ((~ (poly.to-code *env* unwrappedT)) (~+ paramsC))))))))) + ((~! /.Functor) ((~ (poly.to-code *env* unwrappedT)) (~+ paramsC))))))))) Arg<?> (: (-> Code (<type>.Parser Code)) (function (Arg<?> valueC) ($_ p.either |