Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Values and types

Values and types · rule

type.constraint_base

Constraint does not fit the type's base.

Area 2, Values and types; not declinable; the next step is usually the agent's.

example
type Nickname = Text {    min: 1}
text
error: `min` doesn't apply to a `Text` type --> main.jadpo:2:5  |2 |     min: 1  |     ^^^ doesn't fit the base  reason: `min` constrains `Int`, `Decimal`, `Duration`, `Money`, `Percentage` and quantity types.  next: Remove `min`, or use a constraint that fits (agent)  rule: type.constraint_base  help: https://jadpo.dev/docs/errors/type.constraint_basecheck failed: 1 error, 1 file

Markdown for agents: /docs/errors/type.constraint_base.md.Built from Jadpo main at a707efb.