Data.Grid.Internal.NestedLists

Documentation

type family NestedLists (dims :: [Nat]) a where ...

Computes the level of nesting requried to represent a given grid dimensionality as a nested list

NestedLists [2, 3] Int == [[Int]]
NestedLists [2, 3, 4] Int == [[[Int]]]

Equations

NestedLists '[] a = a

NestedLists (_ ': xs) a = [NestedLists xs a]

chunkVector :: forall a. Int -> Vector a -> [Vector a]

class Sizable (dims :: [Nat]) where

Represents valid dimensionalities. All non empty lists of Nats have an instance

Methods

nestLists :: Proxy dims -> Vector a -> NestedLists dims a

unNestLists :: Proxy dims -> NestedLists dims a -> [a]

gridSize :: Proxy dims -> Int

Get the total size of a Grid of the given dimensions

gridSize (Proxy @'[2, 2]) == 4

Instances

(KnownNat x, Sizable (y ': xs)) => Sizable (x ': (y ': xs))

Defined in Data.Grid.Internal.NestedLists

Methods

nestLists :: Proxy (x ': (y ': xs)) -> Vector a -> NestedLists (x ': (y ': xs)) a

unNestLists :: Proxy (x ': (y ': xs)) -> NestedLists (x ': (y ': xs)) a -> [a]

gridSize :: Proxy (x ': (y ': xs)) -> Int

KnownNat x => Sizable (x ': ([] :: [Nat]))

Defined in Data.Grid.Internal.NestedLists

Methods

nestLists :: Proxy (x ': []) -> Vector a -> NestedLists (x ': []) a

unNestLists :: Proxy (x ': []) -> NestedLists (x ': []) a -> [a]

gridSize :: Proxy (x ': []) -> Int