tricu.workspace (5198B)
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 19 # tricu source compiler and shared module/CAS infrastructure 20 module source.ast = lib/source/ast.tri 21 module source.build = lib/source/build.tri 22 module source.bundle = lib/source/bundle.tri 23 module source.compile = lib/source/compile.tri 24 module source.core = lib/source/core.tri 25 module source.equations = lib/source/equations.tri 26 module source.export-cache = lib/source/export-cache.tri 27 module source.lexer = lib/source/lexer.tri 28 module source.lock = lib/source/lock.tri 29 module source.map = lib/source/map.tri 30 module source.module = lib/source/module.tri 31 module source.object = lib/source/object.tri 32 module source.order = lib/source/order.tri 33 module source.parser = lib/source/parser.tri 34 module source.pattern = lib/source/pattern.tri 35 module source.program = lib/source/program.tri 36 module source.resolve = lib/source/resolve.tri 37 module source.stable = lib/source/stable.tri 38 module source.unit = lib/source/unit.tri 39 module source.workspace-build = lib/source/workspace-build.tri 40 41 # Arboricx formats and services 42 module arboricx = lib/arboricx/arboricx.tri 43 module arboricx.common = lib/arboricx/common.tri 44 module arboricx.dispatch = lib/arboricx/dispatch.tri 45 module arboricx.manifest = lib/arboricx/manifest.tri 46 module arboricx.nodes = lib/arboricx/nodes.tri 47 module arboricx.server = lib/arboricx/server.tri 48 49 # SCP parsing, validation and lexical compilation 50 module consumers.base-source = lib/consumer/compiler/base-source.tri 51 module consumers.lexical-worker = lib/consumer/compiler/lexical-worker.tri 52 module consumers.pattern-slots = lib/consumer/compiler/pattern-slots.tri 53 module consumers.source = lib/consumer/compiler/source.tri 54 module consumers.unit-compile = lib/consumer/compiler/unit-compile.tri 55 module consumers.unit-source = lib/consumer/compiler/unit-source.tri 56 module consumers.validate = lib/consumer/compiler/validate.tri 57 58 # SCP authored IR, reference execution and runtime adapters 59 module consumers.effect = lib/consumer/runtime/effect.tri 60 module consumers.effect-compose = lib/consumer/runtime/effect-compose.tri 61 module consumers.file-effects = lib/consumer/runtime/file-effects.tri 62 module consumers.copy-bytes = lib/consumer/effects/copy-bytes.tri 63 module consumers.effect-packages = lib/consumer/effects/packages.tri 64 module consumers.file = lib/consumer/runtime/file.tri 65 module consumers.linked-reference = lib/consumer/runtime/linked-reference.tri 66 module consumers.structural = lib/consumer/runtime/structural.tri 67 68 # SCP project phases and publication 69 module consumers.build-driver = lib/consumer/build/build-driver.tri 70 module consumers.command = lib/consumer/build/command.tri 71 module consumers.configure = lib/consumer/build/configure.tri 72 module consumers.unit-build = lib/consumer/build/unit-build.tri 73 74 # SCP formatting and single-source tools 75 module consumers.format = lib/consumer/tools/format.tri 76 module consumers.source-worker = lib/consumer/tools/source-worker.tri 77 78 # Registry-specific adapters 79 module consumers.registry-base = lib/consumer/registry/registry-base.tri 80 module consumers.registry-path = lib/consumer/registry/registry-path.tri 81 module consumers.registry-source = lib/consumer/registry/registry-source.tri 82 module consumers.registry = lib/consumer/registry/registry.tri 83 84 # Text-specific adapters 85 module consumers.text-summary = lib/consumer/text/text-summary.tri 86 87 # Reusable lambda comparison implementations 88 module consumers.comparison.registry-lambda = lib/consumer/comparison/registry-lambda.tri 89 module consumers.comparison.text-summary-lambda = lib/consumer/comparison/text-summary-lambda.tri 90 91 # Research fixtures, alternative lowerings and pinned-source linking 92 module consumers.fizzbuzz = lib/consumer/experiments/fizzbuzz.tri 93 module consumers.layout = lib/consumer/experiments/layout.tri 94 module consumers.link = lib/consumer/experiments/linking/link.tri 95 module consumers.module = lib/consumer/experiments/linking/module.tri 96 module consumers.lowerings.cps-worker = lib/consumer/experiments/lowerings/cps-worker.tri 97 module consumers.lowerings.project = lib/consumer/experiments/lowerings/project.tri 98 module consumers.lowerings.specialize = lib/consumer/experiments/lowerings/specialize.tri 99 module consumers.lowerings.success = lib/consumer/experiments/lowerings/success.tri 100 module consumers.lowerings.tail-fold = lib/consumer/experiments/lowerings/tail-fold.tri 101 102 # Application workspace declarations 103 module demos.consumer-configuration-workspace = demos/consumers/configurations/configuration-workspace.tri 104 module demos.consumer-fizzbuzz-workspace = demos/consumers/fizzbuzz/fizzbuzz-workspace.tri 105 module demos.consumer-prefix-workspace = demos/consumers/prefix-lines/prefix-workspace.tri