Data.Puzzles.GridShape

Grid shapes.

Documentation

class Show (Cell a) => GridShape a where

The geometry of a grid.

Associated Types

type GridSize a :: *

type Cell a :: *

type Vertex a :: *

Methods

size :: a -> GridSize a

cells :: a -> [Cell a]

vertices :: a -> [Vertex a]

neighbours :: a -> Cell a -> [Cell a]

Instances

GridShape Square

data Square

A standard square grid, with cells and vertices indexed by pairs of integers in mathematical coordinates. The bottom-left corner is vertex (0, 0), the bottom-left cell is cell (0, 0).

Constructors

Square !Int !Int

Instances

Show Square

GridShape Square

type GridSize Square = (Int, Int)

type Cell Square = (Int, Int)

type Vertex Square = (Int, Int)

data Dir

Edge direction in a square grid, vertical or horizontal.

Constructors

V

H

Instances

Eq Dir

Ord Dir

Show Dir

data Edge

An edge in a square grid, going up or right from the given cell centre.

Constructors

E (Cell Square) Dir

Instances

Eq Edge

Ord Edge

Show Edge

type Coord = Cell Square

type Size = GridSize Square