Hanoi - 0.1.0

Juvix.Builtin.V1.Fixity

Description

Definitions

syntax fixity noneSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 3}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 55}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 3}, _locCol = Pos {_unPos = 27}, _locOffset = Pos {_unPos = 59}}}, _withLocParam = None}

syntax fixity rappSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 5}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 84}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 5}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 91}}}, _withLocParam = Binary}, right-associative

syntax fixity lappSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 6}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 131}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 6}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 138}}}, _withLocParam = Binary}, left-associative
Same precedence as rapp

syntax fixity seqSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 22}, _locOffset = Pos {_unPos = 190}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 7}, _locCol = Pos {_unPos = 29}, _locOffset = Pos {_unPos = 197}}}, _withLocParam = Binary}, left-associative
Higher precedence than: lapp,

syntax fixity functorSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 9}, _locCol = Pos {_unPos = 26}, _locOffset = Pos {_unPos = 257}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 9}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 264}}}, _withLocParam = Binary}, right-associative

syntax fixity logicalSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 11}, _locCol = Pos {_unPos = 26}, _locOffset = Pos {_unPos = 308}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 11}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 315}}}, _withLocParam = Binary}, right-associative
Higher precedence than: seq,

syntax fixity comparisonSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 12}, _locCol = Pos {_unPos = 29}, _locOffset = Pos {_unPos = 377}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 12}, _locCol = Pos {_unPos = 36}, _locOffset = Pos {_unPos = 384}}}, _withLocParam = Binary}
Higher precedence than: logical,

syntax fixity pairSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 14}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 444}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 14}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 451}}}, _withLocParam = Binary}, right-associative

syntax fixity consSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 15}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 491}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 15}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 498}}}, _withLocParam = Binary}, right-associative
Higher precedence than: pair,

syntax fixity stepSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 17}, _locCol = Pos {_unPos = 23}, _locOffset = Pos {_unPos = 556}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 17}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 563}}}, _withLocParam = Binary}, right-associative

syntax fixity rangeSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 18}, _locCol = Pos {_unPos = 24}, _locOffset = Pos {_unPos = 604}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 18}, _locCol = Pos {_unPos = 31}, _locOffset = Pos {_unPos = 611}}}, _withLocParam = Binary}, right-associative
Higher precedence than: step,

syntax fixity additiveSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 20}, _locCol = Pos {_unPos = 27}, _locOffset = Pos {_unPos = 673}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 20}, _locCol = Pos {_unPos = 34}, _locOffset = Pos {_unPos = 680}}}, _withLocParam = Binary}, left-associative
Higher precedence than: comparison, range, cons,

syntax fixity multiplicativeSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 21}, _locCol = Pos {_unPos = 33}, _locOffset = Pos {_unPos = 765}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 21}, _locCol = Pos {_unPos = 40}, _locOffset = Pos {_unPos = 772}}}, _withLocParam = Binary}, left-associative
Higher precedence than: additive,

syntax fixity compositionSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 23}, _locCol = Pos {_unPos = 30}, _locOffset = Pos {_unPos = 840}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 23}, _locCol = Pos {_unPos = 37}, _locOffset = Pos {_unPos = 847}}}, _withLocParam = Binary}, right-associative
Higher precedence than: multiplicative,

syntax fixity lcompositionSource#

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.3/package-base/Juvix/Builtin/V1/Fixity.juvix", _intervalStart = FileLoc {_locLine = Pos {_unPos = 24}, _locCol = Pos {_unPos = 31}, _locOffset = Pos {_unPos = 922}}, _intervalEnd = FileLoc {_locLine = Pos {_unPos = 24}, _locCol = Pos {_unPos = 38}, _locOffset = Pos {_unPos = 929}}}, _withLocParam = Binary}, left-associative
Higher precedence than: multiplicative,