Partition
⊆ ⊂
|
Partition (⊆, ⊂) is a dyadic function which splits its right argument into differently sized pieces as determined by the non-negative integer left argument. This article uses ⊆ to distinguish Partition from Partitioned Enclose (which is always ⊂), but the actual glyph used varies by dialect.
On a vector right argument, the arguments must have the same length with each element in the left argument corresponding to an element in the right argument. Partition begins a new division of its right argument whenever a left argument element is greater than its neighbour on the left (with a 0 assumed to the left of the first element):
1 1 2 2 2 2 2⊆'HiEarth' ┌──┬─────┐ │Hi│Earth│ └──┴─────┘
Right argument elements can be skipped by having their corresponding left argument element be 0:
1 1 2 2 2 0 0⊆'HiEarth' ┌──┬───┐ │Hi│Ear│ └──┴───┘
In the case where the left argument is Boolean, Partition splits its right argument on runs of 0s in the left argument, allowing a very short split-on-delimiter function:
1 1 1 0 1 1 1 0 1 1 1 1⊆'How are you?'
┌───┬───┬────┐
│How│are│you?│
└───┴───┴────┘
' '(≠⊆⊢)'How are you?'
┌───┬───┬────┐
│How│are│you?│
└───┴───┴────┘