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/Program/Validate

Copy page

View as Markdown Open in ChatGPT Open in Claude

Validate

Validation interpreter for typed builder programs.

prevOperations Depsnext

kleisli.io kli blog docs source

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