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)

Defined in Math.Geometry.GridMap.Lazy

Methods

fmap :: (a -> b) -> LGridMap g a -> LGridMap g b

(<$) :: a -> LGridMap g b -> LGridMap g a

Foldable (LGridMap g)

Defined in Math.Geometry.GridMap.Lazy

Methods

fold :: Monoid m => LGridMap g m -> m

foldMap :: Monoid m => (a -> m) -> LGridMap g a -> m

foldr :: (a -> b -> b) -> b -> LGridMap g a -> b

foldr' :: (a -> b -> b) -> b -> LGridMap g a -> b

foldl :: (b -> a -> b) -> b -> LGridMap g a -> b

foldl' :: (b -> a -> b) -> b -> LGridMap g a -> b

foldr1 :: (a -> a -> a) -> LGridMap g a -> a

foldl1 :: (a -> a -> a) -> LGridMap g a -> a

toList :: LGridMap g a -> [a]

null :: LGridMap g a -> Bool

length :: LGridMap g a -> Int

elem :: Eq a => a -> LGridMap g a -> Bool

maximum :: Ord a => LGridMap g a -> a

minimum :: Ord a => LGridMap g a -> a

sum :: Num a => LGridMap g a -> a

product :: Num a => LGridMap g a -> a

Grid g => GridMap (LGridMap g) v

Defined in Math.Geometry.GridMap.Lazy

Associated Types

type BaseGrid (LGridMap g) v :: Type

Methods

(!) :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => LGridMap g v -> k -> v

toMap :: k ~ Index (BaseGrid (LGridMap g) v) => LGridMap g v -> Map k v

toGrid :: LGridMap g v -> BaseGrid (LGridMap g) v

toList :: k ~ Index (BaseGrid (LGridMap g) v) => LGridMap g v -> [(k, v)]

lookup :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => k -> LGridMap g v -> Maybe v

insert :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => k -> v -> LGridMap g v -> LGridMap g v

insertWith :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => (v -> v -> v) -> k -> v -> LGridMap g v -> LGridMap g v

insertWithKey :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => (k -> v -> v -> v) -> k -> v -> LGridMap g v -> LGridMap g v

insertLookupWithKey :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => (k -> v -> v -> v) -> k -> v -> LGridMap g v -> (Maybe v, LGridMap g v)

delete :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => k -> LGridMap g v -> LGridMap g v

adjust :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => (v -> v) -> k -> LGridMap g v -> LGridMap g v

adjustWithKey :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => (k -> v -> v) -> k -> LGridMap g v -> LGridMap g v

alter :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => (Maybe v -> Maybe v) -> k -> LGridMap g v -> LGridMap g v

findWithDefault :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => v -> k -> LGridMap g v -> v

keys :: (k ~ Index (BaseGrid (LGridMap g) v), Ord k) => LGridMap g v -> [k]

elems :: LGridMap g v -> [v]

map :: (GridMap (LGridMap g) v2, Index (BaseGrid (LGridMap g) v) ~ Index (BaseGrid (LGridMap g) v2)) => (v -> v2) -> LGridMap g v -> LGridMap g v2

mapWithKey :: (k ~ Index (BaseGrid (LGridMap g) v), k ~ Index (BaseGrid (LGridMap g) v2), GridMap (LGridMap g) v2) => (k -> v -> v2) -> LGridMap g v -> LGridMap g v2

filter :: (v -> Bool) -> LGridMap g v -> LGridMap g v

filterWithKey :: k ~ Index (BaseGrid (LGridMap g) v) => (k -> v -> Bool) -> LGridMap g v -> LGridMap g v

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

Defined in Math.Geometry.GridMap.Lazy

Methods

(==) :: LGridMap g v -> LGridMap g v -> Bool

(/=) :: LGridMap g v -> LGridMap g v -> Bool

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

Defined in Math.Geometry.GridMap.Lazy

Methods

showsPrec :: Int -> LGridMap g v -> ShowS

show :: LGridMap g v -> String

showList :: [LGridMap g v] -> ShowS

Generic (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

Associated Types

type Rep (LGridMap g v) :: Type -> Type

Methods

from :: LGridMap g v -> Rep (LGridMap g v) x

to :: Rep (LGridMap g v) x -> LGridMap g v

WrappedGrid g => WrappedGrid (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

Methods

normalise :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v)

denormalise :: LGridMap g v -> Index (LGridMap g v) -> [Index (LGridMap g v)]

BoundedGrid g => BoundedGrid (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

Methods

tileSideCount :: LGridMap g v -> Int

boundary :: LGridMap g v -> [Index (LGridMap g v)]

isBoundary :: LGridMap g v -> Index (LGridMap g v) -> Bool

centre :: LGridMap g v -> [Index (LGridMap g v)]

isCentre :: LGridMap g v -> Index (LGridMap g v) -> Bool

defaultBoundary :: LGridMap g v -> [Index (LGridMap g v)]

defaultIsBoundary :: LGridMap g v -> Index (LGridMap g v) -> Bool

defaultCentre :: LGridMap g v -> [Index (LGridMap g v)]

defaultIsCentre :: LGridMap g v -> Index (LGridMap g v) -> Bool

FiniteGrid g => FiniteGrid (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

Associated Types

type Size (LGridMap g v) :: Type

Methods

size :: LGridMap g v -> Size (LGridMap g v)

maxPossibleDistance :: LGridMap g v -> Int

Grid g => Grid (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

Associated Types

type Index (LGridMap g v) :: Type

type Direction (LGridMap g v) :: Type

Methods

indices :: LGridMap g v -> [Index (LGridMap g v)]

distance :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> Int

minDistance :: LGridMap g v -> [Index (LGridMap g v)] -> Index (LGridMap g v) -> Int

neighbours :: LGridMap g v -> Index (LGridMap g v) -> [Index (LGridMap g v)]

neighboursOfSet :: LGridMap g v -> [Index (LGridMap g v)] -> [Index (LGridMap g v)]

neighbour :: LGridMap g v -> Index (LGridMap g v) -> Direction (LGridMap g v) -> Maybe (Index (LGridMap g v))

numNeighbours :: LGridMap g v -> Index (LGridMap g v) -> Int

contains :: LGridMap g v -> Index (LGridMap g v) -> Bool

tileCount :: LGridMap g v -> Int

null :: LGridMap g v -> Bool

nonNull :: LGridMap g v -> Bool

edges :: LGridMap g v -> [(Index (LGridMap g v), Index (LGridMap g v))]

viewpoint :: LGridMap g v -> Index (LGridMap g v) -> [(Index (LGridMap g v), Int)]

isAdjacent :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> Bool

adjacentTilesToward :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> [Index (LGridMap g v)]

minimalPaths :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> [[Index (LGridMap g v)]]

directionTo :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> [Direction (LGridMap g v)]

defaultMinDistance :: LGridMap g v -> [Index (LGridMap g v)] -> Index (LGridMap g v) -> Int

defaultNeighbours :: LGridMap g v -> Index (LGridMap g v) -> [Index (LGridMap g v)]

defaultNeighboursOfSet :: LGridMap g v -> [Index (LGridMap g v)] -> [Index (LGridMap g v)]

defaultNeighbour :: LGridMap g v -> Index (LGridMap g v) -> Direction (LGridMap g v) -> Maybe (Index (LGridMap g v))

defaultTileCount :: LGridMap g v -> Int

defaultEdges :: LGridMap g v -> [(Index (LGridMap g v), Index (LGridMap g v))]

defaultIsAdjacent :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> Bool

defaultAdjacentTilesToward :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> [Index (LGridMap g v)]

defaultMinimalPaths :: LGridMap g v -> Index (LGridMap g v) -> Index (LGridMap g v) -> [[Index (LGridMap g v)]]

type BaseGrid (LGridMap g) v

Defined in Math.Geometry.GridMap.Lazy

type BaseGrid (LGridMap g) v = g

type Rep (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

type Rep (LGridMap g v) = D1 (MetaData "LGridMap" "Math.Geometry.GridMap.Lazy" "grid-7.8.14-IkfyUPkwo6aKl6UN0iiIoi" False) (C1 (MetaCons "LGridMap" PrefixI True) (S1 (MetaSel (Just "lgmGrid") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 g) :*: S1 (MetaSel (Just "lgmMap") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map (Index g) v))))

type Size (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

type Size (LGridMap g v) = Size g

type Index (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

type Index (LGridMap g v) = Index g

type Direction (LGridMap g v)

Defined in Math.Geometry.GridMap.Lazy

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.

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

empty :: g -> LGridMap g v