tricu.workspace (5187B)
1 # tricu workspace module source map 2 # Semantic module aliases are independent of physical library directories. 3 4 # General-purpose Tree Calculus libraries 5 module base = lib/base.tri 6 module binary = lib/binary.tri 7 module bytes = lib/bytes.tri 8 module conversions = lib/conversions.tri 9 module graph = lib/graph.tri 10 module http = lib/http.tri 11 module intensional = lib/intensionalContracts.tri 12 module io = lib/io.tri 13 module lexer = lib/lexer.tri 14 module parser = lib/parser.tri 15 module patterns = lib/patterns.tri 16 module prelude = lib/prelude.tri 17 module socket = lib/socket.tri 18 # tricu source compiler and shared module/CAS infrastructure 19 module source.ast = lib/source/ast.tri 20 module source.build = lib/source/build.tri 21 module source.bundle = lib/source/bundle.tri 22 module source.compile = lib/source/compile.tri 23 module source.core = lib/source/core.tri 24 module source.equations = lib/source/equations.tri 25 module source.export-cache = lib/source/export-cache.tri 26 module source.lexer = lib/source/lexer.tri 27 module source.lock = lib/source/lock.tri 28 module source.map = lib/source/map.tri 29 module source.module = lib/source/module.tri 30 module source.object = lib/source/object.tri 31 module source.order = lib/source/order.tri 32 module source.parser = lib/source/parser.tri 33 module source.pattern = lib/source/pattern.tri 34 module source.program = lib/source/program.tri 35 module source.resolve = lib/source/resolve.tri 36 module source.stable = lib/source/stable.tri 37 module source.unit = lib/source/unit.tri 38 module source.workspace-build = lib/source/workspace-build.tri 39 # Arboricx formats and services 40 module arboricx = lib/arboricx/arboricx.tri 41 module arboricx.common = lib/arboricx/common.tri 42 module arboricx.dispatch = lib/arboricx/dispatch.tri 43 module arboricx.manifest = lib/arboricx/manifest.tri 44 module arboricx.nodes = lib/arboricx/nodes.tri 45 module arboricx.server = lib/arboricx/server.tri 46 # SCP parsing, validation and lexical compilation 47 module consumers.base-source = lib/consumer/compiler/base-source.tri 48 module consumers.lexical-worker = lib/consumer/compiler/lexical-worker.tri 49 module consumers.pattern-slots = lib/consumer/compiler/pattern-slots.tri 50 module consumers.source = lib/consumer/compiler/source.tri 51 module consumers.unit-compile = lib/consumer/compiler/unit-compile.tri 52 module consumers.unit-source = lib/consumer/compiler/unit-source.tri 53 module consumers.validate = lib/consumer/compiler/validate.tri 54 # SCP authored IR, reference execution and runtime adapters 55 module consumers.effect = lib/consumer/runtime/effect.tri 56 module consumers.effect-compose = lib/consumer/runtime/effect-compose.tri 57 module consumers.file-effects = lib/consumer/runtime/file-effects.tri 58 module consumers.copy-bytes = lib/consumer/effects/copy-bytes.tri 59 module consumers.effect-packages = lib/consumer/effects/packages.tri 60 module consumers.file = lib/consumer/runtime/file.tri 61 module consumers.linked-reference = lib/consumer/runtime/linked-reference.tri 62 module consumers.structural = lib/consumer/runtime/structural.tri 63 # SCP project phases and publication 64 module consumers.build-driver = lib/consumer/build/build-driver.tri 65 module consumers.command = lib/consumer/build/command.tri 66 module consumers.configure = lib/consumer/build/configure.tri 67 module consumers.unit-build = lib/consumer/build/unit-build.tri 68 # SCP formatting and single-source tools 69 module consumers.format = lib/consumer/tools/format.tri 70 module consumers.source-worker = lib/consumer/tools/source-worker.tri 71 # Registry-specific adapters 72 module consumers.registry-base = lib/consumer/registry/registry-base.tri 73 module consumers.registry-path = lib/consumer/registry/registry-path.tri 74 module consumers.registry-source = lib/consumer/registry/registry-source.tri 75 module consumers.registry = lib/consumer/registry/registry.tri 76 # Text-specific adapters 77 module consumers.text-summary = lib/consumer/text/text-summary.tri 78 # Reusable lambda comparison implementations 79 module consumers.comparison.registry-lambda = lib/consumer/comparison/registry-lambda.tri 80 module consumers.comparison.text-summary-lambda = lib/consumer/comparison/text-summary-lambda.tri 81 # Research fixtures, alternative lowerings and pinned-source linking 82 module consumers.fizzbuzz = lib/consumer/experiments/fizzbuzz.tri 83 module consumers.layout = lib/consumer/experiments/layout.tri 84 module consumers.link = lib/consumer/experiments/linking/link.tri 85 module consumers.module = lib/consumer/experiments/linking/module.tri 86 module consumers.lowerings.cps-worker = lib/consumer/experiments/lowerings/cps-worker.tri 87 module consumers.lowerings.project = lib/consumer/experiments/lowerings/project.tri 88 module consumers.lowerings.specialize = lib/consumer/experiments/lowerings/specialize.tri 89 module consumers.lowerings.success = lib/consumer/experiments/lowerings/success.tri 90 module consumers.lowerings.tail-fold = lib/consumer/experiments/lowerings/tail-fold.tri 91 # Application workspace declarations 92 module demos.consumer-configuration-workspace = demos/consumers/configurations/configuration-workspace.tri 93 module demos.consumer-fizzbuzz-workspace = demos/consumers/fizzbuzz/fizzbuzz-workspace.tri 94 module demos.consumer-prefix-workspace = demos/consumers/prefix-lines/prefix-workspace.tri