Kleisli.IO

kleisli.io kli blog docs

Theme

Navigation

Manual Introduction Getting Started Builder Specs Operations Programs And Views Designing Builder Surfaces Outputs, Evidence, And Runtime Artifacts Materialization Model Authoring Production Builders

Theory Builders As Descriptions Internalized Programs Ornaments And Domain Surfaces Interpretation And Views Evidence, Descriptors, And Runtime Structure

Examples Node service example Source files Node service builder module server.js C code generation example Source files C codegen builder module messages.def main.c Bridge example Source files Bridge proof module IDL example Source files IDL builder module schema.proto OCI image example Source files OCI image example module

API Reference

Core API Descriptions Operations

Program Validate Deps Dry-run Plan-view Describe Introspect Materialize Backends Former Plan-export

Reference Schemas Datatypes

Ornaments Project-builder Dependencies Implementations ToolEnv Testing Vendoring Code-gen Idl Capabilities Protocol Service ReplServer Sandbox Transform Oci-image

Library Helpers Tool-env Toolchain Passthru Bundled Dashboard ContentAddress

Typed builder DSL built on nix-effects descriptions and internalized programs.

all pages, single document

Manual Introduction Getting Started Builder Specs Operations Programs And Views Designing Builder Surfaces Outputs, Evidence, And Runtime Artifacts Materialization Model Authoring Production Builders

Theory Builders As Descriptions Internalized Programs Ornaments And Domain Surfaces Interpretation And Views Evidence, Descriptors, And Runtime Structure

Examples Node service example Source files Node service builder module server.js C code generation example Source files C codegen builder module messages.def main.c Bridge example Source files Bridge proof module IDL example Source files IDL builder module schema.proto OCI image example Source files OCI image example module

API Reference

Core API Descriptions Operations

Program Validate Deps Dry-run Plan-view Describe Introspect Materialize Backends Former Plan-export

Reference Schemas Datatypes

Ornaments Project-builder Dependencies Implementations ToolEnv Testing Vendoring Code-gen Idl Capabilities Protocol Service ReplServer Sandbox Transform Oci-image

Library Helpers Tool-env Toolchain Passthru Bundled Dashboard ContentAddress

docs/metaBuilder/API Reference/Core API/Operations

Operations

Reference

Auto-generated API reference.

Constructors build typed operation records. Execution is handled by the internalized mb.program desc-interp signature.

prevDescriptions Validatenext

kleisli.io kli blog docs source

AI agents:llms.txt·llms-full.txt·mcp·tools: search_docs, get_page, list_projects