Module Curry.Position

Datatype and operations to handle Positions.

Author
Kai-Oliver Prott
Version
October 2024
Exported Datatypes:
Exported Functions:

Exported Datatypes


data Position

Constructors:

  • Position :: Int -> Int -> Position
  • NoPos :: Position

Known instances:


Exported Functions


line :: Position -> Int  Deterministic 

Further infos:
  • partially defined

column :: Position -> Int  Deterministic 

Further infos:
  • partially defined

rowDist :: Position -> Position -> Int  Deterministic 

Distance between the row of the first and the second argument


incr :: Position -> Int -> Position  Deterministic