Módulos

Server.start(8080, (req, res) -> res.text("Hola"));

ServerOptions opciones = ServerOptions.builder()
    .port(8443)
    .tls(Tls.fromKeystore(Path.of("certificado.p12"), "clave".toCharArray()))
    .maxBodyBytes(50L << 20)
    .build();

StaticFiles.from(Path.of("publico"))                   // desde disco
StaticFiles.fromClasspath("estaticos", "/estaticos")  // desde el JAR

{% extends "base.html" %}

{% block titulo %}Tareas · {{ pendientes }} pendientes{% end %}

{% block contenido %}
{% if tareas %}
  <ul>
  {% for t in tareas %}
    <li class="{{ t.etiqueta }}">
      {{ loop.number }}. {{ t.titulo }}
      {% if !loop.last %}<hr>{% end %}
    </li>
  {% end %}
  </ul>
{% else %}
  <p>No hay ninguna tarea.</p>
{% end %}
{% end %}

Templates.fromClasspath("plantillas")          // dentro del JAR
Templates.from(Path.of("plantillas"))          // desde disco
    .suffix(".html")                          // para escribir view("lista")
    .reload(true)                             // recompila al editar, en desarrollo

DataSources.registerDefault(
    Pool.to("jdbc:postgresql://localhost/tareas")
        .credentials("usuario", "clave")
        .maxSize(10)
        .build());

Db db = Db.open();

Rows filas = db.select("tareas", "hecha = ?", false);
Row  una   = db.selectOne("tareas", "id = ?", 7);
long total = db.count("tareas", null);

List<Tarea> t = db.query(Tarea.class, "SELECT * FROM tareas WHERE prioridad = ?", "alta");
Page<Row> pag = db.page("tareas", "hecha = ?", 1, 20, false);

db.insert("tareas", Row.of("titulo", "Escribir", "prioridad", "alta"));
db.update("tareas", Row.of("hecha", true), "id = ?", 7);
db.delete("tareas", "id = ?", 7);

// parámetros con nombre
db.queryNamed("SELECT * FROM tareas WHERE prioridad = :p", Map.of("p", "alta"));

@Table("tareas")
public record Tarea(@Id long id, String titulo,
                   @Column("hecha") boolean completada) {}

@Service
public class Tareas extends Repository<Tarea, Long> {
    public Tareas() { super(Tarea.class); }

    public List<Tarea> pendientes() { return findBy("hecha = ?", false); }
}

tareas.findById(7L)     tareas.findAll()      tareas.findPage(1, 20)
tareas.insert(tarea)     tareas.update(tarea)  tareas.deleteById(7L)
tareas.count()           tareas.existsById(7L)

Tx.run(() -> {
    cuentas.debitar(origen, monto);
    cuentas.acreditar(destino, monto);      // si esto lanza, se deshace todo
});

long id = Tx.call(() -> pedidos.insert(pedido));

.use(Cors.allowing("https://app.pe").credentials(true))
.use(Csrf.enabled().exempt("/api/"))
.use(RateLimit.perMinute(300).keyBy(ctx -> ctx.header("X-Cliente")))
.use((ctx, cadena) -> {                    // el tuyo propio
    long t0 = System.nanoTime();
    try { return cadena.proceed(ctx); }
    finally { registrar(ctx, System.nanoTime() - t0); }
})

.authenticator(ctx -> {
    String token = ctx.header("Authorization");
    if (token == null) return null;         // anónimo
    return Principal.of("andre", "admin");   // id + roles
})

server.port=8080
server.maxConnections=5000
server.gzipMinBytes=512

db.url=jdbc:postgresql://localhost/tareas
db.usuario=lux
db.pool=10

Config config = Config.load();

config.get("db.url")                    config.getInt("db.pool", 5)
config.getBoolean("app.debug", false)   config.under("db")

// o vincularla a un record
record Datos(String url, String usuario, int pool) {}
Datos datos = config.bind(Datos.class, "db");