diff options
author | Eduardo Julian | 2021-09-06 02:17:41 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-06 02:17:41 -0400 |
commit | ddcfead3ebf30fd8fef26f495662ef61e652ba4f (patch) | |
tree | 6390b978dfbd0573e8889834bc22057769766846 /stdlib/source/library/lux/control/parser | |
parent | 06c5f9af1d7aa291ae8e7bdd75af57bbe0684193 (diff) |
Applied new convention for variants.
Diffstat (limited to 'stdlib/source/library/lux/control/parser')
-rw-r--r-- | stdlib/source/library/lux/control/parser/binary.lux | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux index 1491e0cea..846f952d3 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/library/lux/control/parser/binary.lux @@ -123,16 +123,6 @@ (!variant [[0 [#.Left] left] [1 [#.Right] right]])) -(def: .public (or/5 p/0 p/1 p/2 p/3 p/4) - (All (_ p/0 p/1 p/2 p/3 p/4) - (-> (Parser p/0) (Parser p/1) (Parser p/2) (Parser p/3) (Parser p/4) - (Parser (Or p/0 p/1 p/2 p/3 p/4)))) - (!variant [[0 [0 #0] p/0] - [1 [1 #0] p/1] - [2 [2 #0] p/2] - [3 [3 #0] p/3] - [4 [3 #1] p/4]])) - (def: .public (rec body) (All (_ a) (-> (-> (Parser a) (Parser a)) (Parser a))) (function (_ input) |