preludes / action-protocol.lisp

action-protocol

ActionPlan protocol. Hosted ActionPlan descriptors.

Protocol18 types · 1 function · 84 linesSource

From the source

Purpose: Hosted ActionPlan wire contracts. Requires: Core types; generation shares enum definitions from the ontology stack. Used by: ActionPlan protocol and schema generation.

Functions 1

Ordinary typed definitions that programs and elaboration hooks can call.

protocolaction-protocol.lisp:77

(define protocol …)

Types 18

Payload contracts and IR shapes, shown as authored.

PrimitiveActionFieldTypeaction-protocol.lisp:7

(type PrimitiveActionFieldType {:kind "primitive" :type ActionPrimitiveType})

ActionRefTypeaction-protocol.lisp:9

(type ActionRefType {:kind "ref" :type TypeRef})

ActionRefsTypeaction-protocol.lisp:11

(type ActionRefsType {:kind "refs" :type TypeRef})

ActionEnumTypeaction-protocol.lisp:13

(type ActionEnumType {:kind "enum" :values (List String)})

ActionFieldTypeaction-protocol.lisp:15

(type ActionFieldType
  (Union PrimitiveActionFieldType ActionRefType ActionRefsType ActionEnumType))

ActionFieldValidationaction-protocol.lisp:18

(type ActionFieldValidation
  {
    :min (Option Float)
    :max (Option Float)
    :pattern (Option String)
    :format (Option String)})

ActionInputaction-protocol.lisp:25

(type ActionInput
  {
    :name String
    :type ActionFieldType
    :required (Option Bool)
    :description (Option String)
    :validation (Option ActionFieldValidation)})

ActionSetClauseaction-protocol.lisp:33

(type ActionSetClause {:attr String :value QueryValueExpr})

CreateActionEffectaction-protocol.lisp:35

(type CreateActionEffect
  {:kind "create" :type TypeRef :sets (List ActionSetClause)})

PatchActionEffectaction-protocol.lisp:38

(type PatchActionEffect
  {:kind "patch" :target QueryValueExpr :sets (List ActionSetClause)})

LinkActionEffectaction-protocol.lisp:41

(type LinkActionEffect
  {
    :kind "link"
    :from QueryValueExpr
    :type RelationshipTypeRef
    :to QueryValueExpr
    :properties (Option (List ActionSetClause))})

EmitActionEffectaction-protocol.lisp:49

(type EmitActionEffect
  {:kind "emit" :event String :payload (Option QueryValueExpr)})

ReturnActionEffectaction-protocol.lisp:52

(type ReturnActionEffect {:kind "return" :value QueryValueExpr})

ActionEffectaction-protocol.lisp:54

(type ActionEffect
  (Union
    CreateActionEffect
    PatchActionEffect
    LinkActionEffect
    EmitActionEffect
    ReturnActionEffect))

ActionRequiresPermissionaction-protocol.lisp:62

(type ActionRequiresPermission {:permission String :on (Option QueryValueExpr)})

ActionAuthaction-protocol.lisp:64

(type ActionAuth {:requires (List ActionRequiresPermission)})

ActionPlanaction-protocol.lisp:66

(type ActionPlan
  {
    :v 1
    :name String
    :description (Option String)
    :inputs (List ActionInput)
    :auth (Option ActionAuth)
    :effects (List ActionEffect)})

ActionPrimitiveTypeaction-protocol.lisp:75

(type ActionPrimitiveType (Union "String" "Number" "Boolean" "Datetime" "Json"))