SizedGrid.Grid.Class

Documentation

class IsGrid cs grid | grid -> cs where

Conversion between Grid and FocusedGrid and access grids at a Coord

Minimal complete definition

gridIndex, asGrid, asFocusedGrid

Methods

gridIndex :: Coord cs -> Lens' (grid a) a

Get the element at a grid location. This is a lens because we know it must exist

asGrid :: Lens' (grid a) (Grid cs a)

Convert to, or run a function over, a Grid

asFocusedGrid :: Lens' (grid a) (FocusedGrid cs a)

Convert to, or run a function over, a FocusedGrid

Instances

(KnownNat (MaxCoordSize * cs), All * IsCoord cs, All * Monoid cs, All * Semigroup cs) => IsGrid cs (FocusedGrid cs)

Methods

gridIndex :: Coord cs -> Lens' (FocusedGrid cs a) a

asGrid :: Functor f => (Grid cs a -> f (Grid cs a)) -> FocusedGrid cs a -> f (FocusedGrid cs a)

asFocusedGrid :: Functor f => (FocusedGrid cs a -> f (FocusedGrid cs a)) -> FocusedGrid cs a -> f (FocusedGrid cs a)

(KnownNat (MaxCoordSize * cs), All * Semigroup cs, All * Monoid cs, All * IsCoord cs) => IsGrid cs (Grid cs)

Methods

gridIndex :: Coord cs -> Lens' (Grid cs a) a

asGrid :: Functor f => (Grid cs a -> f (Grid cs a)) -> Grid cs a -> f (Grid cs a)

asFocusedGrid :: Functor f => (FocusedGrid cs a -> f (FocusedGrid cs a)) -> Grid cs a -> f (Grid cs a)