tX+      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~SafeEFT      SafeEFTV!6return the size (number of possible elements) in type ix.$add an arbitary index to a specific ix position. look at an ix as an , typically just an .(A list of all possible indices. Unlike indices# in Matrix, this does not need the Matrix5 argument, because the types determine the contents.^A good way of converting from one index type to another index type, typically in another base.   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~           ~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"! Safe ;=>?FQTVI3!88~ 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 :9 is an array with the sized determined uniquely by the type of the index type, ix. ==# looks up an element in the matrix.>>+ turns a matrix into an always finite list.??R turns a finite list into a matrix. You often need to give the type of the result.@@R turns a finite list into a matrix. You often need to give the type of the result.AA is a version of F that takes a type, for forcing the result type using the Matrix type.Bwhat is the length of a matrix?CC extracts the index/value pairs.FF- is for use to force typing issues, and is 0.GG& returns a matrix filled with indexes.HSame as for lists.II^ takes a matrix, and calls a function for each element, to give a new matrix of the same size.JJ8 creates a matrix out of a mapping from the coordinates.KK is the 2D matrix multiply.LL a 2D matrix.M/return the identity for a specific matrix size.Nstack two matrixes N each other.Ostack two matrixes O each other.Pappend two 1-d matrixesQ2look at a matrix through a lens to another matrix.R;look at a matrix through a functor lens, to another matrix.Sgrab part of a matrix.Tslice a 2D matrix into rows.Uslice a 2D matrix into columns.V/join a matrix of matrixes into a single matrix.W/join a matrix of matrixes into a single matrix.X*generate a 2D single row from a 1D matrix.Y&generate a 1D matrix from a 2D matrix.Z-generate a 2D single column from a 1D matrix.[&generate a 1D matrix from a 2D matrix.\Vvery general; required that m and n have the same number of elements, rebundle please.]]- displays a 2D matrix, and is the worker for . GHCi> matrix [1..42] :: Matrix (X7,X6) 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 ] 5  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`ab1:;<=g>?@ABCDEFGHIJfKLMNOPQRSTUVWXYZ[\ed]c89h^_`ab89:;<SafeVO-"klmnopqrstuvwxyz{|}~"~}|{zyxwvutsrqponmlkSafeVP Safe ;=>?FQTVT9^ looks up an element in the sparse matrix. If the element is not found in the sparse matrix,  returns the default value.%Make a Matrix sparse, with a default zero value. SafeFTVUcommon; numerically boolean.##Safe ;=EFTW7      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>>??@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~??AOPLgjkABGEUPQXRS*sized-types-0.3.5.2-7jVvXs94PNG4F5iHjcPoa2Data.Sized.Arith Data.Sized.IxData.Sized.MatrixData.Sized.SignedData.Sized.SampledData.Sized.Sparse.MatrixData.Sized.UnsignedData.Sized.VectorAPP0APP1LOGSUCCMULSUBNOTADDX1_X0_X0N1$fEqX0$fOrdX0X256X255X254X253X252X251X250X249X248X247X246X245X244X243X242X241X240X239X238X237X236X235X234X233X232X231X230X229X228X227X226X225X224X223X222X221X220X219X218X217X216X215X214X213X212X211X210X209X208X207X206X205X204X203X202X201X200X199X198X197X196X195X194X193X192X191X190X189X188X187X186X185X184X183X182X181X180X179X178X177X176X175X174X173X172X171X170X169X168X167X166X165X164X163X162X161X160X159X158X157X156X155X154X153X152X151X150X149X148X147X146X145X144X143X142X141X140X139X138X137X136X135X134X133X132X131X130X129X128X127X126X125X124X123X122X121X120X119X118X117X116X115X114X113X112X111X110X109X108X107X106X105X104X103X102X101X100X99X98X97X96X95X94X93X92X91X90X89X88X87X86X85X84X83X82X81X80X79X78X77X76X75X74X73X72X71X70X69X68X67X66X65X64X63X62X61X60X59X58X57X56X55X54X53X52X51X50X49X48X47X46X45X44X43X42X41X40X39X38X37X36X35X34X33X32X31X30X29X28X27X26X25X24X23X22X21X20X19X18X17X16X15X14X13X12X11X10X9X8X7X6X5X4X3X2X1SizesizeaddIndextoIndexIndexall coerceSize$fShowX0$fIxX0 $fBoundedX0 $fShowX1_$fOrdX1_$fEqX1_ $fShowX0_$fOrdX0_$fEqX0_$fNumX0$fEnumX0$fRealX0$fNumX1_ $fEnumX1_$fIxX1_$fNumX0_ $fEnumX0_$fIxX0_ $fIntegralX0_ $fRealX0_ $fSizeX0_ $fBoundedX0_ $fSizeX1_ $fIntegralX1_ $fRealX1_ $fBoundedX1_ $fIntegralX0$fSizeX0 $fSize(,,,) $fSize(,,) $fSize(,)$fSize()SMatrix NullMatrix!toListfromListmatrixindiceslengthassocs//accumzeroOfcoordzipWithforEachforAllmm transposeidentityabovebesideappendixmapixfmapcropAtrowscolumnsjoinRows joinColumnsunitRowunRow unitColumnunColumnsquash showMatrixshowAsEshowAsFscanMscanLscanR $fShowMatrix$fFoldableMatrix$fTraversableMatrix$fApplicativeMatrix$fFunctorMatrix$fShowS $fEqMatrix $fOrdMatrixS32S31S30S29S28S27S26S25S24S23S22S21S20S19S18S17S16S15S14S13S12S11S10S9S8S7S6S5S4S3S2SignedtoMatrix fromMatrix$fBoundedSigned$fFiniteBitsSigned $fBitsSigned $fEnumSigned $fRealSigned $fNumSigned$fIntegralSigned $fReadSigned $fShowSigned $fOrdSigned $fEqSignedSampled mkSampled $fEnumSampled$fFractionalSampled $fRealSampled $fNumSampled $fReadSampled $fShowSampled $fOrdSampled $fEqSampled fromAssocList toAssocListfillprunesparserowSets columnSetsU32U31U30U29U28U27U26U25U24U23U22U21U20U19U18U17U16U15U14U13U12U11U10U9U8U7U6U5U4U3U2U1Unsigned$fSizeUnsigned $fIxUnsigned$fBoundedUnsigned$fFiniteBitsUnsigned$fBitsUnsigned$fEnumUnsigned$fRealUnsigned $fNumUnsigned$fIntegralUnsigned$fReadUnsigned$fShowUnsigned $fOrdUnsigned $fEqUnsignedBoundstoBounds fromBoundsrangeVectorvectorboundscolsshow'fooseeIn2D showMatrix' $fShowVector $fShowVector0 $fBounds(,) $fBoundsInt$fFunctorVectorghc-prim GHC.TypesIntbaseGHC.Showshow