preludes / canonical-runtime-protocol.lisp

canonical-runtime-protocol

CanonicalRuntime protocol. Hosted CanonicalRuntime descriptors.

Protocol13 types · 1 function · 73 linesSource

From the source

Purpose: Hosted canonical runtime wire contracts. Requires: Core types; generation combines the domain and other protocol contracts. Used by: Canonical runtime protocol and schema generation.

Functions 1

Ordinary typed definitions that programs and elaboration hooks can call.

protocolcanonical-runtime-protocol.lisp:64

(define protocol …)

Types 13

Payload contracts and IR shapes, shown as authored.

Spancanonical-runtime-protocol.lisp:7

(type Span {:sourceId String :startOffset Float :endOffset Float})

CanonicalExprcanonical-runtime-protocol.lisp:9

(type CanonicalExpr
  (Union Unit Bool Float String (List CanonicalExpr) (Map String CanonicalExpr)))

CanonicalRuntimeExprcanonical-runtime-protocol.lisp:12

(type CanonicalRuntimeExpr {:kind "raw-expr" :expr CanonicalExpr})

CanonicalRuntimeActionInputcanonical-runtime-protocol.lisp:14

(type CanonicalRuntimeActionInput
  {:name String :entityRef CanonicalDeclarationRef})

CanonicalRuntimeFieldValuecanonical-runtime-protocol.lisp:17

(type CanonicalRuntimeFieldValue {:field String :value CanonicalExpr})

CanonicalRuntimeEmitStepcanonical-runtime-protocol.lisp:19

(type CanonicalRuntimeEmitStep {:kind "emit" :event CanonicalExpr})

CanonicalRuntimeSetFieldStepcanonical-runtime-protocol.lisp:21

(type CanonicalRuntimeSetFieldStep
  {:kind "set-field" :targetBinding String :field String :value CanonicalExpr})

CanonicalRuntimeCreateEntityStepcanonical-runtime-protocol.lisp:24

(type CanonicalRuntimeCreateEntityStep
  {
    :kind "create-entity"
    :entityName String
    :assignments (List CanonicalRuntimeFieldValue)})

CanonicalRuntimeLinkRecordsStepcanonical-runtime-protocol.lisp:30

(type CanonicalRuntimeLinkRecordsStep
  {
    :kind "link-records"
    :sourceBinding String
    :targetBinding String
    :relation String})

CanonicalRuntimeCallActionStepcanonical-runtime-protocol.lisp:37

(type CanonicalRuntimeCallActionStep
  {
    :kind "call-action"
    :actionRef CanonicalDeclarationRef
    :entityArguments (List String)
    :arguments (List CanonicalRuntimeFieldValue)})

CanonicalRuntimeEvalStepcanonical-runtime-protocol.lisp:44

(type CanonicalRuntimeEvalStep {:kind "eval" :expr CanonicalRuntimeExpr})

CanonicalRuntimeActionStepcanonical-runtime-protocol.lisp:46

(type CanonicalRuntimeActionStep
  (Union
    CanonicalRuntimeEmitStep
    CanonicalRuntimeSetFieldStep
    CanonicalRuntimeCreateEntityStep
    CanonicalRuntimeLinkRecordsStep
    CanonicalRuntimeCallActionStep
    CanonicalRuntimeEvalStep))

CanonicalRuntimeActioncanonical-runtime-protocol.lisp:55

(type CanonicalRuntimeAction
  {
    :kind "RuntimeAction"
    :name String
    :inputs (List CanonicalRuntimeActionInput)
    :declaredReturnType CanonicalExpr
    :steps (List CanonicalRuntimeActionStep)
    :loc (Option Span)})