Data.DiscreteSpaceMap.Internal

Documentation

class Eq p => Pos p where

To be a key in the map, a position needs to be convertible to and from a stream of bits.

Methods

uncons :: p -> (p, Bool)

cons :: (p, Bool) -> p

cons . uncons == id 

zero :: p

uncons zero == (zero, False)

Instances

Pos Integer

1D discrete space

Pos [Bool]

[Bool] is the free instance of Pos.

Pos p => Pos (p, p)

2D discrete space

Pos p => Pos (p, p, p)

3D discrete space

data MapD a

Constructors

MapD a (MapD (a, a))

Instances

Functor MapD

Foldable MapD

Traversable MapD

Traversable1 MapD

Foldable1 MapD

Show a => Show (MapD a)

gotoD :: Pos p => p -> p -> (a, MapD a) -> (a, MapD a)

tabulateD :: Pos p => (p -> a) -> MapD a

cotraverseD :: Functor f => (f a -> b) -> f (MapD a) -> MapD b

zipWithKeyD :: Pos p => (p -> a -> b -> c) -> p -> MapD a -> MapD b -> MapD c

traverseWithKey1D :: (Pos p, Apply f) => (p -> a -> f b) -> p -> MapD a -> f (MapD b)