`tierkreis.idl.spec`¶

Combinators for the Tierkreis worker IDL.

We use https://typespec.io/docs/language-basics/models/ https://typespec.io/docs/language-basics/interfaces/ as well as an extra decorator @portmapping.

Module Contents¶

Data¶

`type_decl`
`model`
`method`
`interface`
`spec`

API¶

tierkreis.idl.spec.type_decl = 'map(...)'¶

tierkreis.idl.spec.model = 'map(...)'¶

tierkreis.idl.spec.method = 'map(...)'¶

tierkreis.idl.spec.interface = 'map(...)'¶

tierkreis.idl.spec.spec = None¶