introduce hackWildJumps

Author: WilliamClements

Parthenopea/Music/Passage.lhs

@@ -137,8 +137,7 @@ _Overall_                =
 >     final              :: Music1 → MekNote → Music1 
 >     final music mek                      =
 >       music :+: case mek.mPrimitive of
->                   Note durI pitchI       →
->                     note durI (pitchI, Dynamics fName_ : (makeNas . deJust fName) mek.mParams)
+>                   Note durI pitchI       → mangleNote durI pitchI
 >                   Rest durI              → rest durI
 >       where
 >         fName                            = "final"
@@ -153,6 +152,8 @@ _Overall_                =
 >         average        :: VB.Vector Double → Velocity
 >         average directive                = round $ VB.sum directive / (fromIntegral . VB.length) directive
 >
+>         mangleNote dM pM                 = note dM (pM, Dynamics fName_ : (makeNas . deJust fName) mek.mParams)
+>
 >     -- evolve enriched note/rest (MekNote) list
 >     rawMeks, withEvents, withOveralls, seeded, enriched
 >                        :: VB.Vector MekNote

Parthenopea/Repro/Smashing.lhs

@@ -32,8 +32,8 @@ cache and custom-index it by the three coordinates.
 
 The winning Zone(s) drive the note synthesis. 
 
-This source file implements a generalization of that setup. See computeInstSmashup. We must know all the "subspaces"
-(range specifications) up front which we "smash" together to populate the flat vector.
+This source file implements a generalization of above definition. See computeInstSmashup. We must know all the
+"subspaces" (range specifications) up front which we "smash" together to populate the flat vector.
 
 > data Smashing i                          =
 >   Smashing {
@@ -96,10 +96,10 @@ You see there is some overlap between Zone 1 and Zone 2.
 >       let
 >         enumAssocs     :: [(Int, (i, i))]
 >         enumAssocs                       =
->             profess
->               (0 <= mag && mag <= 32_768 && all (uncurry validRange) (zip dims rngs))
->               (unwords [fName, "range violation", tag, show mag, show dims, show spaces])
->               (map (, (spaceId, 1)) is)
+>           profess
+>             (0 <= mag && mag <= 32_768 && all (uncurry validRange) (zip dims rngs))
+>             (unwords [fName, "range violation", tag, show mag, show dims, show spaces])
+>             (map (, (spaceId, 1)) is)
 >           where
 >             fName                        = "enumAssocs"
 >
@@ -150,10 +150,13 @@ as a zipper to carry out the you-know-what (smashing, stupid!)
 > validCoords            :: ∀ i . (Integral i, Ix i, VU.Unbox i) ⇒ [i] → Smashing i → Bool
 > validCoords coords Smashing{ .. }
 >                                          = and $ zipWith inZRange coords smashDims
->
-> getLeafCells           :: ∀ i . (Integral i, Show i, VU.Unbox i) ⇒ [i] → Smashing i → VU.Vector (i, i)
-> getLeafCells coords Smashing{ .. }
+
+Navigation ============================================================================================================
+
+> getLeafCells           :: ∀ i . (Integral i, Ix i, Show i, VU.Unbox i) ⇒ [i] → Smashing i → VU.Vector (i, i)
+> getLeafCells coords smashup@Smashing{ .. }
 >   | traceNot trace_GLC False             = undefined
+>   | not (validCoords coords smashup)     = error $ unwords [fName, "invalid coords"]
 >   | otherwise                            = VU.slice cellix leafDim smashVec
 >   where
 >     fName                                = "getLeafCells"