Module Curry.Position

Summary of exported operations:

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

Exported datatypes:

Position

Constructors:

  • Position :: Int -> Int -> Position

    Fields:

    • line :: Int
    • column :: Int
  • NoPos :: Position

Exported operations:

rowDist :: Position -> Position -> Int  Deterministic 

incr :: Position -> Int -> Position  Deterministic