Collatz - 0.1.0

Stdlib.Data.Fixity

Description

Definitions

syntax fixity rappSource#

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 = 30}, _locOffset = Pos {_unPos = 57}}}, _withLocParam = Binary}, right-associative

syntax fixity lappSource#

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 = 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

syntax fixity seqSource#

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 = 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,

syntax fixity functorSource#

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 = 26}, _locOffset = Pos {_unPos = 223}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 230}}}, _withLocParam = Binary}, right-associative

syntax fixity logicalSource#

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 = 274}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 9}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 281}}}, _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 = 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,

syntax fixity pairSource#

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 = 23}, _locOffset = Pos {_unPos = 410}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 12}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 417}}}, _withLocParam = Binary}, right-associative

syntax fixity consSource#

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 = 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,

syntax fixity stepSource#

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 = 522}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 15}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 529}}}, _withLocParam = Binary}, right-associative

syntax fixity rangeSource#

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 = 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,

syntax fixity additiveSource#

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 = 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,

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 = 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,

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 = 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,