Math.Geometry.GridMap.Lazy

Ordered maps from tiles on a grid to values. This module is a wrapper around Grid and Map, in order to combine the functionality of grids and maps into a single type.

Documentation

data LGridMap g v

A map from tile positions in a grid to values.

Instances

(Grid g, Ord (Index g)) => Functor (LGridMap g)

Foldable (LGridMap g)

Grid g => GridMap (LGridMap g) v

(Eq g, Eq (Index g), Eq v) => Eq (LGridMap g v)

(Show g, Show v) => Show (LGridMap g v)

Generic (LGridMap g v)

FiniteGrid g => FiniteGrid (LGridMap g v)

Grid g => Grid (LGridMap g v)

type BaseGrid (LGridMap g) v = g

type Rep (LGridMap g v)

type Size (LGridMap g v) = Size g

type Index (LGridMap g v) = Index g

type Direction (LGridMap g v) = Direction g

lazyGridMap :: (Ord (Index g), Grid g) => g -> [v] -> LGridMap g v

Construct a grid map which is strict in the keys (tile positions), but lazy in the values.

empty :: Grid g => g -> LGridMap g v