Examples
Runnable example builders that demonstrate metaBuilder internalized programs.
metaBuilder examples are builder definitions with source fixtures, self-documentation, tests, materialization plans, and generated artifacts.
- Node service example - Guided Node service builder tour: runnable package, HTTP service descriptor, runtime unit, dependency graph, and materialization plan.
- C code generation example - Guided C codegen builder tour: schema input, generated C sources, static library, CLI, descriptors, dependency graph, and materialization plan.
- Bridge example - Relates the shipped builder kinds — Node service, C code generation, OCI image, and IDL — through kernel-checked ornament, effect, and list-computation theorems.
- IDL example - IDL example: multi-language protobuf code generation via the IdlBuilder ornament and internalized program interpreters.
- OCI image example - Guided OCI image builder tour: busybox layer, digest-chain assembly steps, image descriptor, smoke-test evidence, and materialization plan.
Node service example
Guided Node service builder tour: runnable package, HTTP service descriptor, runtime unit, dependency graph, and materialization plan.
Source files
These files are the complete source for Node service example: the builder module plus the fixtures it consumes. Node...
Node service builder module
Source for the Node service builder constructor and worked demo program.
server.js
HTTP service fixture copied into the materialized Node demo package.
C code generation example
Guided C codegen builder tour: schema input, generated C sources, static library, CLI, descriptors, dependency graph, and materialization plan.
Source files
These files are the complete source for C code generation example: the builder module plus the fixtures it consumes. C...
C codegen builder module
Source for the C codegen builder constructor and worked native demo program.
messages.def
Schema fixture consumed by the C code generator in the native demo.
main.c
Small CLI source linked against the generated static library.
Bridge example
Relates the shipped builder kinds — Node service, C code generation, OCI image, and IDL — through kernel-checked ornament, effect, and list-computation t...
Source files
These files are the complete source for Bridge example: the builder module plus the fixtures it consumes. Bridge proof...
Bridge proof module
This module checks the bridge theorems and exposes their normal forms. Source path: examples/bridge.nix. nixcopyexpand{...
IDL example
IDL example: multi-language protobuf code generation via the IdlBuilder ornament and internalized program interpreters.
Source files
These files are the complete source for IDL example: the builder module plus the fixtures it consumes. IDL builder...
IDL builder module
Source for the built-in IDL ornament demo and its worked program.
schema.proto
This schema is the source artifact consumed by the IDL builder. The builder asks for C++ and Java generated views from...
OCI image example
Guided OCI image builder tour: busybox layer, digest-chain assembly steps, image descriptor, smoke-test evidence, and materialization plan.
Source files
These files are the complete source for OCI image example: the builder module plus the fixtures it consumes. OCI image...
OCI image example module
Source for the worked busybox image spec and the exported views.