Module Curry.Position

Summary of exported operations:

rowDist :: Position -> Position -> Int   

Exported datatypes:


Position

Constructors:

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

Exported operations:

rowDist :: Position -> Position -> Int