Îõ³h&â‚6      !"#$%&'()*+,-./012345(c) 2021 Xy RenBSD3xy.r@outlook.com experimentalnon-portable (GHC only)None&'(+./>?ÀÁÂÅÉÊÎÔÖ×Ùàçèìò½*rec-smallarray1The type of natural transformations from functor f to g.rec-smallarrayes is a subset of es'.rec-smallarray The element e is present in the list es.rec-smallarray The list es' list is concrete, i.e. is of the form '[a1, a2, ..., an], i.e. is not a type variable.rec-smallarrayType level list concatenation.rec-smallarray,Extensible record type supporting efficient  O(1) ) reads. The underlying implementation is 64 slices, therefore suits small numbers of entries (i.e. less than 128).rec-smallarrayInfix version of  " that also supports destructuring.rec-smallarrayInfix version of  " that also supports destructuring.rec-smallarrayGet the length of the record. rec-smallarrayCreate an empty record.  O(1) . rec-smallarray Create a record with one entry.  O(1) . rec-smallarray!Prepend one entry to the record.  O(n) . rec-smallarrayConcatenate two records.  O(m+n) . rec-smallarray0Slice off one entry from the top of the record.  O(1) .rec-smallarray6Slice off several entries from the top of the record.  O(1) .rec-smallarrayGet the head of the record.  O(1) .rec-smallarray*Take elements from the top of the record.  O(m) .rec-smallarray(Get an element in the record. Amortized  O(1) .rec-smallarray&Get a subset of the record. Amortized  O(m) .rec-smallarrayUpdate an entry in the record.  O(n) .rec-smallarrayInfix version of .rec-smallarray.Modify an entry in the record via a function.  O(n) .rec-smallarrayËMerge a subset into the original record, updating several entries at once.  O(m+n) .rec-smallarrayInfix version of .rec-smallarray.Apply a natural transformation to the record.  O(n) .rec-smallarrayInfix version of .rec-smallarray/Zip two records with a natural transformation.  O(n) .rec-smallarray.Check if a predicate is true on all elements.  O(n) .rec-smallarray6Check if a predicate is true on at least one element.  O(n) .rec-smallarray×Convert a record that effectively contains a fixed type into a list of the fixed type.  O(n) .rec-smallarray"Map each element to a fixed type.  O(n) .rec-smallarrayTest the size invariant of . rec-smallarrayTest whether all fields of  are really set.!rec-smallarrayTest all invariants."rec-smallarray=The unit of a record type are the units of its element types: 7 == 7  7 #rec-smallarray 7 ==   %rec-smallarray8One-by-one semigroup operation instead of concatenation. (x  xs) 8 (y  ys) == x 8 y  xs 8 ys 'rec-smallarray 9 (: ;  : <   ,) == "Const False :~: Const True :~: empty" (rec-smallarray =2 "Identity True :~: Identity \"Hi\" :~: empty" ==  <   "Hi"    )rec-smallarray 9 ( <   "Hi"   3) == "Identity True :~: Identity \"Hi\" :~: empty" *rec-smallarray = "empty" ==   +rec-smallarray 9   == "empty" "  !"   ! 05559 9 4None&'(+./>?ÀÁÂÅÉÊÎÔÖ×Ùàçèìòu>?@ABCDEÆ      !"#$%&'()*+,-./0123456789:;<=>?@>?A>BC>DEFGHFGI>JKLMNOPQRSÔrec-smallarray-0.1.0.0-inplaceData.Rec.SmallArrayData.Functor.IdentityIdentityPaths_rec_smallarray~>SubsetElem KnownList++Rec:++::~:lengthempty singletonconsconcattaildropheadtakeindexpickupdate/~/modifybatch/++/natural<#>zipWithallany degenerateextract sizeInvariant allAccessible invariant $fMonoidRec $fMonoidRec0$fSemigroupRec$fSemigroupRec0$fSemigroupRec1 $fShowRec $fReadRec $fShowRec0 $fReadRec0 $fShowRec1$fEqRec$fEqRec0$fEqRec1 $fKnownListk:$fKnownListk[] $fElemae: $fElemae:0 $fElemke[] $fSubsetk:es' $fSubsetk[]esÒprimitive-0.7.3.0-ab8104f4a6c5bcace27e4a385271dc96d2186f34c091b7c80bfd9bcc6b69faa5Data.Primitive.SmallArray SmallArraybaseGHC.Basemempty<>GHC.ShowshowData.Functor.ConstConstghc-prim GHC.TypesFalseTrue Text.ReadreadversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir