Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/grafana/cuetsy

Experimental CUE->TypeScript exporter
https://github.com/grafana/cuetsy

Last synced: 18 days ago
JSON representation

Experimental CUE->TypeScript exporter

Lists

README

        


Cuetsy Logo










Installation
·
Usage

cuetsy

**Converting CUE objects to their TypeScript equivalent** _(highly experimental!)_

- [**CUE**](https://cuelang.org) makes defining and validating canonical data
specification easy
- [**TypeScript**](https://typescript.com) is dominant in the frontend, but
cannot natively benefit from this
- [**CUE types**](https://cuelang.org/docs/tutorials/tour/types/) often have direct
**TypeScript equivalents**, so cuetsy can bridge this gap

### Example

CUETypeScript

```cue
DiceFaces: 1 | 2 | 3 | 4 | 5 | 6 @cuetsy(kind="type")

Animal: {
Name: string
Sound: string
} @cuetsy(kind="interface")

LeggedAnimal: Animal & {
Legs: int
} @cuetsy(kind="interface")

Pets: "Cat" | "Dog" | "Horse" @cuetsy(kind="enum")
```

```typescript
export type DiceFaces = 1 | 2 | 3 | 4 | 5 | 6;
export interface Animal {
Name: string;
Sound: string;
}
export interface LeggedAnimal extends Animal {
Legs: number;
}
export enum Pets {
Cat = "Cat",
Dog = "Dog",
Horse = "Horse",
}
```

### Status

Cuetsy is experimental. The following are supported:

- **Types**
- **[Unions](#union-types)**
- **[Interfaces](#interfaces)**
- **[Enums](#enums)**
- **[Default `const`](#defaults)**

## Installation

Cuetsy can be installed using [Go](https://golang.org) 1.16+

```shell
$ go install github.com/grafana/cuetsy/cmd/cuetsy
```

## Usage

`cuetsy` must be invoked on files as follows:

```shell
$ cuetsy [file.cue]
```

This will create a logically equivalent `[file].ts`

Alternatively, cuetsy can be used as a [library](https://pkg.go.dev/github.com/grafana/cuetsy#GenerateAST) for more customized code generation.

### Union Types

| CUE | TypeScript | `@cuetsy(kind)` |
| -------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------- | --------------------- |
| [Disjunction](https://cuelang.org/docs/tutorials/tour/types/disjunctions/) | [Union Type](https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#union-types) | `type` |

Union types are expressed in CUE and TypeScript nearly the same way, namely a
series of disjunctions (`a | b | c`):

CUETypeScript

```cue
MyUnion: 1 | 2 | 3 | 4 | 5 | 6 @cuetsy(kind="type")
```

```typescript
export type MyUnion = 1 | 2 | 3 | 4 | 5 | 6;
```

### Interfaces

| CUE | TypeScript | `@cuetsy(kind)` |
| ----------------------------------------------------------------- | ------------------------------------------------------------------------------------------ | --------------------- |
| [Struct](https://cuelang.org/docs/tutorials/tour/types/optional/) | [Interface](https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#interfaces) | `interface` |

TypeScript interfaces are expressed as regular structs in CUE.

**Caveats:**

- [Default generation](#Defaults) does not work correctly for optional nested structs. [Issue](https://github.com/grafana/cuetsy/issues/32)

CUETypeScript

```cue
MyInterface: {
Num: number
Text: string
List: [...number]
Truth: bool
} @cuetsy(kind="interface")
```

```typescript
export interface MyInterface {
List: number[];
Num: number;
Text: string;
Truth: boolean;
}
```

#### Inheritance

Interfaces can optionally extend another interface. If a type marked for
export as a `kind="interface"` is unified (whether by `&` or embedding) with
another type marked for export as an interface, it will produce `extend` in output:

CUETypeScript

```cue
AInterface: {
AField: string
} @cuetsy(kind="interface")

ByUnifying: AInterface & {
BField: int
} @cuetsy(kind="interface")

ByEmbedding: {
AInterface
CField: bool
} @cuetsy(kind="interface")
```

```typescript
export interface AInterface {
AField: string;
}

export interface ByUnifying extends AInterface {
BField: number;
}

export interface ByEmbedding extends AInterface {
CField: boolean;
}
```

### Enums

| CUE | TypeScript | `@cuetsy(kind)` |
| --------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------- | --------------------- |
| [Disjunction](https://cuelang.org/docs/tutorials/tour/types/disjunctions/) | [String enums](https://www.typescriptlang.org/docs/handbook/enums.html#string-enums), [Numeric enums](https://www.typescriptlang.org/docs/handbook/enums.html#numeric-enums) | `enum` |

TypeScript's enums are union types, and are a mostly-exact mapping of what can
be expressed with CUE's disjunctions. Disjunctions may contain only string or
numeric values.

For string enums, the member names (keys) of the TypeScript enum are automatically inferred as the
titled camel-case variant of their string value, but may be explicitly specified
using the `memberNames` attribute. For a numeric enum, `memberNames` must be specified.

CUE
TypeScript

```cue
AutoCamel: "foo" | "bar" @cuetsy(kind="enum")
ManualCamel: "foo" | "bar" @cuetsy(kind="enum",memberNames="Foo|Bar")
Arbitrary: "foo" | "bar" @cuetsy(kind="enum",memberNames="Zip|Zap")
Numeric: 0 | 1 | 2 @cuetsy(kind="enum",memberNames="Zero|One|Two")
```

```ts
export enum AutoCamel {
Bar = 'bar',
Foo = 'foo',
}

export enum ManualCamel {
Bar = 'bar',
Foo = 'foo',
}

export enum Arbitrary {
Zap = 'bar',
Zip = 'foo',
}

export enum Numeric {
One = 1,
Two = 2,
Zero = 0,
}
```

### Defaults

| CUE | TypeScript |
| ------------------------------------------------------------------- | --------------------------------------------------------------------------------------------- |
| [Defaults](https://cuelang.org/docs/tutorials/tour/types/defaults/) | [`const`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/const) |

Cuetsy can optionally generate a `const` for each type that holds default
values. For that, mark [CUE Default
Values](https://cuelang.org/docs/tutorials/tour/types/defaults/) to your type
definitions:

CUETypeScript

```cue
MyUnion: 1 | 2 | *3 @cuetsy(kind="type")

MyEnum: "foo" | *"bar" @cuetsy(kind="enum")

MyInterface: {
num: int | *6
txt: string | *"CUE"
enm: MyDisjEnum
} @cuetsy(kind="interface")
```

```typescript
export type MyUnion = 1 | 2 | 3;

export const defaultMyUnion: MyUnion = 3;

export enum MyEnum {
Bar = 'bar',
Foo = 'foo',
}

export const defaultMyEnum: MyEnum = MyEnum.Bar;

export interface MyInterface {
enm: MyDisjEnum;
num: number;
txt: string;
}

export const defaultMyInterface: Partial = {
enm: MyDisjEnum.Bar,
num: 6,
txt: 'CUE',
};
```