route.input_not_input
Route input is not an Input type.
Area 7, HTTP; not declinable; the next step is usually the agent's.
A route accepts only an Input:
type Memo = Text { max_length: 200}type MemoId = Uuid {}type AddMemo = Input { text: Memo}type MemoView = Output { text: Memo}action add_memo(input: AddMemo) -> MemoView { return MemoView { text: input.text }}routes Memos { prefix: /memos POST / { input: MemoView output: MemoView run: add_memo(input) }}
error MemoView isn't an Input
--> main.jadpo:25:16
|25 | input: MemoView | ^^^^^^^^ not an `Input`
- reason
- A route accepts only an
Inputtype (area 2): the only objects that may leave fields out or fill them by default, and the ones a request's fields are checked against. - next
- Declare
type <Name> = Input { ... }and take it here (agent) - rule
- route.
input_ not_ input - help
- https://jadpo.
dev/docs/errors/route. input_ not_ input
Markdown for agents: /docs/errors/route.input_not_input.md.Built from Jadpo main at aee2e8f.