#! None The / type family is used to associate instances of    with instances of   that give non-copying   -. This is used to increase the efficiency of    in  's   instance. If you' re somehow using an instance of   other than   or , you'1ll need to add a type instance for your type. If  it supports non-copying  , the type instance should 1 return the type constructor for the appropriate   * instance. Otherwise, just have it return  5This class connects dimension description types with   = index types and values. Instances are provided for up to 13 D dimensions as tuples. Additionally, there is support for unlimited C dimensions via a list of dimensions. This results in nested pairs  for the index type. 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 wrapper for instances of   that encodes the full D dimensions of the 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 . <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.  !"#$%   !"#$%&        !"#$%&'()*+,-.storable-static-array-0.4.0.1Foreign.Marshal.StaticArrayMutable StaticSizeBoundextent StaticArraytoArray staticArraylistStaticArrayfromNat array-0.4.0.1Data.Array.BaseIArrayMArray unsafeFreezebaseForeign.StorablepeekStorableGHC.ArrArrayUArray GHC.IOArrayIOArrayarray listArray GHC.TypeLitsNatSingI$fStaticSize[]:$fStaticSize[]:0($fStaticSize(,,,,,,,,,,,,)(,,,,,,,,,,,,)&$fStaticSize(,,,,,,,,,,,)(,,,,,,,,,,,)$$fStaticSize(,,,,,,,,,,)(,,,,,,,,,,)"$fStaticSize(,,,,,,,,,)(,,,,,,,,,) $fStaticSize(,,,,,,,,)(,,,,,,,,)$fStaticSize(,,,,,,,)(,,,,,,,)$fStaticSize(,,,,,,)(,,,,,,)$fStaticSize(,,,,,)(,,,,,)$fStaticSize(,,,,)(,,,,)$fStaticSize(,,,)(,,,)$fStaticSize(,,)(,,)$fStaticSize(,)(,)$fStaticSizeNata$fStorableStaticArray