aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/infix.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/math/infix.lux')
-rw-r--r--stdlib/source/library/lux/math/infix.lux25
1 files changed, 13 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/math/infix.lux b/stdlib/source/library/lux/math/infix.lux
index d2a210e7b..c2847d72e 100644
--- a/stdlib/source/library/lux/math/infix.lux
+++ b/stdlib/source/library/lux/math/infix.lux
@@ -19,22 +19,23 @@
["i" int]]]]])
(type: #rec Infix
- (#Const Code)
- (#Call (List Code))
- (#Unary Code Infix)
- (#Binary Infix Code Infix))
+ (Variant
+ (#Const Code)
+ (#Call (List Code))
+ (#Unary Code Infix)
+ (#Binary Infix Code Infix)))
(def: literal
(Parser Code)
($_ <>.either
- (<>\map code.bit <code>.bit)
- (<>\map code.nat <code>.nat)
- (<>\map code.int <code>.int)
- (<>\map code.rev <code>.rev)
- (<>\map code.frac <code>.frac)
- (<>\map code.text <code>.text)
- (<>\map code.identifier <code>.identifier)
- (<>\map code.tag <code>.tag)))
+ (<>\each code.bit <code>.bit)
+ (<>\each code.nat <code>.nat)
+ (<>\each code.int <code>.int)
+ (<>\each code.rev <code>.rev)
+ (<>\each code.frac <code>.frac)
+ (<>\each code.text <code>.text)
+ (<>\each code.identifier <code>.identifier)
+ (<>\each code.tag <code>.tag)))
(def: expression
(Parser Infix)