Data.Puzzles.Grid

Puzzle grids.

Documentation

data Grid s a where

A generic grid, with the given shape and contents.

Constructors

Grid :: s -> Map (Cell s) a -> Grid s a

Fields

shape :: s

contents :: Map (Cell s) a

Instances

Functor (Grid s)

Foldable (Grid s)

Traversable (Grid s)

(Show a, Show s, GridShape s) => Show (Grid s a)

type SGrid = Grid Square

Standard square grid.

type CharGrid = SGrid Char

type AreaGrid = CharGrid

type ShadedGrid = SGrid Bool

type CharClueGrid = SGrid (Maybe Char)

type IntGrid = SGrid (Clue Int)

(!) :: (GridShape s, Ord (Cell s)) => Grid s a -> Cell s -> a

Lookup a grid value at a given cell. Unsafe.

fromListList :: [[a]] -> Grid Square a

Initialize a square grid from a list of lists. The grid might be incomplete if some rows are shorter.

size :: GridShape s => Grid s a -> GridSize s

cells :: GridShape s => Grid s a -> [Cell s]

inBounds :: (GridShape s, Eq (Cell s)) => Grid s a -> Cell s -> Bool

clues :: GridShape s => Grid s (Maybe a) -> [(Cell s, a)]

For a grid with value type Maybe a, return an association list of cells and Just values.

values :: GridShape s => Grid s a -> [(Cell s, a)]

Association list of cells and values.

borders :: Eq a => Grid Square a -> [Edge]

The inner edges of a grid that separate unequal cells.

data OutsideClues a

Clues along the outside of a square grid.

Constructors

OC

Fields

left :: [a]

right :: [a]

bottom :: [a]

top :: [a]

Instances

Show a => Show (OutsideClues a)

outsideclues :: OutsideClues (Maybe a) -> [((Int, Int), a)]

Convert outside clues to association list mapping coordinate to value.