úÎFeBé     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 using an instance of  other than  or  , you'4ll 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. 1This module contains instances for types of kind  , types of  the promoted kind '[], and promoted tuples of  values up C to 13 elements. For instances not relying on promoted data types,  see the &Foreign.Marshal.StaticArray.Unpromoted module. 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. #$%&'()*+,-./01234  #$%&'()*+,-./01234None 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:.) 5 is equivalent to   UArray '[2,10,25] 5 and both wrap a UArray  (5,(5,5)) 5 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.  6789:;<=>?@ABC   6789:;<=>?@ABCD      ! "#$%&'()*+(,-./0123456789:;<=>?@ABCDEFGHIJKLMNOstorable-static-array-0.4.1.0Foreign.Marshal.StaticArray&Foreign.Marshal.StaticArray.UnpromotedMutable StaticSizeBoundextent StaticArraytoArray staticArraylistStaticArrayfromNatD13D12D11D10D9D8D7D6D5D4D3D2Nil:. array-0.4.0.1Data.Array.BaseIArrayMArray unsafeFreezebaseForeign.StorablepeekStorableGHC.ArrArrayUArray GHC.IOArrayIOArray GHC.TypeLitsNatarray listArraySingI($fStaticSize(,,,,,,,,,,,,)(,,,,,,,,,,,,)&$fStaticSize(,,,,,,,,,,,)(,,,,,,,,,,,)$$fStaticSize(,,,,,,,,,,)(,,,,,,,,,,)"$fStaticSize(,,,,,,,,,)(,,,,,,,,,) $fStaticSize(,,,,,,,,)(,,,,,,,,)$fStaticSize(,,,,,,,)(,,,,,,,)$fStaticSize(,,,,,,)(,,,,,,)$fStaticSize(,,,,,)(,,,,,)$fStaticSize(,,,,)(,,,,)$fStaticSize(,,,)(,,,)$fStaticSize(,,)(,,)$fStaticSize(,)(,)$fStaticSizeNata$fStaticSize[]:$fStaticSize[]:0$fStorableStaticArray$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