eo-phi-normalizer-2.0.0: data/0.41.2/org/eolang/structs/list.phi
{
⟦
org ↦ ⟦
eolang ↦ ⟦
structs ↦ ⟦
list ↦ ⟦
origin ↦ ∅,
φ ↦ ξ.origin,
is-empty ↦ ⟦
φ ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).eq(
α0 ↦ ξ.ρ.origin.length
)
⟧,
with ↦ ⟦
x ↦ ∅,
φ ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.ρ.origin.with(
α0 ↦ ξ.x
)
)
⟧,
withi ↦ ⟦
index ↦ ∅,
item ↦ ∅,
φ ↦ ξ.ρ.head(
α0 ↦ ξ.index
).with(
α0 ↦ ξ.item
).concat(
α0 ↦ ξ.ρ.tail(
α0 ↦ ξ.ρ.origin.length.minus(
α0 ↦ ξ.index
)
)
)
⟧,
reducedi ↦ ⟦
start ↦ ∅,
func ↦ ∅,
origin-len ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.origin.length
).as-bytes,
φ ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).eq(
α0 ↦ ξ.origin-len
).if(
α0 ↦ ξ.start,
α1 ↦ ξ.rec-reduced(
α0 ↦ ξ.start,
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).as-bytes
)
),
rec-reduced ↦ ⟦
accum ↦ ∅,
index ↦ ∅,
idx-as-number ↦ ξ.index.as-number,
next-index ↦ Φ.org.eolang.dataized(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 3F-F0-00-00-00-00-00-00
)
).plus(
α0 ↦ ξ.idx-as-number
)
).as-bytes,
φ ↦ ξ.next-index.eq(
α0 ↦ ξ.ρ.origin-len
).if(
α0 ↦ ξ.accumulated,
α1 ↦ ξ.ρ.rec-reduced(
α0 ↦ ξ.accumulated,
α1 ↦ ξ.next-index
)
),
accumulated ↦ ξ.ρ.func(
α0 ↦ ξ.accum,
α1 ↦ ξ.ρ.ρ.origin.at(
α0 ↦ ξ.idx-as-number
),
α2 ↦ ξ.idx-as-number
)
⟧
⟧,
reduced ↦ ⟦
start ↦ ∅,
func ↦ ∅,
φ ↦ ξ.ρ.reducedi(
α0 ↦ ξ.start,
α1 ↦ ξ.auto-named-attr-at-85-42
),
auto-named-attr-at-85-42 ↦ ⟦
φ ↦ ξ.ρ.func(
α0 ↦ ξ.accum,
α1 ↦ ξ.item
),
accum ↦ ∅,
item ↦ ∅,
idx ↦ ∅
⟧
⟧,
mappedi ↦ ⟦
func ↦ ∅,
φ ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.auto-named-attr-at-95-24
)
),
auto-named-attr-at-95-24 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
idx ↦ ∅,
φ ↦ ξ.accum.with(
α0 ↦ ξ.ρ.func(
α0 ↦ ξ.item,
α1 ↦ ξ.idx
)
)
⟧
⟧,
mapped ↦ ⟦
func ↦ ∅,
φ ↦ ξ.ρ.mappedi(
α0 ↦ ξ.auto-named-attr-at-105-30
),
auto-named-attr-at-105-30 ↦ ⟦
φ ↦ ξ.ρ.func(
α0 ↦ ξ.item
),
item ↦ ∅,
idx ↦ ∅
⟧
⟧,
eachi ↦ ⟦
func ↦ ∅,
φ ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.true,
α1 ↦ ξ.auto-named-attr-at-115-22
),
auto-named-attr-at-115-22 ↦ ⟦
acc ↦ ∅,
item ↦ ∅,
index ↦ ∅,
φ ↦ Φ.org.eolang.seq(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.acc
),
α1 ↦ ξ.ρ.func(
α0 ↦ ξ.item,
α1 ↦ ξ.index
)
)
)
⟧
⟧,
each ↦ ⟦
func ↦ ∅,
φ ↦ ξ.ρ.eachi(
α0 ↦ ξ.auto-named-attr-at-126-32
),
auto-named-attr-at-126-32 ↦ ⟦
φ ↦ ξ.ρ.func(
α0 ↦ ξ.item
),
item ↦ ∅,
index ↦ ∅
⟧
⟧,
withouti ↦ ⟦
i ↦ ∅,
φ ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.auto-named-attr-at-133-24
)
),
auto-named-attr-at-133-24 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
idx ↦ ∅,
φ ↦ ξ.ρ.i.eq(
α0 ↦ ξ.idx
).if(
α0 ↦ ξ.accum,
α1 ↦ ξ.accum.with(
α0 ↦ ξ.item
)
)
⟧
⟧,
without ↦ ⟦
element ↦ ∅,
φ ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.ρ.reduced(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.auto-named-attr-at-144-20
)
),
auto-named-attr-at-144-20 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
φ ↦ ξ.ρ.element.eq(
α0 ↦ ξ.item
).if(
α0 ↦ ξ.accum,
α1 ↦ ξ.accum.with(
α0 ↦ ξ.item
)
)
⟧
⟧,
eq ↦ ⟦
other ↦ ∅,
φ ↦ ξ.ρ.origin.length.eq(
α0 ↦ ξ.other.length
).and(
α0 ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.true,
α1 ↦ ξ.auto-named-attr-at-159-24
)
),
auto-named-attr-at-159-24 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
idx ↦ ∅,
φ ↦ ξ.accum.and(
α0 ↦ ξ.item.eq(
α0 ↦ ξ.ρ.other.at(
α0 ↦ ξ.idx
)
)
)
⟧
⟧,
concat ↦ ⟦
passed ↦ ∅,
φ ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.passed
).reduced(
α0 ↦ ξ.ρ,
α1 ↦ ⟦
φ ↦ ξ.accum.with(
α0 ↦ ξ.item
),
accum ↦ ∅,
item ↦ ∅
⟧
)
⟧,
index-of ↦ ⟦
wanted ↦ ∅,
φ ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
),
α1 ↦ ξ.auto-named-attr-at-179-24
),
auto-named-attr-at-179-24 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
index ↦ ∅,
φ ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
).eq(
α0 ↦ ξ.accum
).and(
α0 ↦ ξ.item.eq(
α0 ↦ ξ.ρ.wanted
)
).if(
α0 ↦ ξ.index,
α1 ↦ ξ.accum
)
⟧
⟧,
last-index-of ↦ ⟦
wanted ↦ ∅,
φ ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
),
α1 ↦ ξ.auto-named-attr-at-192-24
),
auto-named-attr-at-192-24 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
index ↦ ∅,
φ ↦ ξ.item.eq(
α0 ↦ ξ.ρ.wanted
).if(
α0 ↦ ξ.index,
α1 ↦ ξ.accum
)
⟧
⟧,
contains ↦ ⟦
element ↦ ∅,
φ ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
).eq(
α0 ↦ ξ.ρ.index-of(
α0 ↦ ξ.element
)
).not
⟧,
sorted ↦ ⟦
φ ↦ ξ.ρ
⟧,
filteredi ↦ ⟦
func ↦ ∅,
origin-length ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.origin.length
).as-bytes,
φ ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.rec-filtered(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).as-bytes,
α1 ↦ Φ.org.eolang.tuple.empty
)
),
rec-filtered ↦ ⟦
idx-as-bytes ↦ ∅,
accum ↦ ∅,
original ↦ ξ.ρ.ρ.origin,
index ↦ ξ.idx-as-bytes.as-number,
item ↦ ξ.ρ.ρ.origin.at(
α0 ↦ ξ.index
),
φ ↦ ξ.idx-as-bytes.eq(
α0 ↦ ξ.ρ.origin-length
).if(
α0 ↦ ξ.accum,
α1 ↦ ξ.ρ.rec-filtered(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 3F-F0-00-00-00-00-00-00
)
).plus(
α0 ↦ ξ.index
).as-bytes,
α1 ↦ ξ.ρ.func(
α0 ↦ ξ.item,
α1 ↦ ξ.index
).if(
α0 ↦ ξ.accum.with(
α0 ↦ ξ.item
),
α1 ↦ ξ.accum
)
)
)
⟧
⟧,
filtered ↦ ⟦
func ↦ ∅,
φ ↦ ξ.ρ.filteredi(
α0 ↦ ξ.auto-named-attr-at-245-32
),
auto-named-attr-at-245-32 ↦ ⟦
φ ↦ ξ.ρ.func(
α0 ↦ ξ.item
),
item ↦ ∅,
index ↦ ∅
⟧
⟧,
head ↦ ⟦
index ↦ ∅,
idx ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.index
).as-bytes,
φ ↦ Φ.org.eolang.switch(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).eq(
α0 ↦ ξ.idx
)
),
α1 ↦ ξ.ρ.ρ.list(
α0 ↦ Φ.org.eolang.tuple.empty
)
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).gt(
α0 ↦ ξ.idx
)
),
α1 ↦ ξ.ρ.tail(
α0 ↦ ξ.index.as-number.neg
)
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.origin.length.lte(
α0 ↦ ξ.idx
)
),
α1 ↦ ξ.ρ
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.true
),
α1 ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.auto-named-attr-at-266-32
)
)
)
)
),
auto-named-attr-at-266-32 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
index ↦ ∅,
φ ↦ ξ.index.gte(
α0 ↦ ξ.ρ.idx
).if(
α0 ↦ ξ.accum,
α1 ↦ ξ.accum.with(
α0 ↦ ξ.item
)
)
⟧
⟧,
tail ↦ ⟦
index ↦ ∅,
idx ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.index
).as-bytes,
start ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.origin.length.minus(
α0 ↦ ξ.idx.as-number
)
).as-bytes,
φ ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
).gt(
α0 ↦ ξ.start
).if(
α0 ↦ ξ.ρ,
α1 ↦ ξ.ρ.ρ.list(
α0 ↦ ξ.ρ.reducedi(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.auto-named-attr-at-282-26
)
)
),
auto-named-attr-at-282-26 ↦ ⟦
accum ↦ ∅,
item ↦ ∅,
idx ↦ ∅,
φ ↦ ξ.idx.gte(
α0 ↦ ξ.ρ.start
).if(
α0 ↦ ξ.accum.with(
α0 ↦ ξ.item
),
α1 ↦ ξ.accum
)
⟧
⟧
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}