úÎ:Å6E/      !"#$%&'()*+,-.None Required by most  instances just before  is  called. GGenerate stream from either one (DIM2 -> m cnt) or some combination of ( terminals derived from uses of nextTo. ICreates the single step on the left which does nothing more then set the 8 outermost indices to (i,j). This does not use the alpha/omega's /vector-based cells 0IInstance of boxed array with vector-valued cells. We assume that we want H to store multiple results for each cell. If the intent is to store one  scalar result, use the   wrapper. 1GThis instance is a bit crazy, since the accessor is the current stream L itself. No idea how efficient this is (need to squint at CORE), but I plan " to use it for backtracking only. ?TODO Using this instance tends to break to optimizer ;-) -- don' t use it  yet! 2Function with monadic   return value. 3Function with   return value. 4Immutable arrays. 5Mutable arrays. 6/Pre-stream generation for deeply nested boxes. 71the first two arguments from nextTo, monadic xs. 8/two or more elements combined by NextTo (~~~), xs as anything, ys is  monadic. G $the composite type of the arguments the original index  (Z:.i:.j) the stream we get out of it 9:;<=>?@ABCDEFG/01234567HIJKLMNO8PQRSTUVW 5  9:;<=>?@ABCDEFG/01234567HIJKLMNO8PQRSTUVW Safe-Infered BA monadic version of the function application combinator. Applies f  which has a monadic effect. .Pure function application combinator. Applies f which is pure. The  arguments to f , meaning t can be monadic, however!  If both, xs and ys/ are streams of candidate answers, they can be - combined here. The answer (or sort) type of xs and ys has to be the  same. Works like (++) for lists. !JReduces a streams of answers to the type of stored answers. The resulting L type could be scalar, which it will be for highest-performance algorithms, K or it could be a subset of answers stored in some kind of data structure. "KSpecialized version of choice function application, with a choice function 8 that needs to know the subword index it is working on. #;General function to create combinators. The left-hand side xs in xs  comb ys will have a size between minL and maxL, while ys and  /+everything to its right will be guaranteed minR size. $HCreate combinators which are to be used in the right-most position of a L chain. 1st, they make sure that the second to last region has a size of at  least minL:. 2nd, they constrain the last argument to a size between minR  and maxR. + xs +~+ ys with xs and ys, non-empty. The non-emptyness constraint on  ys? works only for two arguments. With three or more arguments, a ) left-leaning combinator to the right of ys is required to establish  non-emptyness. ,ls ~~~ xs !-~+ ys" with xs having a size of one and ls further to the $ left having a size of one or more. -xs +~-! ys ~~~ rs with ys having a size of one and rs further to the  right having a size of one. . xs -~- ys! produces an answer only if both xs and ys have size one. " The total size here then is two.  !"#$%&'()*+,-. !"#$%&'()*+,-. !"#$%&'()*+,-. !"#$%&'()*+,-. Safe-Infered  !"#$%&'()*+,-. X       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWADPfusion-0.0.1.2 ADP.FusionADP.Fusion.MonadicADP.Fusion.Monadic.InternalVectMunVectMVectunVectScalarM unScalarMScalarunScalarIdx2Idx3BoxApplyFunapply ExtractValueAsorElem extractValue extractStreamextractStreamLast PreStreamGen preStreamGen StreamGen streamGensinglePreStreamGen#<<<<<|||.....@makeLeft_MinRightmakeMinLeft_Right-~++~--~~~~-+~--~~~+~+!-~++~-!-~-$fExtractValuemArr0$fExtractValuemMArr0$fExtractValuem(->)$fExtractValuem(->)0$fExtractValuem(->)1$fExtractValuemArr00$fExtractValuemMArr00$fPreStreamGenmBox(,,)$fPreStreamGenmBox(,,)0$fStreamGenmBox(,,) $fApply(->) $fApply(->)0 $fApply(->)1 $fApply(->)2 $fApply(->)3 $fApply(->)4 $fApply(->)5 $fApply(->)6 $fApply(->)7 $fApply(->)8 $fApply(->)9 $fApply(->)10 $fApply(->)11 $fApply(->)12 $fApply(->)13$fPreStreamGenmArr0(,,)$fPreStreamGenmMArr0(,,)$fPreStreamGenmArr0(,,)0$fPreStreamGenmMArr0(,,)0$fPreStreamGenm(->)(,,)$fPreStreamGenm(->)(,,)0$fPreStreamGenm(->)(,,)1$fPreStreamGenm(->)(,,)2$fStreamGenmArr0(,,)$fStreamGenmMArr0(,,)$fStreamGenmArr0(,,)0$fStreamGenmMArr0(,,)0$fStreamGenm(->)(,,)$fStreamGenm(->)(,,)0$fStreamGenm(->)(,,)1$fStreamGenm(->)(,,)2