view ActiveCustomer from Customer, Order {
  id          Int       @id  @from(Customer.id)
  email       String         @from(Customer.email)
  orderCount  Int

  @@sql("""
    SELECT c.id, c.email, COUNT(o.id) AS order_count
    FROM   customer c
    LEFT JOIN "order" o ON o.customer_id = c.id
    GROUP  BY c.id, c.email
  """)

  @@allow("read", auth() != null)
}

view <Name> from <Model>, <Model>, …

view RevenueByDay from Order {
  day      Date
  revenue  Decimal

  @@no_unique
  @@sql("…")
}

view ActiveCustomer from Customer, Order {
  id          Int       @id  @from(Customer.id)   // bound
  email       String         @from(Customer.email) // bound
  orderCount  Int                                  // computed
}

@@allow("read", auth() != null)
@@allow("read", auth().role == "admin")

view AccountBalance from Account, Transfer {
  accountId Uuid     @id  @from(Account.id)
  balance   Decimal

  @@materialized
  @@server_sql("""
    SELECT a.id AS account_id,
           a.opening_balance
           + COALESCE(SUM(t.amount), 0) AS balance
    FROM   account a
    LEFT JOIN transfer t ON t.account_id = a.id
    GROUP  BY a.id, a.opening_balance
  """)

  @@allow("read", auth().id == accountId)
}

pub struct ActiveCustomer {
    pub id: i64,
    pub email: String,
    pub orderCount: i64,
}

pub const ACTIVE_CUSTOMER_VIEW: cratestack::ViewDescriptor<ActiveCustomer, i64> = /* … */;

let cool = cratestack_schema::Cratestack::builder(pool).build();

// find_many — read-only iteration with filter / order / limit.
let rows = cool
    .views()
    .active_customer()      // ViewDelegate<'_, ActiveCustomer, i64>
    .find_many()
    .run(&ctx)              // CoolContext drives `@@allow` enforcement
    .await?;

// find_unique — single-row lookup by PK. Returns Option<ActiveCustomer>.
let one = cool.views().active_customer().find_unique(customer_id).run(&ctx).await?;