Module Curry.Position

Summary of exported operations:

rowDist :: Position -> Position -> Int   
incr :: Position -> Int -> Position   

Exported datatypes:


Position

Constructors:

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

Exported operations:

rowDist :: Position -> Position -> Int   

incr :: Position -> Int -> Position