Exported names:

Datatypes:
Position
Constructors:
NoPos
Position
Operations:
incr
rowDist

Imported modules:

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