úÎC:@Ž     None 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,  StaticArray  UArray (2:.10:.25:.)  is equivalent to  StaticArray  UArray '[2,10,25]  and both wrap a UArray  (,(,))  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  . 5This class connects dimension description types with IArray  index types and values. .The index type for this dimension description )The concrete bounds for an array of this 1 dimensionality, tagged with the dimensionality. <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.   !"#$%&'     !"#$%&'None @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. 6The constructor is not exported to prevent creating a    with a size that doesn't match its dimensions. "Returns the backing value of this  . #Get the compile-time bounds from a  . Does not examine its  argument.  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 ), with the same caveats. =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 = result, then freezes it. The first argument is the freezing * function. Non-copying implementations of * are safe as  this argument, and preferred. + ,-.   + ,-.None A minimal /- wrapper that encodes the full dimensions of 6 the array in the type. Intended for interfacing with B (possibly-)multidimensional arrays of fixed size in native code. ?If this is used with multidimensional arrays, it will be up to  users to deal with converting 0 coordinates to internal  / indices. 6The constructor is not exported to prevent creating a   with a size that doesn't match its dimensions. "Returns the backing value of this . #Get the compile-time bounds from a  . Does not  examine its argument. !Get the compile-time size from a . Does not examine  its argument.  Create a new ' with the contents of the list. If the ? list passed in contains too many elements, the result will be D truncated. If it contains too few elements, they will be cycled to C pad out the remaining space. If it contains 0 elements, this will  result in an error. 1231234      !" !#$%&'()*+,-./01231241256789:; <=>?@storable-static-array-0.6.0.0Data.Ix.StaticForeign.Marshal.StaticArrayForeign.Marshal.StaticVectorForeign.StorableStorableD5D4D3D2Nil:.IxStaticIndex taggedBoundsfromNat StaticArraytoArray staticBounds staticArraylistStaticArraysizeOf' alignment'poke'peek' StaticVectortoVector staticSizefromListghc-prim GHC.TypesIntbase GHC.TypeLitsNatSingI $fIxStatic*D5 $fIxStatic*D4 $fIxStatic*D3 $fIxStatic*D2 $fIxStatic*:.$fIxStatic*:.0$fIxStatic(,,,,)(,,,,)$fIxStatic(,,,)(,,,)$fIxStatic(,,)(,,)$fIxStatic(,)(,)$fIxStaticNata $fIxStatic[]:$fIxStatic[]:0 array-0.4.0.1Data.Array.Basearray listArray unsafeFreeze$fStorableStaticArray$fStorableStaticArray0$fShowStaticArrayvector-0.10.0.1Data.Vector.Generic.BaseVectorGHC.ArrIx$fStorableStaticVector$fShowStaticVector