Juvix.Builtin.V1.Fixity

Contents

Fixity details

WithLoc {_withLocInt = Interval {_intervalFile = "/home/runner/.config/juvix/0.6.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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.1/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,

Description

Definitions