Module Curry.Position

Summary of exported operations:

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

Exported datatypes:

Position

Constructors:

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

Exported operations:

line :: Position -> Int  Deterministic 

Further infos:
  • partially defined

column :: Position -> Int  Deterministic 

Further infos:
  • partially defined

rowDist :: Position -> Position -> Int  Deterministic 

incr :: Position -> Int -> Position  Deterministic