@fraczak/k 6.8.0 → 6.9.0

package/codecs/runtime/test-codec.mjs

@@ -1,89 +0,0 @@
-#!/usr/bin/env node
-/**
- * Test the binary codec with basic k types
- */
-
-import { deriveClosedPattern } from './codec.mjs';
-import { encodeToWire, decodeWire } from './prefix-codec.mjs';
-import { patternToPropertyList } from './pattern-json.mjs';
-import { Value, isProduct, isVariant } from '../../Value.mjs';
-import hash from '../../hash.mjs';
-
-// Type repository
-const types = {};
-
-// Define unit type: {}
-const unitTypeDef = { code: 'product', product: {} };
-const unitTypeStr = '$C0={};';
-const unitTypeName = hash(unitTypeStr);
-types[unitTypeName] = unitTypeDef;
-
-console.log('Unit type name:', unitTypeName);
-
-// Define bool type: <{} false, {} true>
-const boolTypeDef = {
-  code: 'union',
-  union: {
-    false: unitTypeName,
-    true: unitTypeName
-  }
-};
-const boolTypeStr = `$C0=<${unitTypeName}"false",${unitTypeName}"true">;`;
-const boolTypeName = hash(boolTypeStr);
-types[boolTypeName] = boolTypeDef;
-
-console.log('Bool type name:', boolTypeName);
-
-// Resolver function
-function resolveType(typeName) {
-  if (!types[typeName]) {
-    throw new Error(`Unknown type: ${typeName}`);
-  }
-  return types[typeName];
-}
-
-// Test 1: Unit value
-console.log('\n=== Test 1: Unit ===');
-const unitValue = Value.product({});
-console.log('Encoding unit:', unitValue.toString());
-
-const unitPattern = patternToPropertyList(deriveClosedPattern(unitTypeName, unitTypeDef, resolveType));
-const unitEncoded = encodeToWire(unitValue, unitPattern);
-console.log('Encoded bytes:', unitEncoded.length, 'bytes');
-console.log('Hex:', unitEncoded.toString('hex'));
-
-const unitDecoded = decodeWire(unitEncoded);
-console.log('Decoded value:', unitDecoded.value.toString());
-console.log('Match:', isProduct(unitDecoded.value) &&
-            Object.keys(unitDecoded.value.product).length === 0);
-
-// Test 2: Bool false
-console.log('\n=== Test 2: Bool (false) ===');
-const falseValue = Value.variant('false', Value.product({}));
-console.log('Encoding false:', falseValue.toString());
-
-const boolPattern = patternToPropertyList(deriveClosedPattern(boolTypeName, boolTypeDef, resolveType));
-const falseEncoded = encodeToWire(falseValue, boolPattern);
-console.log('Encoded bytes:', falseEncoded.length, 'bytes');
-console.log('Hex:', falseEncoded.toString('hex'));
-
-const falseDecoded = decodeWire(falseEncoded);
-console.log('Decoded value:', falseDecoded.value.toString());
-console.log('Match:', isVariant(falseDecoded.value) &&
-            falseDecoded.value.tag === 'false');
-
-// Test 3: Bool true
-console.log('\n=== Test 3: Bool (true) ===');
-const trueValue = Value.variant('true', Value.product({}));
-console.log('Encoding true:', trueValue.toString());
-
-const trueEncoded = encodeToWire(trueValue, boolPattern);
-console.log('Encoded bytes:', trueEncoded.length, 'bytes');
-console.log('Hex:', trueEncoded.toString('hex'));
-
-const trueDecoded = decodeWire(trueEncoded);
-console.log('Decoded value:', trueDecoded.value.toString());
-console.log('Match:', isVariant(trueDecoded.value) &&
-            trueDecoded.value.tag === 'true');
-
-console.log('\n=== All tests complete ===');

package/codecs/runtime/typeFromValue.mjs

@@ -1,34 +0,0 @@
-import { isProduct, isVariant } from "../../Value.mjs";
-
-function typeDefsFromValue(value) {
-  let nextId = 0;
-  const defs = {};
-
-  function visit(node) {
-    const name = `:auto${nextId++}`;
-    if (isProduct(node)) {
-      const labels = Object.keys(node.product).sort();
-      const product = {};
-      for (const label of labels) {
-        product[label] = visit(node.product[label]);
-      }
-      defs[name] = { code: "product", product };
-      return name;
-    }
-
-    if (isVariant(node)) {
-      const childName = visit(node.value);
-      defs[name] = { code: "union", union: { [node.tag]: childName } };
-      return name;
-    }
-
-    throw new Error(`Unsupported runtime value node: ${node?.constructor?.name || typeof node}`);
-  }
-
-  const root = visit(value);
-  defs.__root__ = { code: "ref", ref: `@${root}` };
-  return { defs, root };
-}
-
-export { typeDefsFromValue };
-export default { typeDefsFromValue };