Gozala · April 11, 2024 18:35
diff --git a/work.clj b/work.clj
 ;; Type definition for the Blob. It has no inputs and two outputs
 ; `digest` and `size`. It is kind of like a rule without a body
 (Blob : { :digest Bytes :size Int })
 (Site : { :url String :headers (Map :key string :value string) })

 ;; ℹ️ Unlabelled parameter can be refereced by `.`
 (Result :error : (:ok . :error .error))

 ;; Composed task is rule that maps input to tasks and maps task outputs
 ;; to the output of the composed task
 (blob/add
  ;; Describes input parameters of the rule mapped to their types
  :blob Blob
  ;; Describes output bindings of the rule mapped to their types
  : (Result {:site Site})
  ;; Describes set of labeled references that are either task invocations
  ;; or queries on the outputs they produce. Labels are only for the humans
  ;; and don't carry into the actual definitions where all references are
  ;; by hash of the labeled reference.
  { :location (/memory/allocate
                ;; binds space paramater to the unlabeled parameter - sub(ject)
                ;; of the invocation
                :space .
                ;; binds blob parameter to the blob parameter of this invocation
                :blob .blob)

    :put (/http/put
            ;; binds url parameter to the `.location.out.ok.url` of the
            ;; location task
            :url location.ok.url
            :headers location.ok.headers
            :body .blob)

    :content (/memory/accept :space . :blob .blob :: put.ok)
    :site content.ok.site
  })
	;; Type definition for the Blob. It has no inputs and two outputs
	; `digest` and `size`. It is kind of like a rule without a body
	(Blob : { :digest Bytes :size Int })
	(Site : { :url String :headers (Map :key string :value string) })

	;; ℹ️ Unlabelled parameter can be refereced by `.`
	(Result :error : (:ok . :error .error))

	;; Composed task is rule that maps input to tasks and maps task outputs
	;; to the output of the composed task
	(blob/add
	;; Describes input parameters of the rule mapped to their types
	:blob Blob
	;; Describes output bindings of the rule mapped to their types
	: (Result {:site Site})
	;; Describes set of labeled references that are either task invocations
	;; or queries on the outputs they produce. Labels are only for the humans
	;; and don't carry into the actual definitions where all references are
	;; by hash of the labeled reference.
	{ :location (/memory/allocate
	;; binds space paramater to the unlabeled parameter - sub(ject)
	;; of the invocation
	:space .
	;; binds blob parameter to the blob parameter of this invocation
	:blob .blob)

	:put (/http/put
	;; binds url parameter to the `.location.out.ok.url` of the
	;; location task
	:url location.ok.url
	:headers location.ok.headers
	:body .blob)

	:content (/memory/accept :space . :blob .blob :: put.ok)
	:site content.ok.site
	})