Crate icydb_model 

IcyDB application-model authoring and code generation.

This package owns application declarations, the host-only authoring graph, explicit application validation and normalization, and lowering into the public icydb_schema proposal contract. It is not database authority.

Re-exports

pub use application::NormalizeAndValidate;

pub use normalize::normalize;

pub use validate::validate;

Modules

application

Explicit application-owned normalization and validation composition.

base

Module: base

build

error

fragment

Module: fragment

node

Schema node graph for validated canister/entity/type definitions.

normalize

Module: normalize

prelude

Shared schema-building prelude used by validators, macros, and tests.

schema

Exact public proposal vocabulary consumed by application-model lowering.

types

validate

Module: validate

visitor

Module: visitor

Macros

err

Enums

Error

Error

Constants

MAX_ENTITY_NAME_LEN

MAX_FIELD_NAME_LEN

MAX_INDEX_FIELDS

MAX_INDEX_NAME_LEN

Traits

Inner

Borrowed and consuming access to one-field application wrappers.

Path

Fully-qualified path identity for generated application declarations.

Attribute Macros

canister

entity

enum_

list

map

newtype

normalizer

record

set

store

tuple

validator

Derive Macros

Add

Derive addition for one-field application wrappers.

AddAssign

Derive additive assignment for one-field application wrappers.

Deref

Derive Deref for a one-field application wrapper.

DerefMut

Derive DerefMut for a one-field application wrapper.

Display

Derive display forwarding for one-field application wrappers.

Div

Derive division for one-field application wrappers.

DivAssign

Derive divisive assignment for one-field application wrappers.

Inner

Derive borrowed and consuming inner access for one-field wrappers.

Mul

Derive multiplication for one-field application wrappers.

MulAssign

Derive multiplicative assignment for one-field application wrappers.

Neg

Derive negation for one-field application wrappers.

Product

Derive iterator multiplication for one-field application wrappers.

Rem

Derive remainder for one-field application wrappers.

RemAssign

Derive remainder assignment for one-field application wrappers.

Sub

Derive subtraction for one-field application wrappers.

SubAssign

Derive subtractive assignment for one-field application wrappers.

Sum

Derive iterator summation for one-field application wrappers.