Definitions
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 3}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 50}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 3}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 57}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 4}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 97}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 4}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 104}}}, _withLocParam = Binary}, left-associative |
Same precedence as rapp |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 5}, _locCol = Pos {_unPos = 22}, _locOffset = Pos {_unPos = 156}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 5}, _locCol = Pos {_unPos = 29}, _locOffset = Pos {_unPos = 163}}}, _withLocParam = Binary}, left-associative |
Higher precedence than: lapp, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 26}, _locOffset = Pos {_unPos = 223}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 230}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 9}, _locCol = Pos {_unPos = 26}, _locOffset = Pos {_unPos = 274}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 9}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 281}}}, _withLocParam = Binary}, right-associative |
Higher precedence than: seq, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 10}, _locCol = Pos {_unPos = 29}, _locOffset = Pos {_unPos = 343}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 10}, _locCol = Pos {_unPos = 36}, _locOffset = Pos {_unPos = 350}}}, _withLocParam = Binary} |
Higher precedence than: logical, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 12}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 410}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 12}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 417}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 13}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 457}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 13}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 464}}}, _withLocParam = Binary}, right-associative |
Higher precedence than: pair, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 15}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 522}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 15}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 529}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 16}, _locCol = Pos {_unPos = 24}, _locOffset = Pos {_unPos = 570}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 16}, _locCol = Pos {_unPos = 31}, _locOffset = Pos {_unPos = 577}}}, _withLocParam = Binary}, right-associative |
Higher precedence than: step, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 18}, _locCol = Pos {_unPos = 27}, _locOffset = Pos {_unPos = 639}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 18}, _locCol = Pos {_unPos = 34}, _locOffset = Pos {_unPos = 646}}}, _withLocParam = Binary}, left-associative |
Higher precedence than: comparison, range, cons, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 19}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 731}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 19}, _locCol = Pos {_unPos = 40}, _locOffset = Pos {_unPos = 738}}}, _withLocParam = Binary}, left-associative |
Higher precedence than: additive, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/HelloWorld/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 21}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 806}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 21}, _locCol = Pos {_unPos = 37}, _locOffset = Pos {_unPos = 813}}}, _withLocParam = Binary}, right-associative |
Higher precedence than: multiplicative, |