@mojir/dvala 0.0.7 → 0.0.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/cli/cli.js +1622 -1620
- package/dist/cli/reference/examples.d.ts +1 -1
- package/dist/cli/src/AutoCompleter/AutoCompleter.d.ts +4 -2
- package/dist/cli/src/{Dvala/Cache.d.ts → Cache.d.ts} +1 -1
- package/dist/cli/src/builtin/specialExpressions/functions.d.ts +1 -1
- package/dist/cli/src/createDvala.d.ts +47 -0
- package/dist/cli/src/evaluator/ContextStack.d.ts +10 -2
- package/dist/cli/src/evaluator/effectTypes.d.ts +24 -6
- package/dist/cli/src/evaluator/suspension.d.ts +6 -0
- package/dist/cli/src/evaluator/trampoline.d.ts +15 -1
- package/dist/cli/src/parser/subParsers/parseDo.d.ts +1 -1
- package/dist/cli/src/tokenizer/token.d.ts +2 -4
- package/dist/cli/src/tokenizer/tokenize.d.ts +1 -2
- package/dist/cli/src/tokenizer/tokenizers.d.ts +2 -3
- package/dist/cli/src/tooling.d.ts +51 -0
- package/dist/debug.esm.js +1 -1
- package/dist/debug.esm.js.map +1 -1
- package/dist/debug.js +1 -1
- package/dist/debug.js.map +1 -1
- package/dist/dvala.iife.js +1 -1
- package/dist/dvala.iife.js.map +1 -1
- package/dist/full.esm.js +1 -1
- package/dist/full.esm.js.map +1 -1
- package/dist/full.js +1 -1
- package/dist/full.js.map +1 -1
- package/dist/index.esm.js +1 -1
- package/dist/index.esm.js.map +1 -1
- package/dist/index.js +1 -1
- package/dist/index.js.map +1 -1
- package/dist/mcp-server/common/utils.d.ts +2 -0
- package/dist/mcp-server/mcp-server/src/server.d.ts +1 -0
- package/dist/mcp-server/reference/api.d.ts +73 -0
- package/dist/mcp-server/reference/datatype.d.ts +3 -0
- package/dist/mcp-server/reference/examples.d.ts +11 -0
- package/dist/mcp-server/reference/index.d.ts +195 -0
- package/dist/mcp-server/reference/shorthand.d.ts +3 -0
- package/dist/mcp-server/server.js +36377 -0
- package/dist/mcp-server/src/AutoCompleter/AutoCompleter.d.ts +27 -0
- package/dist/{src/Dvala → mcp-server/src}/Cache.d.ts +1 -1
- package/dist/mcp-server/src/allModules.d.ts +2 -0
- package/dist/mcp-server/src/builtin/bindingNode.d.ts +11 -0
- package/dist/mcp-server/src/builtin/core/array.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/assertion.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/bitwise.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/collection.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/functional.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/math.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/meta.d.ts +3 -0
- package/dist/mcp-server/src/builtin/core/misc.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/object.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/predicates.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/regexp.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/sequence.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/string.d.ts +2 -0
- package/dist/mcp-server/src/builtin/core/vector.d.ts +2 -0
- package/dist/mcp-server/src/builtin/index.d.ts +13 -0
- package/dist/mcp-server/src/builtin/interface.d.ts +113 -0
- package/dist/mcp-server/src/builtin/modules/assertion/docs.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/assertion/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/bitwise/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/collection/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/convert/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/functional/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/grid/docs.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/grid/fromArray.d.ts +8 -0
- package/dist/mcp-server/src/builtin/modules/grid/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/grid/transpose.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/interface.d.ts +28 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/docs.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/calcFractionalRanks.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/collinear.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/corrleation.d.ts +8 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/covariance.d.ts +4 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/dot.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/gaussJordanElimination.d.ts +7 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/getUnit.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/isZeroVector.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/kendallTau.d.ts +10 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/length.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/pearsonCorr.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/scale.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/solve.d.ts +8 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/helpers/subtract.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/linear-algebra/index.d.ts +4 -0
- package/dist/mcp-server/src/builtin/modules/math/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/matrix/docs.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/adjugate.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/band.d.ts +9 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/cofactor.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/determinant.d.ts +6 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/inverse.d.ts +6 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/isBanded.d.ts +11 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/isDiagonal.d.ts +10 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/isIdentity.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/isOrthogonal.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/isSquare.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/isSymetric.d.ts +8 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/isTriangular.d.ts +13 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/matrixMultiply.d.ts +7 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/minor.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/norm1.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/matrix/helpers/trace.d.ts +8 -0
- package/dist/mcp-server/src/builtin/modules/matrix/index.d.ts +4 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/binomialCefficient.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/combinations.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/derangements.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/divisors.d.ts +4 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/docs.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/factorial.d.ts +3 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/index.d.ts +4 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/partitions.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/permutations.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/powerSet.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/primeFactors.d.ts +11 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/abundant.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/arithmetic.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/bell.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/bernoulli.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/catalan.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/collatz.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/composite.d.ts +3 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/deficient.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/factorial.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/fibonacci.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/geometric.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/golomb.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/happy.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/index.d.ts +27 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/juggler.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/lookAndSay.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/lucas.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/lucky.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/mersenne.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/padovan.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/partition.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/pell.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/perfect.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/perfectCube.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/perfectPower.d.ts +10 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/perfectSquare.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/poligonal.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/prime.d.ts +3 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/recaman.d.ts +9 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/sylvester.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/thueMorse.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/number-theory/sequences/tribonacci.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/sequence/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/string/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/bincount.d.ts +9 -0
- package/dist/mcp-server/src/builtin/modules/vector/calcMad.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/vector/calcMean.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/vector/calcMedad.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/vector/calcMedian.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/vector/calcStdDev.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/calcVariance.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/docs.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/entropy.d.ts +8 -0
- package/dist/mcp-server/src/builtin/modules/vector/histogram.d.ts +9 -0
- package/dist/mcp-server/src/builtin/modules/vector/index.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/mode.d.ts +6 -0
- package/dist/mcp-server/src/builtin/modules/vector/outliers.d.ts +7 -0
- package/dist/mcp-server/src/builtin/modules/vector/percentile.d.ts +7 -0
- package/dist/mcp-server/src/builtin/modules/vector/quartiles.d.ts +1 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/entropy.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/giniCoefficient.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/index.d.ts +13 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/iqr.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/kurtosis.d.ts +5 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/mad.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/mean.d.ts +4 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/medad.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/median.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/prod.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/rms.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/skewness.d.ts +3 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/span.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/standardDeviation.d.ts +3 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/sum.d.ts +2 -0
- package/dist/mcp-server/src/builtin/modules/vector/reductionFunctions/variance.d.ts +3 -0
- package/dist/mcp-server/src/builtin/normalExpressions/index.d.ts +9 -0
- package/dist/mcp-server/src/builtin/normalExpressions/initCoreDvala.d.ts +1 -0
- package/dist/mcp-server/src/builtin/specialExpressionTypes.d.ts +24 -0
- package/dist/mcp-server/src/builtin/specialExpressions/and.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/array.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/block.d.ts +7 -0
- package/dist/mcp-server/src/builtin/specialExpressions/cond.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/defined.d.ts +5 -0
- package/dist/mcp-server/src/builtin/specialExpressions/effect.d.ts +5 -0
- package/dist/mcp-server/src/builtin/specialExpressions/functions.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/if.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/import.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/let.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/loop.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/loops.d.ts +9 -0
- package/dist/mcp-server/src/builtin/specialExpressions/match.d.ts +7 -0
- package/dist/mcp-server/src/builtin/specialExpressions/object.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/or.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/parallel.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/perform.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/qq.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/race.d.ts +6 -0
- package/dist/mcp-server/src/builtin/specialExpressions/recur.d.ts +5 -0
- package/dist/mcp-server/src/builtin/specialExpressions/unless.d.ts +6 -0
- package/dist/mcp-server/src/builtin/utils.d.ts +6 -0
- package/dist/mcp-server/src/bundler/interface.d.ts +15 -0
- package/dist/mcp-server/src/constants/constants.d.ts +19 -0
- package/dist/mcp-server/src/createDvala.d.ts +47 -0
- package/dist/mcp-server/src/errors.d.ts +24 -0
- package/dist/mcp-server/src/evaluator/ContextStack.d.ts +70 -0
- package/dist/mcp-server/src/evaluator/contentHash.d.ts +21 -0
- package/dist/mcp-server/src/evaluator/dedupSubTrees.d.ts +37 -0
- package/dist/mcp-server/src/evaluator/effectRef.d.ts +27 -0
- package/dist/mcp-server/src/evaluator/effectTypes.d.ts +199 -0
- package/dist/mcp-server/src/evaluator/frames.d.ts +513 -0
- package/dist/mcp-server/src/evaluator/interface.d.ts +14 -0
- package/dist/mcp-server/src/evaluator/standardEffects.d.ts +50 -0
- package/dist/mcp-server/src/evaluator/step.d.ts +175 -0
- package/dist/mcp-server/src/evaluator/suspension.d.ts +92 -0
- package/dist/mcp-server/src/evaluator/trampoline.d.ts +138 -0
- package/dist/mcp-server/src/getUndefinedSymbols/index.d.ts +7 -0
- package/dist/mcp-server/src/initReferenceData.d.ts +1 -0
- package/dist/mcp-server/src/interface.d.ts +7 -0
- package/dist/mcp-server/src/parser/ParserContext.d.ts +20 -0
- package/dist/mcp-server/src/parser/getPrecedence.d.ts +3 -0
- package/dist/mcp-server/src/parser/helpers.d.ts +19 -0
- package/dist/mcp-server/src/parser/index.d.ts +5 -0
- package/dist/mcp-server/src/parser/subParsers/parseArray.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseBindingTarget.d.ts +8 -0
- package/dist/mcp-server/src/parser/subParsers/parseCond.d.ts +4 -0
- package/dist/mcp-server/src/parser/subParsers/parseDo.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseExpression.d.ts +5 -0
- package/dist/mcp-server/src/parser/subParsers/parseForOrDoseq.d.ts +4 -0
- package/dist/mcp-server/src/parser/subParsers/parseFunction.d.ts +4 -0
- package/dist/mcp-server/src/parser/subParsers/parseFunctionCall.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseIfOrUnless.d.ts +5 -0
- package/dist/mcp-server/src/parser/subParsers/parseImplicitBlock.d.ts +5 -0
- package/dist/mcp-server/src/parser/subParsers/parseLet.d.ts +4 -0
- package/dist/mcp-server/src/parser/subParsers/parseLoop.d.ts +4 -0
- package/dist/mcp-server/src/parser/subParsers/parseMatch.d.ts +4 -0
- package/dist/mcp-server/src/parser/subParsers/parseNumber.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseObject.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseOperand.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseRegexpShorthand.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseReservedSymbol.d.ts +3 -0
- package/dist/mcp-server/src/parser/subParsers/parseString.d.ts +4 -0
- package/dist/mcp-server/src/parser/subParsers/parseSymbol.d.ts +3 -0
- package/dist/mcp-server/src/parser/types.d.ts +128 -0
- package/dist/mcp-server/src/tokenizer/minifyTokenStream.d.ts +4 -0
- package/dist/mcp-server/src/tokenizer/operators.d.ts +12 -0
- package/dist/mcp-server/src/tokenizer/reservedNames.d.ts +65 -0
- package/dist/mcp-server/src/tokenizer/token.d.ts +82 -0
- package/dist/mcp-server/src/tokenizer/tokenize.d.ts +7 -0
- package/dist/mcp-server/src/tokenizer/tokenizers.d.ts +13 -0
- package/dist/mcp-server/src/tooling.d.ts +51 -0
- package/dist/mcp-server/src/transformer/index.d.ts +2 -0
- package/dist/mcp-server/src/typeGuards/annotatedCollections.d.ts +16 -0
- package/dist/mcp-server/src/typeGuards/array.d.ts +9 -0
- package/dist/mcp-server/src/typeGuards/astNode.d.ts +19 -0
- package/dist/mcp-server/src/typeGuards/dvala.d.ts +26 -0
- package/dist/mcp-server/src/typeGuards/dvalaFunction.d.ts +9 -0
- package/dist/mcp-server/src/typeGuards/index.d.ts +7 -0
- package/dist/mcp-server/src/typeGuards/number.d.ts +66 -0
- package/dist/mcp-server/src/typeGuards/string.d.ts +15 -0
- package/dist/mcp-server/src/untokenizer/index.d.ts +2 -0
- package/dist/mcp-server/src/utils/arity.d.ts +10 -0
- package/dist/mcp-server/src/utils/debug/debugTools.d.ts +1 -0
- package/dist/mcp-server/src/utils/debug/getCodeMarker.d.ts +2 -0
- package/dist/mcp-server/src/utils/debug/getSourceCodeInfo.d.ts +2 -0
- package/dist/mcp-server/src/utils/docString/generateDocString.d.ts +4 -0
- package/dist/mcp-server/src/utils/getAssertionError.d.ts +3 -0
- package/dist/mcp-server/src/utils/index.d.ts +14 -0
- package/dist/mcp-server/src/utils/maybePromise.d.ts +54 -0
- package/dist/mcp-server/src/utils/symbols.d.ts +3 -0
- package/dist/modules/grid.esm.js +1 -1
- package/dist/modules/grid.esm.js.map +1 -1
- package/dist/modules/grid.js +1 -1
- package/dist/modules/grid.js.map +1 -1
- package/dist/modules/reference/index.d.ts +136 -136
- package/dist/modules/src/AutoCompleter/AutoCompleter.d.ts +4 -2
- package/dist/modules/src/{Dvala/Cache.d.ts → Cache.d.ts} +1 -1
- package/dist/modules/src/builtin/specialExpressions/functions.d.ts +1 -1
- package/dist/modules/src/createDvala.d.ts +47 -0
- package/dist/modules/src/evaluator/ContextStack.d.ts +10 -2
- package/dist/modules/src/evaluator/effectTypes.d.ts +24 -6
- package/dist/modules/src/evaluator/suspension.d.ts +6 -0
- package/dist/modules/src/evaluator/trampoline.d.ts +15 -1
- package/dist/modules/src/index.d.ts +10 -5
- package/dist/modules/src/parser/subParsers/parseDo.d.ts +1 -1
- package/dist/modules/src/resume.d.ts +41 -0
- package/dist/modules/src/retrigger.d.ts +39 -0
- package/dist/modules/src/tokenizer/token.d.ts +2 -4
- package/dist/modules/src/tokenizer/tokenize.d.ts +1 -2
- package/dist/modules/src/tokenizer/tokenizers.d.ts +2 -3
- package/dist/modules/src/tooling.d.ts +51 -0
- package/dist/reference/index.d.ts +136 -136
- package/dist/src/AutoCompleter/AutoCompleter.d.ts +4 -2
- package/dist/src/Cache.d.ts +16 -0
- package/dist/src/builtin/specialExpressions/functions.d.ts +1 -1
- package/dist/src/createDvala.d.ts +47 -0
- package/dist/src/evaluator/ContextStack.d.ts +10 -2
- package/dist/src/evaluator/effectTypes.d.ts +24 -6
- package/dist/src/evaluator/suspension.d.ts +6 -0
- package/dist/src/evaluator/trampoline.d.ts +15 -1
- package/dist/src/index.d.ts +10 -5
- package/dist/src/parser/subParsers/parseDo.d.ts +1 -1
- package/dist/src/resume.d.ts +41 -0
- package/dist/src/retrigger.d.ts +39 -0
- package/dist/src/tokenizer/token.d.ts +2 -4
- package/dist/src/tokenizer/tokenize.d.ts +1 -2
- package/dist/src/tokenizer/tokenizers.d.ts +2 -3
- package/dist/src/tooling.d.ts +51 -0
- package/dist/testFramework.esm.js +1 -1
- package/dist/testFramework.esm.js.map +1 -1
- package/dist/testFramework.js +1 -1
- package/dist/testFramework.js.map +1 -1
- package/package.json +17 -6
- package/dist/cli/src/Dvala/Dvala.d.ts +0 -63
- package/dist/modules/src/Dvala/Dvala.d.ts +0 -63
- package/dist/modules/src/effects.d.ts +0 -110
- package/dist/src/Dvala/Dvala.d.ts +0 -63
- package/dist/src/effects.d.ts +0 -110
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@mojir/dvala",
|
|
3
|
-
"version": "0.0.
|
|
3
|
+
"version": "0.0.10",
|
|
4
4
|
"description": "dvala",
|
|
5
5
|
"author": "Albert Mojir",
|
|
6
6
|
"license": "MIT",
|
|
@@ -111,7 +111,8 @@
|
|
|
111
111
|
"iife": "dist/dvala.iife.js",
|
|
112
112
|
"types": "dist/src/index.d.ts",
|
|
113
113
|
"bin": {
|
|
114
|
-
"dvala": "dist/cli/cli.js"
|
|
114
|
+
"dvala": "dist/cli/cli.js",
|
|
115
|
+
"dvala-mcp": "dist/mcp-server/server.js"
|
|
115
116
|
},
|
|
116
117
|
"files": [
|
|
117
118
|
"dist"
|
|
@@ -121,20 +122,27 @@
|
|
|
121
122
|
"vitest": "vitest",
|
|
122
123
|
"lint": "eslint . --fix",
|
|
123
124
|
"lint:no-fix": "eslint .",
|
|
124
|
-
"typecheck": "tsc -p ./tsconfig.compile.json --noEmit",
|
|
125
|
-
"check": "npm run lint && npm run typecheck && npm run test && npm run build",
|
|
125
|
+
"typecheck": "tsc -p ./tsconfig.compile.json --noEmit && tsc -p vscode-dvala/tsconfig.json --noEmit",
|
|
126
|
+
"check": "npm install && npm run lint && npm run typecheck && npm run test && npm run build",
|
|
126
127
|
"check:no-fix": "npm run lint:no-fix && npm run typecheck && npm run test",
|
|
127
128
|
"clean": "npm run clean-dvala && npm run clean-playground",
|
|
128
129
|
"clean-dvala": "rm -rf dist build",
|
|
129
130
|
"clean-playground": "rm -rf playground-builder/build playground-www/build",
|
|
130
|
-
"build": "npm run build-dvala && npm run build-cli && npm run build-playground",
|
|
131
|
+
"build": "npm run build-dvala && npm run build-cli && npm run build-mcp && npm run build-playground && npm run build-vscode-ext",
|
|
132
|
+
"build-vscode-ext": "node vscode-dvala/build.mjs",
|
|
131
133
|
"build-dvala": "npm run clean-dvala && rollup -c",
|
|
132
134
|
"build-playground": "npm run clean-playground && rollup -c rollup.config.playground-builder.js && rollup -c rollup.config.playground-www.js && node ./playground-builder/build/buildPlaygroundSite.js",
|
|
133
135
|
"build-cli": "rollup -c rollup.config.cli.js",
|
|
136
|
+
"build-mcp": "rollup -c rollup.config.mcp-server.js",
|
|
134
137
|
"dvala": "node ./dist/cli/cli.js",
|
|
135
138
|
"dev": "npx serve docs -p 9901",
|
|
136
139
|
"test:e2e": "npx playwright test",
|
|
137
|
-
"lcov": "open-cli ./coverage/index.html"
|
|
140
|
+
"lcov": "open-cli ./coverage/index.html",
|
|
141
|
+
"mcp:inspect": "npx @modelcontextprotocol/inspector node ./dist/mcp-server/server.js"
|
|
142
|
+
},
|
|
143
|
+
"dependencies": {
|
|
144
|
+
"@modelcontextprotocol/sdk": "^1.27.1",
|
|
145
|
+
"zod": "^4.3.6"
|
|
138
146
|
},
|
|
139
147
|
"devDependencies": {
|
|
140
148
|
"@antfu/eslint-config": "2.21.1",
|
|
@@ -145,7 +153,10 @@
|
|
|
145
153
|
"@rollup/plugin-terser": "^0.4.4",
|
|
146
154
|
"@rollup/plugin-typescript": "11.1.6",
|
|
147
155
|
"@types/node": "22.7.6",
|
|
156
|
+
"@types/vscode": "^1.75.0",
|
|
148
157
|
"@vitest/coverage-v8": "1.6.0",
|
|
158
|
+
"@vscode/vsce": "^3.0.0",
|
|
159
|
+
"esbuild": "^0.25.0",
|
|
149
160
|
"open-cli": "8.0.0",
|
|
150
161
|
"rollup": "4.18.0",
|
|
151
162
|
"serve": "^14.2.4",
|
|
@@ -1,63 +0,0 @@
|
|
|
1
|
-
import type { Context } from '../evaluator/interface';
|
|
2
|
-
import type { Any } from '../interface';
|
|
3
|
-
import type { Ast, DvalaFunction } from '../parser/types';
|
|
4
|
-
import type { TokenStream } from '../tokenizer/tokenize';
|
|
5
|
-
import { AutoCompleter } from '../AutoCompleter/AutoCompleter';
|
|
6
|
-
import type { DvalaModule } from '../builtin/modules/interface';
|
|
7
|
-
import type { DvalaBundle } from '../bundler/interface';
|
|
8
|
-
import type { MaybePromise } from '../utils/maybePromise';
|
|
9
|
-
import type { Handlers } from '../evaluator/effectTypes';
|
|
10
|
-
import { Cache } from './Cache';
|
|
11
|
-
export interface DvalaRuntimeInfo {
|
|
12
|
-
astCache: Cache | null;
|
|
13
|
-
astCacheSize: number | null;
|
|
14
|
-
debug: boolean;
|
|
15
|
-
}
|
|
16
|
-
export interface ContextParams {
|
|
17
|
-
globalContext?: Context;
|
|
18
|
-
contexts?: Context[];
|
|
19
|
-
bindings?: Record<string, unknown>;
|
|
20
|
-
handlers?: Handlers;
|
|
21
|
-
globalModuleScope?: boolean;
|
|
22
|
-
}
|
|
23
|
-
export interface MinifyParams {
|
|
24
|
-
minify?: boolean;
|
|
25
|
-
}
|
|
26
|
-
export interface FilePathParams {
|
|
27
|
-
filePath?: string;
|
|
28
|
-
}
|
|
29
|
-
export interface PureParams {
|
|
30
|
-
pure?: boolean;
|
|
31
|
-
}
|
|
32
|
-
interface DvalaConfig {
|
|
33
|
-
initialCache?: Record<string, Ast>;
|
|
34
|
-
astCacheSize?: number | null;
|
|
35
|
-
debug?: boolean;
|
|
36
|
-
modules?: DvalaModule[];
|
|
37
|
-
}
|
|
38
|
-
export declare class Dvala {
|
|
39
|
-
private astCache;
|
|
40
|
-
private astCacheSize;
|
|
41
|
-
private debug;
|
|
42
|
-
private modules;
|
|
43
|
-
constructor(config?: DvalaConfig);
|
|
44
|
-
getRuntimeInfo(): DvalaRuntimeInfo;
|
|
45
|
-
readonly async: {
|
|
46
|
-
run: (programOrBundle: string | DvalaBundle, params?: ContextParams & FilePathParams & PureParams) => Promise<unknown>;
|
|
47
|
-
apply: (fn: DvalaFunction, fnParams: unknown[], params?: ContextParams & PureParams) => Promise<unknown>;
|
|
48
|
-
};
|
|
49
|
-
run(programOrBundle: string | DvalaBundle, params?: ContextParams & FilePathParams & PureParams): unknown;
|
|
50
|
-
private runBundle;
|
|
51
|
-
getUndefinedSymbols(programOrAst: string | Ast, params?: ContextParams): Set<string>;
|
|
52
|
-
tokenize(program: string, tokenizeParams?: FilePathParams & MinifyParams): TokenStream;
|
|
53
|
-
parse(tokenStream: TokenStream): Ast;
|
|
54
|
-
private evaluate;
|
|
55
|
-
private evaluateAsync;
|
|
56
|
-
transformSymbols(tokenStream: TokenStream, transformer: (symbol: string) => string): TokenStream;
|
|
57
|
-
untokenize(tokenStream: TokenStream): string;
|
|
58
|
-
apply(fn: DvalaFunction, fnParams: unknown[], params?: ContextParams & PureParams): MaybePromise<Any>;
|
|
59
|
-
private generateApplyFunctionCall;
|
|
60
|
-
private generateAst;
|
|
61
|
-
getAutoCompleter(program: string, position: number, params?: ContextParams): AutoCompleter;
|
|
62
|
-
}
|
|
63
|
-
export {};
|
|
@@ -1,63 +0,0 @@
|
|
|
1
|
-
import type { Context } from '../evaluator/interface';
|
|
2
|
-
import type { Any } from '../interface';
|
|
3
|
-
import type { Ast, DvalaFunction } from '../parser/types';
|
|
4
|
-
import type { TokenStream } from '../tokenizer/tokenize';
|
|
5
|
-
import { AutoCompleter } from '../AutoCompleter/AutoCompleter';
|
|
6
|
-
import type { DvalaModule } from '../builtin/modules/interface';
|
|
7
|
-
import type { DvalaBundle } from '../bundler/interface';
|
|
8
|
-
import type { MaybePromise } from '../utils/maybePromise';
|
|
9
|
-
import type { Handlers } from '../evaluator/effectTypes';
|
|
10
|
-
import { Cache } from './Cache';
|
|
11
|
-
export interface DvalaRuntimeInfo {
|
|
12
|
-
astCache: Cache | null;
|
|
13
|
-
astCacheSize: number | null;
|
|
14
|
-
debug: boolean;
|
|
15
|
-
}
|
|
16
|
-
export interface ContextParams {
|
|
17
|
-
globalContext?: Context;
|
|
18
|
-
contexts?: Context[];
|
|
19
|
-
bindings?: Record<string, unknown>;
|
|
20
|
-
handlers?: Handlers;
|
|
21
|
-
globalModuleScope?: boolean;
|
|
22
|
-
}
|
|
23
|
-
export interface MinifyParams {
|
|
24
|
-
minify?: boolean;
|
|
25
|
-
}
|
|
26
|
-
export interface FilePathParams {
|
|
27
|
-
filePath?: string;
|
|
28
|
-
}
|
|
29
|
-
export interface PureParams {
|
|
30
|
-
pure?: boolean;
|
|
31
|
-
}
|
|
32
|
-
interface DvalaConfig {
|
|
33
|
-
initialCache?: Record<string, Ast>;
|
|
34
|
-
astCacheSize?: number | null;
|
|
35
|
-
debug?: boolean;
|
|
36
|
-
modules?: DvalaModule[];
|
|
37
|
-
}
|
|
38
|
-
export declare class Dvala {
|
|
39
|
-
private astCache;
|
|
40
|
-
private astCacheSize;
|
|
41
|
-
private debug;
|
|
42
|
-
private modules;
|
|
43
|
-
constructor(config?: DvalaConfig);
|
|
44
|
-
getRuntimeInfo(): DvalaRuntimeInfo;
|
|
45
|
-
readonly async: {
|
|
46
|
-
run: (programOrBundle: string | DvalaBundle, params?: ContextParams & FilePathParams & PureParams) => Promise<unknown>;
|
|
47
|
-
apply: (fn: DvalaFunction, fnParams: unknown[], params?: ContextParams & PureParams) => Promise<unknown>;
|
|
48
|
-
};
|
|
49
|
-
run(programOrBundle: string | DvalaBundle, params?: ContextParams & FilePathParams & PureParams): unknown;
|
|
50
|
-
private runBundle;
|
|
51
|
-
getUndefinedSymbols(programOrAst: string | Ast, params?: ContextParams): Set<string>;
|
|
52
|
-
tokenize(program: string, tokenizeParams?: FilePathParams & MinifyParams): TokenStream;
|
|
53
|
-
parse(tokenStream: TokenStream): Ast;
|
|
54
|
-
private evaluate;
|
|
55
|
-
private evaluateAsync;
|
|
56
|
-
transformSymbols(tokenStream: TokenStream, transformer: (symbol: string) => string): TokenStream;
|
|
57
|
-
untokenize(tokenStream: TokenStream): string;
|
|
58
|
-
apply(fn: DvalaFunction, fnParams: unknown[], params?: ContextParams & PureParams): MaybePromise<Any>;
|
|
59
|
-
private generateApplyFunctionCall;
|
|
60
|
-
private generateAst;
|
|
61
|
-
getAutoCompleter(program: string, position: number, params?: ContextParams): AutoCompleter;
|
|
62
|
-
}
|
|
63
|
-
export {};
|
|
@@ -1,110 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Algebraic effects — host-facing API.
|
|
3
|
-
*
|
|
4
|
-
* Top-level standalone functions for running Dvala programs with effect handlers.
|
|
5
|
-
*
|
|
6
|
-
* Three levels of use:
|
|
7
|
-
* 1. `runSync(source, options?)` — pure computation, sync JS functions in bindings.
|
|
8
|
-
* 2. `run(source, options?)` — async effects with handlers, always completes or suspends.
|
|
9
|
-
* 3. `resume(snapshot, value, options?)` — resume a suspended continuation.
|
|
10
|
-
*
|
|
11
|
-
* Effect handlers are JavaScript functions that receive an `EffectContext` and must
|
|
12
|
-
* call exactly one of `resume(value)`, `suspend(meta?)`, `fail(msg?)`, or `next()`:
|
|
13
|
-
*
|
|
14
|
-
* ```typescript
|
|
15
|
-
* handlers: {
|
|
16
|
-
* 'llm.complete': async ({ args, signal, resume }) => {
|
|
17
|
-
* resume(await callLLM(args[0], signal))
|
|
18
|
-
* },
|
|
19
|
-
* 'dvala.*': async ({ effectName, args, next }) => {
|
|
20
|
-
* console.log(`[${effectName}]`, ...args)
|
|
21
|
-
* next() // pass to next matching handler
|
|
22
|
-
* }
|
|
23
|
-
* }
|
|
24
|
-
* ```
|
|
25
|
-
*/
|
|
26
|
-
import type { Any } from './interface';
|
|
27
|
-
import type { DvalaModule } from './builtin/modules/interface';
|
|
28
|
-
import type { Handlers, RunResult, Snapshot } from './evaluator/effectTypes';
|
|
29
|
-
export type { EffectContext, EffectHandler, Snapshot } from './evaluator/effectTypes';
|
|
30
|
-
export { SuspensionSignal, isSuspensionSignal } from './evaluator/effectTypes';
|
|
31
|
-
export type { Handlers, RunResult } from './evaluator/effectTypes';
|
|
32
|
-
/**
|
|
33
|
-
* Options for `run()` — async execution with effect handlers.
|
|
34
|
-
* `bindings` are plain values only (no JS functions).
|
|
35
|
-
* All host interaction goes through `handlers`.
|
|
36
|
-
*/
|
|
37
|
-
export interface RunOptions {
|
|
38
|
-
bindings?: Record<string, Any>;
|
|
39
|
-
handlers?: Handlers;
|
|
40
|
-
modules?: DvalaModule[];
|
|
41
|
-
maxSnapshots?: number;
|
|
42
|
-
}
|
|
43
|
-
/**
|
|
44
|
-
* Options for `runSync()` — synchronous pure computation.
|
|
45
|
-
*/
|
|
46
|
-
export interface RunSyncOptions {
|
|
47
|
-
bindings?: Record<string, unknown>;
|
|
48
|
-
modules?: DvalaModule[];
|
|
49
|
-
}
|
|
50
|
-
/**
|
|
51
|
-
* Options for `resume()` — resume a suspended continuation.
|
|
52
|
-
* `bindings` are plain values only (no JS functions).
|
|
53
|
-
* All host interaction goes through `handlers`.
|
|
54
|
-
* `modules` must be provided again (they are not in the blob).
|
|
55
|
-
*/
|
|
56
|
-
export interface ResumeOptions {
|
|
57
|
-
bindings?: Record<string, Any>;
|
|
58
|
-
handlers?: Handlers;
|
|
59
|
-
modules?: DvalaModule[];
|
|
60
|
-
maxSnapshots?: number;
|
|
61
|
-
}
|
|
62
|
-
/**
|
|
63
|
-
* Level 1: Pure synchronous computation.
|
|
64
|
-
*
|
|
65
|
-
* Throws if an async operation or effect is encountered.
|
|
66
|
-
*
|
|
67
|
-
* ```typescript
|
|
68
|
-
* const value = runSync('[1, 2, 3] |> map(_, -> $ * $)')
|
|
69
|
-
* ```
|
|
70
|
-
*/
|
|
71
|
-
export declare function runSync(source: string, options?: RunSyncOptions): Any;
|
|
72
|
-
/**
|
|
73
|
-
* Level 2 & 3: Async execution with effect handler support.
|
|
74
|
-
*
|
|
75
|
-
* `bindings` are plain values only (no JS functions).
|
|
76
|
-
* All host interaction goes through `handlers`.
|
|
77
|
-
* Always resolves — never rejects. Errors are in `RunResult`.
|
|
78
|
-
*
|
|
79
|
-
* ```typescript
|
|
80
|
-
* const result = await run(source, {
|
|
81
|
-
* handlers: {
|
|
82
|
-
* 'llm.complete': async ({ args, resume }) => {
|
|
83
|
-
* resume(await callLLM(args[0]))
|
|
84
|
-
* }
|
|
85
|
-
* }
|
|
86
|
-
* })
|
|
87
|
-
* ```
|
|
88
|
-
*/
|
|
89
|
-
export declare function run(source: string, options?: RunOptions): Promise<RunResult>;
|
|
90
|
-
/**
|
|
91
|
-
* Level 3: Resume a suspended continuation.
|
|
92
|
-
*
|
|
93
|
-
* Takes a `Snapshot` from a previous `RunResult` of type `'suspended'`, a
|
|
94
|
-
* resume value, and optional handlers/bindings. Re-enters the trampoline at
|
|
95
|
-
* the point of suspension with the provided value.
|
|
96
|
-
*
|
|
97
|
-
* `bindings` are plain values only (no JS functions). They are re-injected
|
|
98
|
-
* into the deserialized ContextStacks so that host-bound values remain
|
|
99
|
-
* accessible after resume. `modules` must be provided again if the Dvala
|
|
100
|
-
* program uses `import`.
|
|
101
|
-
*
|
|
102
|
-
* Always resolves — never rejects. May return `completed`, `suspended`
|
|
103
|
-
* (if another suspend is hit), or `error`.
|
|
104
|
-
*
|
|
105
|
-
* ```typescript
|
|
106
|
-
* const { snapshot } = suspendedResult
|
|
107
|
-
* const next = await resume(snapshot, humanDecision, { handlers })
|
|
108
|
-
* ```
|
|
109
|
-
*/
|
|
110
|
-
export declare function resume(snapshot: Snapshot, value: Any, options?: ResumeOptions): Promise<RunResult>;
|
|
@@ -1,63 +0,0 @@
|
|
|
1
|
-
import type { Context } from '../evaluator/interface';
|
|
2
|
-
import type { Any } from '../interface';
|
|
3
|
-
import type { Ast, DvalaFunction } from '../parser/types';
|
|
4
|
-
import type { TokenStream } from '../tokenizer/tokenize';
|
|
5
|
-
import { AutoCompleter } from '../AutoCompleter/AutoCompleter';
|
|
6
|
-
import type { DvalaModule } from '../builtin/modules/interface';
|
|
7
|
-
import type { DvalaBundle } from '../bundler/interface';
|
|
8
|
-
import type { MaybePromise } from '../utils/maybePromise';
|
|
9
|
-
import type { Handlers } from '../evaluator/effectTypes';
|
|
10
|
-
import { Cache } from './Cache';
|
|
11
|
-
export interface DvalaRuntimeInfo {
|
|
12
|
-
astCache: Cache | null;
|
|
13
|
-
astCacheSize: number | null;
|
|
14
|
-
debug: boolean;
|
|
15
|
-
}
|
|
16
|
-
export interface ContextParams {
|
|
17
|
-
globalContext?: Context;
|
|
18
|
-
contexts?: Context[];
|
|
19
|
-
bindings?: Record<string, unknown>;
|
|
20
|
-
handlers?: Handlers;
|
|
21
|
-
globalModuleScope?: boolean;
|
|
22
|
-
}
|
|
23
|
-
export interface MinifyParams {
|
|
24
|
-
minify?: boolean;
|
|
25
|
-
}
|
|
26
|
-
export interface FilePathParams {
|
|
27
|
-
filePath?: string;
|
|
28
|
-
}
|
|
29
|
-
export interface PureParams {
|
|
30
|
-
pure?: boolean;
|
|
31
|
-
}
|
|
32
|
-
interface DvalaConfig {
|
|
33
|
-
initialCache?: Record<string, Ast>;
|
|
34
|
-
astCacheSize?: number | null;
|
|
35
|
-
debug?: boolean;
|
|
36
|
-
modules?: DvalaModule[];
|
|
37
|
-
}
|
|
38
|
-
export declare class Dvala {
|
|
39
|
-
private astCache;
|
|
40
|
-
private astCacheSize;
|
|
41
|
-
private debug;
|
|
42
|
-
private modules;
|
|
43
|
-
constructor(config?: DvalaConfig);
|
|
44
|
-
getRuntimeInfo(): DvalaRuntimeInfo;
|
|
45
|
-
readonly async: {
|
|
46
|
-
run: (programOrBundle: string | DvalaBundle, params?: ContextParams & FilePathParams & PureParams) => Promise<unknown>;
|
|
47
|
-
apply: (fn: DvalaFunction, fnParams: unknown[], params?: ContextParams & PureParams) => Promise<unknown>;
|
|
48
|
-
};
|
|
49
|
-
run(programOrBundle: string | DvalaBundle, params?: ContextParams & FilePathParams & PureParams): unknown;
|
|
50
|
-
private runBundle;
|
|
51
|
-
getUndefinedSymbols(programOrAst: string | Ast, params?: ContextParams): Set<string>;
|
|
52
|
-
tokenize(program: string, tokenizeParams?: FilePathParams & MinifyParams): TokenStream;
|
|
53
|
-
parse(tokenStream: TokenStream): Ast;
|
|
54
|
-
private evaluate;
|
|
55
|
-
private evaluateAsync;
|
|
56
|
-
transformSymbols(tokenStream: TokenStream, transformer: (symbol: string) => string): TokenStream;
|
|
57
|
-
untokenize(tokenStream: TokenStream): string;
|
|
58
|
-
apply(fn: DvalaFunction, fnParams: unknown[], params?: ContextParams & PureParams): MaybePromise<Any>;
|
|
59
|
-
private generateApplyFunctionCall;
|
|
60
|
-
private generateAst;
|
|
61
|
-
getAutoCompleter(program: string, position: number, params?: ContextParams): AutoCompleter;
|
|
62
|
-
}
|
|
63
|
-
export {};
|
package/dist/src/effects.d.ts
DELETED
|
@@ -1,110 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Algebraic effects — host-facing API.
|
|
3
|
-
*
|
|
4
|
-
* Top-level standalone functions for running Dvala programs with effect handlers.
|
|
5
|
-
*
|
|
6
|
-
* Three levels of use:
|
|
7
|
-
* 1. `runSync(source, options?)` — pure computation, sync JS functions in bindings.
|
|
8
|
-
* 2. `run(source, options?)` — async effects with handlers, always completes or suspends.
|
|
9
|
-
* 3. `resume(snapshot, value, options?)` — resume a suspended continuation.
|
|
10
|
-
*
|
|
11
|
-
* Effect handlers are JavaScript functions that receive an `EffectContext` and must
|
|
12
|
-
* call exactly one of `resume(value)`, `suspend(meta?)`, `fail(msg?)`, or `next()`:
|
|
13
|
-
*
|
|
14
|
-
* ```typescript
|
|
15
|
-
* handlers: {
|
|
16
|
-
* 'llm.complete': async ({ args, signal, resume }) => {
|
|
17
|
-
* resume(await callLLM(args[0], signal))
|
|
18
|
-
* },
|
|
19
|
-
* 'dvala.*': async ({ effectName, args, next }) => {
|
|
20
|
-
* console.log(`[${effectName}]`, ...args)
|
|
21
|
-
* next() // pass to next matching handler
|
|
22
|
-
* }
|
|
23
|
-
* }
|
|
24
|
-
* ```
|
|
25
|
-
*/
|
|
26
|
-
import type { Any } from './interface';
|
|
27
|
-
import type { DvalaModule } from './builtin/modules/interface';
|
|
28
|
-
import type { Handlers, RunResult, Snapshot } from './evaluator/effectTypes';
|
|
29
|
-
export type { EffectContext, EffectHandler, Snapshot } from './evaluator/effectTypes';
|
|
30
|
-
export { SuspensionSignal, isSuspensionSignal } from './evaluator/effectTypes';
|
|
31
|
-
export type { Handlers, RunResult } from './evaluator/effectTypes';
|
|
32
|
-
/**
|
|
33
|
-
* Options for `run()` — async execution with effect handlers.
|
|
34
|
-
* `bindings` are plain values only (no JS functions).
|
|
35
|
-
* All host interaction goes through `handlers`.
|
|
36
|
-
*/
|
|
37
|
-
export interface RunOptions {
|
|
38
|
-
bindings?: Record<string, Any>;
|
|
39
|
-
handlers?: Handlers;
|
|
40
|
-
modules?: DvalaModule[];
|
|
41
|
-
maxSnapshots?: number;
|
|
42
|
-
}
|
|
43
|
-
/**
|
|
44
|
-
* Options for `runSync()` — synchronous pure computation.
|
|
45
|
-
*/
|
|
46
|
-
export interface RunSyncOptions {
|
|
47
|
-
bindings?: Record<string, unknown>;
|
|
48
|
-
modules?: DvalaModule[];
|
|
49
|
-
}
|
|
50
|
-
/**
|
|
51
|
-
* Options for `resume()` — resume a suspended continuation.
|
|
52
|
-
* `bindings` are plain values only (no JS functions).
|
|
53
|
-
* All host interaction goes through `handlers`.
|
|
54
|
-
* `modules` must be provided again (they are not in the blob).
|
|
55
|
-
*/
|
|
56
|
-
export interface ResumeOptions {
|
|
57
|
-
bindings?: Record<string, Any>;
|
|
58
|
-
handlers?: Handlers;
|
|
59
|
-
modules?: DvalaModule[];
|
|
60
|
-
maxSnapshots?: number;
|
|
61
|
-
}
|
|
62
|
-
/**
|
|
63
|
-
* Level 1: Pure synchronous computation.
|
|
64
|
-
*
|
|
65
|
-
* Throws if an async operation or effect is encountered.
|
|
66
|
-
*
|
|
67
|
-
* ```typescript
|
|
68
|
-
* const value = runSync('[1, 2, 3] |> map(_, -> $ * $)')
|
|
69
|
-
* ```
|
|
70
|
-
*/
|
|
71
|
-
export declare function runSync(source: string, options?: RunSyncOptions): Any;
|
|
72
|
-
/**
|
|
73
|
-
* Level 2 & 3: Async execution with effect handler support.
|
|
74
|
-
*
|
|
75
|
-
* `bindings` are plain values only (no JS functions).
|
|
76
|
-
* All host interaction goes through `handlers`.
|
|
77
|
-
* Always resolves — never rejects. Errors are in `RunResult`.
|
|
78
|
-
*
|
|
79
|
-
* ```typescript
|
|
80
|
-
* const result = await run(source, {
|
|
81
|
-
* handlers: {
|
|
82
|
-
* 'llm.complete': async ({ args, resume }) => {
|
|
83
|
-
* resume(await callLLM(args[0]))
|
|
84
|
-
* }
|
|
85
|
-
* }
|
|
86
|
-
* })
|
|
87
|
-
* ```
|
|
88
|
-
*/
|
|
89
|
-
export declare function run(source: string, options?: RunOptions): Promise<RunResult>;
|
|
90
|
-
/**
|
|
91
|
-
* Level 3: Resume a suspended continuation.
|
|
92
|
-
*
|
|
93
|
-
* Takes a `Snapshot` from a previous `RunResult` of type `'suspended'`, a
|
|
94
|
-
* resume value, and optional handlers/bindings. Re-enters the trampoline at
|
|
95
|
-
* the point of suspension with the provided value.
|
|
96
|
-
*
|
|
97
|
-
* `bindings` are plain values only (no JS functions). They are re-injected
|
|
98
|
-
* into the deserialized ContextStacks so that host-bound values remain
|
|
99
|
-
* accessible after resume. `modules` must be provided again if the Dvala
|
|
100
|
-
* program uses `import`.
|
|
101
|
-
*
|
|
102
|
-
* Always resolves — never rejects. May return `completed`, `suspended`
|
|
103
|
-
* (if another suspend is hit), or `error`.
|
|
104
|
-
*
|
|
105
|
-
* ```typescript
|
|
106
|
-
* const { snapshot } = suspendedResult
|
|
107
|
-
* const next = await resume(snapshot, humanDecision, { handlers })
|
|
108
|
-
* ```
|
|
109
|
-
*/
|
|
110
|
-
export declare function resume(snapshot: Snapshot, value: Any, options?: ResumeOptions): Promise<RunResult>;
|