Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0
jadpo
ReferenceErrors

ErrorsLogic · rule

effect.function_persistence

Function reads or writes stored data.

Area 3, Logic; not declinable; the next step is usually the agent's.

example
entity Customer {    id: Uuid}function find_customer(id: Customer.id) -> Customer {    return attempt Customer.get(id)}
jadpo checkcheck failed: 1 error, 1 file

error A function can't call Customer.get

--> main.jadpo:6:20

  |6 |     return attempt Customer.get(id)  |                    ^^^^^^^^^^^^ reads or writes stored data
reason
A function is pure: it computes its result from its arguments alone, so reading and writing entities belongs in an action.
next
Make the caller an action, or pass the data in as an argument (agent)
rule
effect.function_persistence
help
https://jadpo.dev/docs/errors/effect.function_persistence

Markdown for agents: /docs/errors/effect.function_persistence.md.Built from Jadpo main at aee2e8f.