Stdlib.Data.Fixity
Contents
Definitions
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.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 = 27}, _locOffset = Pos {_unPos = 54}}}, _withLocParam = None} |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 5}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 79}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 5}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 86}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 6}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 126}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 6}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 133}}}, _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/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 22}, _locOffset = Pos {_unPos = 185}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 29}, _locOffset = Pos {_unPos = 192}}}, _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/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 9}, _locCol = Pos {_unPos = 26}, _locOffset = Pos {_unPos = 252}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 9}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 259}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 11}, _locCol = Pos {_unPos = 26}, _locOffset = Pos {_unPos = 303}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 11}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 310}}}, _withLocParam = Binary}, right-associative |
Higher precedence than: seq, |
syntax fixity comparisonSource#
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 12}, _locCol = Pos {_unPos = 29}, _locOffset = Pos {_unPos = 372}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 12}, _locCol = Pos {_unPos = 36}, _locOffset = Pos {_unPos = 379}}}, _withLocParam = Binary} |
Higher precedence than: logical, |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 14}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 439}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 14}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 446}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 15}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 486}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 15}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 493}}}, _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/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 17}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 551}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 17}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 558}}}, _withLocParam = Binary}, right-associative |
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 18}, _locCol = Pos {_unPos = 24}, _locOffset = Pos {_unPos = 599}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 18}, _locCol = Pos {_unPos = 31}, _locOffset = Pos {_unPos = 606}}}, _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/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 20}, _locCol = Pos {_unPos = 27}, _locOffset = Pos {_unPos = 668}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 20}, _locCol = Pos {_unPos = 34}, _locOffset = Pos {_unPos = 675}}}, _withLocParam = Binary}, left-associative |
Higher precedence than: comparison, range, cons, |
syntax fixity multiplicativeSource#
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 21}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 760}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 21}, _locCol = Pos {_unPos = 40}, _locOffset = Pos {_unPos = 767}}}, _withLocParam = Binary}, left-associative |
Higher precedence than: additive, |
syntax fixity compositionSource#
Fixity details
WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/work/juvix-docs/juvix-docs/juvix-src/examples/milestone/Collatz/.juvix-build/stdlib/Stdlib/Data/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 23}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 835}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 23}, _locCol = Pos {_unPos = 37}, _locOffset = Pos {_unPos = 842}}}, _withLocParam = Binary}, right-associative |
Higher precedence than: multiplicative, |