GridBox.Compress

Grid compression

Documentation

type Length = Int

Length of a compressed col

type CompressedGrid = [CompressedRow]

Compressed grid

type CompressedRow = (BoxRow, CompressedCols)

Compressed row

type CompressedCols = [CompressedCol]

Compressed cols

type CompressedCol = (BoxCol, Length)

Compressed col

compressGrid :: Grid -> CompressedGrid

Compress grid

compressRow :: Row -> CompressedGrid

Compress row

compressBoxes :: [Box] -> CompressedGrid

Compress boxes

compressGroupedRows :: GroupedByRow -> CompressedGrid

Compress grouped rows

compressGroupedRow :: GroupedRow -> CompressedRow

Compress grouped row

compressCols :: [BoxCol] -> CompressedCols

Compress cols

fromCols :: [BoxCol] -> CompressedCols

Convert list of box cols to compressed cols with length = 1

mergeCols :: CompressedCols -> CompressedCols

Merge cols that have neighbours. Each col a and b is merged to c. The index of c is the index of a and the length of c is the sum of length a and b.