aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-02 20:23:39 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-02 20:23:39 -0400
commit2f61ee644fe9c465f351307cdee805b46c864648 (patch)
tree62caaf7da93cfa76cec038b5cc9abd9cd54d853e
parent21f3bc909d2320eb6025d1201c998a8f3a7c2d34 (diff)
Take out each/scan covers
-rwxr-xr-xspec/dzref35
1 files changed, 1 insertions, 34 deletions
diff --git a/spec/dzref b/spec/dzref
index 77d101dd..9427dfd2 100755
--- a/spec/dzref
+++ b/spec/dzref
@@ -6,13 +6,6 @@ impl ← "◶ ← {𝕨((𝕨𝔽𝕩)⊑𝕘){𝔽}𝕩}
∨ ← (+-×)
| ← ×⟜× ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}
-_eachm←{
- r←⥊𝕩 ⋄ F←𝔽
- E←(≠r)⊸≤◶{r↩r𝕩_amend˜F𝕩⊑r⋄E𝕩+1}‿⊢
- E 0 ⋄ (≢𝕩)⥊r
-}
-¨ ← _eachm ⍝ LIMITED to monadic case and array 𝕩
-
⍝⌜
⍝ LAYER 2: Pervasion
@@ -21,19 +14,6 @@ _eachm←{
ToArray ← IsArray◶<‿⊢
-_eachd←{
- _e←{ ⍝ 𝕨 has smaller or equal rank
- k←≠p←≢𝕨 ⋄ q←≢𝕩
- ! ∧´(⊑⟜p=⊑⟜q)¨↕k
- l←1×´(q⊑˜k⊸+)¨↕q≠⊸-k
- a←⥊𝕨 ⋄ b←⥊𝕩
- q⥊⥊(≠a) (⊑⟜a𝔽l⊸×⊸+⊑b˜)⌜○↕ l
- }
- (>○(≠≢))◶⟨𝔽_e⋄𝔽˜_e˜⟩
-}
-
-¨ ↩ {(𝔽_eachm)⊘(𝔽_eachd)○ToArray}
-
_perv←{ ⍝ Pervasion
(⊢⊘∨○IsArray)◶⟨𝔽⋄𝔽{𝕨𝔽_perv𝕩}¨⟩
}
@@ -72,17 +52,6 @@ _rankOp_←{
}
> ((⊑k)Enc𝕨) 𝔽¨ ((1-˜≠)⊸⊑k)Enc𝕩
}
-_scan←{
- ! IsArray 𝕩
- ! 1≤≠≢𝕩
- F←𝔽
- (0<≠∘⥊)◶⊢‿{
- r←⥊𝕩 ⋄ l←≠𝕩 ⋄ c←1×´1 Cell 𝕩
- {r↩r𝕩_amend˜𝕨F○(⊑⟜r)𝕩}⟜(c⊸+)¨↕c-˜≠r
- (≢𝕩)⥊r
- }𝕩
-}
-` ← _scan
_iterate_←{
n←𝕨𝔾𝕩
f←⊑𝕨⟨𝔽⟩⊘⟨𝕨𝔽⊢⟩𝕩
@@ -267,7 +236,7 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
{
chrs←⟨
"!√∧∨|∾↑↕⌽⍉/⍋⍒⊏⊐⊒∊⍷⊔"
- "˘¨`"
+ "˘"
"⎉⚇⍟◶"
nc ← ≠¨chrs
@@ -292,8 +261,6 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
Mod ← ⍎{𝔽 ((⊑chr⊐𝕨)⊑names) ∾ " ↩ " ∾ 𝕩}
⍎"IsArray ← 0≠≡"
- ⍎"_amend ← {𝕨{𝕩⋄𝕗}⌾(𝕗⊑⊢)𝕩}"
- ⍎"Identity← {𝕏´⟨⟩}"
⍎"Type ← ⟨⟩⥊0⊸⥊"
'!' Mod "{𝕩 ⋄ ≤1}⍟¬"