@mark1russell7/coeval 0.17.0 → 0.19.0

package/src/index.ts

@@ -164,9 +164,12 @@ export {
   run,
 } from "./evaluate.ts";
 export {
+  type AttributeAnswer,
+  type AttributeCell,
   type AttributeRung,
   type AttributeTrace,
   type NearestOptions,
+  type TreeOptions,
   ATTRIBUTE_RUNGS,
   STD_CAPS,
   STD_EVALUATORS,
@@ -178,6 +181,7 @@ export {
   attributeTrace,
   nearestWalker,
   placeOf,
+  treeNodeEvaluator,
 } from "./stdlib.ts";
 export {
   type Edge,
@@ -208,6 +212,7 @@ export {
   type WalkOptions,
   type WalkProblem,
   type WorldIssue,
+  type WorldOptions,
   check,
   checkWorld,
   mapRefs,
@@ -259,7 +264,7 @@ export { type Definitions, type ReferenceOptions, type ReferenceRunOptions, STD_
 export { type AgreeOptions, type AgreeRunOptions, type Agreement, type Tier, type TierInput, type TierResult, agree, agreeRun, sameValue } from "./agree.ts";
 export { type ConformOptions, type ConformProbe, type Finding, type Obligation, conforms } from "./conform.ts";
 export { sameResult } from "./same.ts";
-export { type ReadsCheck, type VerifyOptions, verifyReads } from "./reads.ts";
+export { type PrintOptions, type ReadPrints, type ReadsCheck, type VerifyOptions, printReads, verifyReads } from "./reads.ts";
 export { type Durable, type DurableCounts, type DurableOptions, type Epochs, durable } from "./durable.ts";
 export {
   type NodeEdge,
@@ -281,6 +286,15 @@ export {
   agreeSchedule,
 } from "./meaning.ts";
 export { type GraphCycle, type GraphEdge, type GraphNode, type GraphOptions, type NodeGraph, components, cycles, heights, necessary, nodeLayers } from "./graph.ts";
+export {
+  type AttributeCycle,
+  type AttributeEdge,
+  type AttributeGraph,
+  type AttributeGraphOptions,
+  type AttributeVertex,
+  attributeGraph,
+  attributeVertexId,
+} from "./instances.ts";
 export {
   type Recorder,
   type ReplayCausePartsJson,
@@ -302,5 +316,5 @@ export {
 } from "./replay.ts";
 export { type GenerateOptions, type Random, generate, random, typesOf } from "./generate.ts";
 export { type Domain, type DomainCodec, type TypeIssue, type ValueType, STD_DOMAINS, fits, join, member, typeIssues, typeText } from "./types.ts";
-export { type PartType, type RootTypes, type TypeInput, type TypeProblem, type TypeRule, type Typed, CAPS_TYPE } from "./typing.ts";
+export { type Declared, type PartType, type RootTypes, type TypeInput, type TypeProblem, type TypeRule, type Typed, CAPS_TYPE } from "./typing.ts";
 export { type SampleOptions, type TypeReading, typeFromSamples, typeFromSchema } from "./providers.ts";