>3F      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None!"(+24=JKM(A list of all possible values of a type.>None(+2346=HJKM~ is shown as the contents, without the quotes. One use is a matrix of S, so that you can do show-style functions using fmap.A 6 is a 2D Matrix, using a TypeNat's to define its size. A  6 is a 1D Matrix, using a TypeNat to define its length. A  7 is an array with the size determined uniquely by the type of the index type, ix, with every type in ix used.  R turns a finite list into a matrix. You often need to give the type of the result. #what is the population of a matrix?- is for use to force typing issues, and is 0.& returns a matrix filled with indexes.Same as for lists.^ takes a matrix, and calls a function for each element, to give a new matrix of the same size.8 creates a matrix out of a mapping from the coordinates. is the 2D matrix multiply. a 2D matrix./return the identity for a specific matrix size.append to 1D vectorsstack two matrixes  each other.stack two matrixes  each other.;look at a matrix through a functor lens, to another matrix.grab part of a matrix. cropAt :: (Index i ~ Index ix, Bounded i, Ix i, Bounded ix, Ix ix) => Matrix ix a -> ix -> Matrix i a cropAt m corner = ixmap ( i -> (addIndex corner (toIndex i))) mslice a 2D matrix into rows.slice a 2D matrix into columns./join a matrix of matrixes into a single matrix./join a matrix of matrixes into a single matrix.- displays a 2D matrix, and is the worker for . GHCi> matrix [1..42] :: Matrix (Fin 7, Fin 6) Int [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42 ] #  !"#$%&'(  !# ('& %$#" !!   !"#$%&'(None (246=HJKM--^ looks up an element in the sparse matrix. If the element is not found in the sparse matrix, - returns the default value.0%Make a Matrix sparse, with a default zero value.)*+,-./012345678 )*+,-./012345)*8+,-./01237645)*+,-./012345678None (+3=KM-9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ"9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ"XYZWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9,9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZNone (+3=KMzcommon; numerically boolean.0[\]^_`abcdefghijklmnopqrstuvwxyz{|}~$[\]^_`abcdefghijklmnopqrstuvwxyz{|}~${|}~zyxwvutsrqponmlkjihgfedcba`_^]\[/[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None (3:=KM         !"#$%&'()*+,-./00123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~\]\] [~sized-types-0.5.1Data.Sized.FinData.Sized.MatrixData.Sized.Sparse.MatrixData.Sized.SignedData.Sized.UnsignedData.Sized.Sampledbase GHC.TypeLitsNatFinfromNatcornersuniversesizeSVector2VectorMatrixmatrix population allIndiceszeroOfcoordzipWithforEachforAllmm transposeidentityappendabovebesideixfmaprowscolumnsjoinRows joinColumnsshow2DshowAsEshowAsF$fShowS $fShowMatrix$fFoldableMatrix$fTraversableMatrix$fApplicativeMatrix$fIArrayMatrixa$fFunctorMatrixSpMatrix fromAssocList toAssocListgetElemfillprunesparserowSets columnSets$fShowSpMatrix$fApplicativeSpMatrix$fFunctorSpMatrixS32S31S30S29S28S27S26S25S24S23S22S21S20S19S18S17S16S15S14S13S12S11S10S9S8S7S6S5S4S3S2SignedtoVector fromVectorU32U31U30U29U28U27U26U25U24U23U22U21U20U19U18U17U16U15U14U13U12U11U10U9U8U7U6U5U4U3U2U1UnsignedshowBitsSampled mkSampled $fEnumSampled$fFractionalSampled $fRealSampled $fNumSampled $fReadSampled $fShowSampled $fOrdSampled $fEqSampledmkFin $fIntegralFin $fRealFin $fEnumFin $fBoundedFin$fIxFin$fNumFin $fReadFin $fShowFin Data.ProxyKProxysingletons-1.1.2Data.Singletons applySingSLambdabugInGHC singByProxy# singByProxysingThatwithSing withSomeSing withSingI unSingFun7 unSingFun6 unSingFun5 unSingFun4 unSingFun3 unSingFun2 unSingFun1singFun7singFun6singFun5singFun4singFun3singFun2singFun1 singInstanceKindOfSingsingSingItoSingfromSing DemoteRepSingKindDemoteSomeSing SingInstanceTyFunTyCon1TyCon2TyCon3TyCon4TyCon5TyCon6TyCon7Apply@@ SingFunction1 SingFunction2 SingFunction3 SingFunction4 SingFunction5 SingFunction6 SingFunction7GHC.ShowshowmkSigned$fBoundedSigned$fFiniteBitsSigned $fBitsSigned $fEnumSigned $fRealSigned $fNumSigned$fIntegralSigned $fReadSigned $fShowSigned mkUnsigned $fIxUnsigned$fBoundedUnsigned$fFiniteBitsUnsigned$fBitsUnsigned$fEnumUnsigned$fRealUnsigned $fNumUnsigned$fIntegralUnsigned$fReadUnsigned$fShowUnsigned