úÎC?”     None 5This class connects dimension description types with   index types and values. 1The bounding type for this dimension description )The concrete bounds for an array of this = dimensionality. Implementations of this function should not $ examine their argument in any way. @A minimal array wrapper that encodes the full dimensions of the 2 array in the type. Intended for interfacing with B (possibly-)multidimensional arrays of fixed size in native code. BThe constructor is not exported to prevent creating a StaticArray  with a size that doesn't match its dimensions. Returns the backing  of this .  Create a new  from a list of indices and 0 elements. This has all the semantic caveats of , except that 1 the bounds are as good as those provided by the   instance.  Create a new " from a list of elements in index  order. Implemented in terms of . =Get the size, in bytes, of the native representation of this  . BGet the alignment, in bytes, of the native representation of this   Write the contents of this  to the given location in  memory.  Create a new  from the contents of the given D location in memory. Uses a temporary mutable array to build up the 4 result, then freezes it. The first argument is the 3 freezing function. Non-copying implementations of  + are safe as this argument, and preferred. <A conversion function for converting type-level naturals to > value-level. This is being exposed to aid in the creation of  additional , instances for those who might desire to do  so. AHaddock is currently eating the important qualification that the  type variable n must have the kind . The   instance is / automatically fulfilled for all types of kind . Its explicit @ presence in the signature is an artifact of how GHC implements & dictionary passing and type erasure. ! "#$%&'()*+,-./0123   ! "#$%&'()*+,-./0123None BAn alternative dimension type to promoted 13-tuples, provided for  syntactic compatibility with CPP. BAn alternative dimension type to promoted 12-tuples, provided for  syntactic compatibility with CPP. BAn alternative dimension type to promoted 11-tuples, provided for  syntactic compatibility with CPP. BAn alternative dimension type to promoted 10-tuples, provided for  syntactic compatibility with CPP. AAn alternative dimension type to promoted 9-tuples, provided for  syntactic compatibility with CPP. AAn alternative dimension type to promoted 8-tuples, provided for  syntactic compatibility with CPP. AAn alternative dimension type to promoted 7-tuples, provided for  syntactic compatibility with CPP. AAn alternative dimension type to promoted 6-tuples, provided for  syntactic compatibility with CPP. AAn alternative dimension type to promoted 5-tuples, provided for  syntactic compatibility with CPP. AAn alternative dimension type to promoted 4-tuples, provided for  syntactic compatibility with CPP. @An alternative dimension type to promoted triples, provided for  syntactic compatibility with CPP. >An alternative dimension type to promoted pairs, provided for  syntactic compatibility with CPP. 5 is the terminator for type-level lists created with  7 is provided as an alternative means of constructing a  type-level list of dimensions.  DataKinds-promoted lists are also C supported and easier to use in almost all cases. The exception is  when CPP is involved, when a single ' on a line causes CPP to  fail. With  TypeOperators and  DataKinds enabled,   UArray (2:.10:.25:.) 4 is equivalent to   UArray '[2,10,25] 4 and both wrap a UArray  (4,(4,4)) 4 with bounds ((0,(0,0)),(1,(9,24))). :Neither promoted lists nor this approach support creating 7 0-dimensional arrays, because they make no sense with Storable.  56789:;<=>?@AB   56789:;<=>?@ABC      !"#$% &' &()*+,-./0123456789:;<=>?@ABCDEFGHIJKLstorable-static-array-0.5.0.0Foreign.Marshal.StaticArray&Foreign.Marshal.StaticArray.Unpromoted StaticSizeBoundextent StaticArraytoArray staticArraylistStaticArraysizeOf' alignment'poke'peek'fromNatD13D12D11D10D9D8D7D6D5D4D3D2Nil:. array-0.4.0.1Data.Array.BaseIArraybaseGHC.ArrArrayarray listArray unsafeFreeze GHC.TypeLitsNatSingI($fStaticSize(,,,,,,,,,,,,)(,,,,,,,,,,,,)&$fStaticSize(,,,,,,,,,,,)(,,,,,,,,,,,)$$fStaticSize(,,,,,,,,,,)(,,,,,,,,,,)"$fStaticSize(,,,,,,,,,)(,,,,,,,,,) $fStaticSize(,,,,,,,,)(,,,,,,,,)$fStaticSize(,,,,,,,)(,,,,,,,)$fStaticSize(,,,,,,)(,,,,,,)$fStaticSize(,,,,,)(,,,,,)$fStaticSize(,,,,)(,,,,)$fStaticSize(,,,)(,,,)$fStaticSize(,,)(,,)$fStaticSize(,)(,)$fStaticSizeNata$fStaticSize[]:$fStaticSize[]:0$fStorableStaticArray$fStorableStaticArray0$fShowStaticArrayghc-prim GHC.TypesInt$fStaticSize*D13$fStaticSize*D12$fStaticSize*D11$fStaticSize*D10$fStaticSize*D9$fStaticSize*D8$fStaticSize*D7$fStaticSize*D6$fStaticSize*D5$fStaticSize*D4$fStaticSize*D3$fStaticSize*D2$fStaticSize*:.$fStaticSize*:.0