eo-phi-normalizer-2.0.0: data/0.41.2/org/eolang/io/input-length.phi
{
⟦
org ↦ ⟦
eolang ↦ ⟦
io ↦ ⟦
input-length ↦ ⟦
input ↦ ∅,
chunk ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 40-B0-00-00-00-00-00-00
)
),
φ ↦ ξ.rec-read(
α0 ↦ ξ.input,
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
),
rec-read ↦ ⟦
input ↦ ∅,
length ↦ ∅,
read-bytes ↦ ξ.input.read(
α0 ↦ ξ.ρ.chunk
).read.ρ,
φ ↦ ξ.read-bytes.size.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
).if(
α0 ↦ ξ.length,
α1 ↦ ξ.ρ.rec-read(
α0 ↦ ξ.read-bytes,
α1 ↦ ξ.length.plus(
α0 ↦ ξ.read-bytes.size
)
)
)
⟧
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}