Generate Typescript types from schema

[karlismelderis-mckinsey]

Has anyone attempted to generate TypeScript types from Spice schema?

schema: |-
  definition acme/user {}

  definition acme/system {
    relation admin: acme/user
    relation support: acme/user

    permission root_access = admin
    permission support_access = support
    permission create_something = admin
  }

would produce:

const acmeSystemRelations = {
  ADMIN: admin
  SUPPORT: support
} as const

type AcmeSystemRelations = typeof acmeSystemRelations[keyof typeof acmeSystemRelations]

const acmeSystemPermissions = {
  ROOT_ACCESS: 'root_access',
  SUPPORT_ACCESS: 'support_access',
  CREATE_SOMETHING: 'create_something',
} as const

type AcmeSystemPermissions = typeof acmeSystemPermissions[keyof typeof acmeSystemPermissions]

[josephschorr]

We actually have a prototype of a well-generated client for TypeScript, but we're still unsure of the best means of generating the TypeScript code necessary

[karlismelderis-mckinsey]

so I'm bit to early and have to wait 🫡
How soon do you feel anything will be available for trial and testing?

[vroldanbet]

There are currently no plans for this. Some community members have stepped up and created generator for other languages, like https://github.com/oviva-ag/spicegen

[Sefriol]

This could be done to almost any language with relatively little effort by using SpiceDB Reflect Schema API. However it does not have parsing information about he permissions themselves. Only relations.

This way you could just use dockerized spicedb instance, load the schema, use reflect API to generate necessary target language code.

For C# I was able to do for example:

RelationshipUpdateBuilder.Application().Admin().Group().AddRelationship();

Where Applications and Group are schema Definitions and Admin is a relation. You can do this with Permissions too, but unfortunately you cannot figure out potential Subject IDs and Types with it.

For example I could generate a function like this to make client code more nice:

Definitions.Application().Writer().CheckPermission("subjectTypeUser", "subjectId")
Definitions.Application().Writer().LookUpSubjects("subjectTypeUser", "subjectId")
Definitions.Application().Writer().LookUpResrouces("subjectTypeGroup", "subjectId")

But I kinda want something like this:

Definitions.Application().Writer().User().CheckPermission("subjectId")
Definitions.Application().Writer().Group().CheckPermission("subjectId")
Definitions.Application().Writer().User().LookUpSubjects("subjectId")
Definitions.Application().Writer().Group().LookUpResrouces("subjectId")