úÎ!có"      !None+,-.345;<=>?FKQSTViî gridsaComputes the level of nesting requried to represent a given grid dimensionality as a nested list HNestedLists [2, 3] Int == [[Int]] NestedLists [2, 3, 4] Int == [[[Int]]]gridsNRepresents valid dimensionalities. All non empty lists of Nats have instancesgrids.The coordinate type for a given dimensionality XCoord [2, 3] == Finite 2 :# Finite 3 Coord [4, 3, 2] == Finite 4 :# Finite 3 :# Finite 2grids>Used for constructing arbitrary depth coordinate lists e.g. (" 2  " 3) gridsFCalculate the number of elements in a grid of the given dimensionality grids An grid of arbitrary dimensions.e.g. a Grid [2, 3] Int might look like: ?generate id :: Grid [2, 3] Int (Grid [[0,1,2], [3,4,5]]) grids5Build a grid by selecting an element for each element#grids8Build a grid by selecting an element for each coordinategridsTTurn a grid into a nested list structure. List nesting increases for each dimension BtoNestedLists (G.generate id :: Grid [2, 3] Int) [[0,1,2],[3,4,5]]gridsyTurn a nested list structure into a Grid if the list is well formed. Required list nesting increases for each dimension ™fromNestedLists [[0,1,2],[3,4,5]] :: Maybe (Grid [2, 3] Int) Just (Grid [[0,1,2],[3,4,5]]) fromNestedLists [[0],[1,2]] :: Maybe (Grid [2, 3] Int) NothinggridsRConvert a list into a Grid or fail if not provided the correct number of elements ‘G.fromList [0, 1, 2, 3, 4, 5] :: Maybe (Grid [2, 3] Int) Just (Grid [[0,1,2],[3,4,5]]) G.fromList [0, 1, 2, 3] :: Maybe (Grid [2, 3] Int) NothinggridsUpdate elements of a grid   9  9 None<QViˆ!gridsFocus an element of a grid!!SafeÎ$%&'()*+,       !"#$%&'()*+,-./0$grids-0.2.0.0-E5GZ2jMRYDA8hSZTcfXRer Data.GridData.Grid.Lens Paths_grids NestedLists DimensionstoCoord fromCoordgridSize nestLists unNestListsCoord:#GridSizeGridgenerate toNestedListsfromNestedListsfromList//$fRepresentableGrid$fDistributiveGrid $fDimensions:$fDimensions:0$fApplicativeGrid $fMonoidGrid$fSemigroupGrid $fShowGrid$fEqGrid $fFunctorGrid$fFoldableGrid$fTraversableGrid$fShow:#$fEq:#$fOrd:#cell-finite-typelits-0.1.4.2-LNt8ccQ3rb0a6MNjjNxeuData.Finite.InternalFinite generateCoordversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName