SizedGrid.Grid.Grid

Documentation

newtype Grid (cs :: [*]) a

A multi dimensional sized grid

Constructors

Grid

Fields

• unGrid :: Vector a

Instances

(AllSizedKnown cs, All IsCoordLifted cs) => IsGrid cs (Grid cs)

Defined in SizedGrid.Grid.Class

Methods

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

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

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

(AllSizedKnown cs, All IsCoordLifted cs) => Monad (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

(>>=) :: Grid cs a -> (a -> Grid cs b) -> Grid cs b

(>>) :: Grid cs a -> Grid cs b -> Grid cs b

return :: a -> Grid cs a

fail :: String -> Grid cs a

Functor (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

fmap :: (a -> b) -> Grid cs a -> Grid cs b

(<$) :: a -> Grid cs b -> Grid cs a

AllSizedKnown cs => Applicative (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

pure :: a -> Grid cs a

(<*>) :: Grid cs (a -> b) -> Grid cs a -> Grid cs b

liftA2 :: (a -> b -> c) -> Grid cs a -> Grid cs b -> Grid cs c

(*>) :: Grid cs a -> Grid cs b -> Grid cs b

(<*) :: Grid cs a -> Grid cs b -> Grid cs a

Foldable (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

fold :: Monoid m => Grid cs m -> m

foldMap :: Monoid m => (a -> m) -> Grid cs a -> m

foldr :: (a -> b -> b) -> b -> Grid cs a -> b

foldr' :: (a -> b -> b) -> b -> Grid cs a -> b

foldl :: (b -> a -> b) -> b -> Grid cs a -> b

foldl' :: (b -> a -> b) -> b -> Grid cs a -> b

foldr1 :: (a -> a -> a) -> Grid cs a -> a

foldl1 :: (a -> a -> a) -> Grid cs a -> a

toList :: Grid cs a -> [a]

null :: Grid cs a -> Bool

length :: Grid cs a -> Int

elem :: Eq a => a -> Grid cs a -> Bool

maximum :: Ord a => Grid cs a -> a

minimum :: Ord a => Grid cs a -> a

sum :: Num a => Grid cs a -> a

product :: Num a => Grid cs a -> a

Traversable (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

traverse :: Applicative f => (a -> f b) -> Grid cs a -> f (Grid cs b)

sequenceA :: Applicative f => Grid cs (f a) -> f (Grid cs a)

mapM :: Monad m => (a -> m b) -> Grid cs a -> m (Grid cs b)

sequence :: Monad m => Grid cs (m a) -> m (Grid cs a)

(AllSizedKnown cs, All IsCoordLifted cs) => Distributive (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

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

collect :: Functor f => (a -> Grid cs b) -> f a -> Grid cs (f b)

distributeM :: Monad m => m (Grid cs a) -> Grid cs (m a)

collectM :: Monad m => (a -> Grid cs b) -> m a -> Grid cs (m b)

(All IsCoordLifted cs, AllSizedKnown cs) => Representable (Grid cs)

Defined in SizedGrid.Grid.Grid

Associated Types

type Rep (Grid cs) :: Type

Methods

tabulate :: (Rep (Grid cs) -> a) -> Grid cs a

index :: Grid cs a -> Rep (Grid cs) -> a

Eq1 (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

liftEq :: (a -> b -> Bool) -> Grid cs a -> Grid cs b -> Bool

Show1 (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Grid cs a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Grid cs a] -> ShowS

All IsCoordLifted cs => FunctorWithIndex (Coord cs) (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

imap :: (Coord cs -> a -> b) -> Grid cs a -> Grid cs b

imapped :: IndexedSetter (Coord cs) (Grid cs a) (Grid cs b) a b

All IsCoordLifted cs => FoldableWithIndex (Coord cs) (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

ifoldMap :: Monoid m => (Coord cs -> a -> m) -> Grid cs a -> m

ifolded :: IndexedFold (Coord cs) (Grid cs a) a

ifoldr :: (Coord cs -> a -> b -> b) -> b -> Grid cs a -> b

ifoldl :: (Coord cs -> b -> a -> b) -> b -> Grid cs a -> b

ifoldr' :: (Coord cs -> a -> b -> b) -> b -> Grid cs a -> b

ifoldl' :: (Coord cs -> b -> a -> b) -> b -> Grid cs a -> b

All IsCoordLifted cs => TraversableWithIndex (Coord cs) (Grid cs)

Defined in SizedGrid.Grid.Grid

Methods

itraverse :: Applicative f => (Coord cs -> a -> f b) -> Grid cs a -> f (Grid cs b)

itraversed :: IndexedTraversal (Coord cs) (Grid cs a) (Grid cs b) a b

Eq a => Eq (Grid cs a)

Defined in SizedGrid.Grid.Grid

Methods

(==) :: Grid cs a -> Grid cs a -> Bool

(/=) :: Grid cs a -> Grid cs a -> Bool

Show a => Show (Grid cs a)

Defined in SizedGrid.Grid.Grid

Methods

showsPrec :: Int -> Grid cs a -> ShowS

show :: Grid cs a -> String

showList :: [Grid cs a] -> ShowS

Generic (Grid cs a)

Defined in SizedGrid.Grid.Grid

Associated Types

type Rep (Grid cs a) :: Type -> Type

Methods

from :: Grid cs a -> Rep (Grid cs a) x

to :: Rep (Grid cs a) x -> Grid cs a

(AllGridSizeKnown cs, ToJSON a, SListI cs) => ToJSON (Grid cs a)

Defined in SizedGrid.Grid.Grid

Methods

toJSON :: Grid cs a -> Value

toEncoding :: Grid cs a -> Encoding

toJSONList :: [Grid cs a] -> Value

toEncodingList :: [Grid cs a] -> Encoding

(All IsCoordLifted cs, FromJSON a) => FromJSON (Grid cs a)

Defined in SizedGrid.Grid.Grid

Methods

parseJSON :: Value -> Parser (Grid cs a)

parseJSONList :: Value -> Parser [Grid cs a]

type Rep (Grid cs)

Defined in SizedGrid.Grid.Grid

type Rep (Grid cs) = Coord cs

type Rep (Grid cs a)

Defined in SizedGrid.Grid.Grid

type Rep (Grid cs a) = D1 (MetaData "Grid" "SizedGrid.Grid.Grid" "sized-grid-0.2.0.1-13S2LxFyaLj8fVZ02bNPgR" True) (C1 (MetaCons "Grid" PrefixI True) (S1 (MetaSel (Just "unGrid") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector a))))

type family Head xs where ...

The first element of a type level list

Equations

Head (x ': xs) = x

type family Tail xs where ...

All but the first elements of a type level list

Equations

Tail (x ': xs) = xs

type family CollapseGrid cs a where ...

Given a grid type, give back a series of nested lists repesenting the grid. The lists will have a number of layers equal to the dimensionality.

Equations

CollapseGrid '[] a = a

CollapseGrid (c ': cs) a = [CollapseGrid cs a]

type family AllGridSizeKnown cs :: Constraint where ...

A Constraint that all grid sizes are instances of KnownNat

Equations

AllGridSizeKnown '[] = ()

AllGridSizeKnown cs = (KnownNat (CoordNat (Head cs)), KnownNat (MaxCoordSize (Tail cs)), KnownNat (MaxCoordSize cs), AllGridSizeKnown (Tail cs))

splitVectorBySize :: Int -> Vector a -> [Vector a]

Convert a vector into a list of Vectors, where all the elements of the list have the given size.

collapseGrid :: forall cs a. (SListI cs, AllGridSizeKnown cs) => Grid cs a -> CollapseGrid cs a

Convert a grid to a series of nested lists. This removes type level information, but it is sometimes easier to work with lists

gridFromList :: forall cs a. (SListI cs, AllGridSizeKnown cs) => CollapseGrid cs a -> Maybe (Grid cs a)

Convert a series of nested lists to a grid. If the size of the grid does not match the size of lists this will be Nothing

transposeGrid :: (IsCoord h, IsCoord w, KnownNat x, KnownNat y, 1 <= y, 1 <= x) => Grid '[w x, h y] a -> Grid '[h y, w x] a

splitGrid :: forall c cs a. AllSizedKnown cs => Grid (c ': cs) a -> Grid '[c] (Grid cs a)

combineGrid :: Grid '[c] (Grid cs a) -> Grid (c ': cs) a

combineHigherDim :: IsCoord c => Grid (c n ': as) x -> Grid (c m ': as) x -> Grid (c (n + m) ': as) x

dropGrid :: KnownNat n => Proxy n -> Grid '[c m] x -> Grid '[c (m - n)] x

takeGrid :: KnownNat n => Proxy n -> Grid '[c m] x -> Grid '[c n] x

splitHigherDim :: forall c as x y z a. (KnownNat x, KnownNat y, y <= x, AllSizedKnown as, IsCoord c) => Grid (c x ': as) a -> (Grid (c y ': as) a, Grid (c z ': as) a)

mapLowerDim :: forall as bs x y c f. (AllSizedKnown as, Applicative f) => (Grid as x -> f (Grid bs y)) -> Grid (c ': as) x -> f (Grid (c ': bs) y)

class ShrinkableGrid (cs :: [*]) (as :: [*]) (bs :: [*]) where

Methods

shrinkGrid :: Coord cs -> Grid as x -> Grid bs x

Instances

ShrinkableGrid ([] :: [Type]) ([] :: [Type]) ([] :: [Type])

Defined in SizedGrid.Grid.Grid

Methods

shrinkGrid :: Coord [] -> Grid [] x -> Grid [] x

(KnownNat z, AllSizedKnown as, IsCoord c, ShrinkableGrid cs as bs, z <= ((x - y) + 1)) => ShrinkableGrid (c x ': cs) (c y ': as) (c z ': bs)

Defined in SizedGrid.Grid.Grid

Methods

shrinkGrid :: Coord (c x ': cs) -> Grid (c y ': as) x0 -> Grid (c z ': bs) x0