13 replies

Recursive Structs: keeping opaque S.Struct as the type

When dealing with recursive schemas, all the examples from the docs use an explicit annotation using

S.Schema<>

S.Schema<>

. For example:

import { Schema } from "@effect/schema"

interface Category {
  readonly name: string
  readonly subcategories: ReadonlyArray<Category>
}

const Category: Schema.Schema<Category> = Schema.Struct({
  name: Schema.String,
  subcategories: Schema.Array(Schema.suspend(() => Category))
})

import { Schema } from "@effect/schema"

interface Category {
  readonly name: string
  readonly subcategories: ReadonlyArray<Category>
}

const Category: Schema.Schema<Category> = Schema.Struct({
  name: Schema.String,
  subcategories: Schema.Array(Schema.suspend(() => Category))
})

https://github.com/Effect-TS/effect/tree/main/packages/schema#recursive-schemas

This works. But it has the downside that

Category

Category

now no longer has an opaque

S.Struct<>

S.Struct<>

type, and thus we can no longer do

Category.fields

Category.fields

. Is there a way that we can do an explicit annotation while still keeping a type of

S.Struct<>

S.Struct<>

Effect Community•2y ago•

13 replies

mkrause

Recursive Structs: keeping opaque S.Struct as the type

When dealing with recursive schemas, all the examples from the docs use an explicit annotation using

S.Schema<>

S.Schema<>

. For example:

import { Schema } from "@effect/schema"

interface Category {
  readonly name: string
  readonly subcategories: ReadonlyArray<Category>
}

const Category: Schema.Schema<Category> = Schema.Struct({
  name: Schema.String,
  subcategories: Schema.Array(Schema.suspend(() => Category))
})

import { Schema } from "@effect/schema"

interface Category {
  readonly name: string
  readonly subcategories: ReadonlyArray<Category>
}

const Category: Schema.Schema<Category> = Schema.Struct({
  name: Schema.String,
  subcategories: Schema.Array(Schema.suspend(() => Category))
})

https://github.com/Effect-TS/effect/tree/main/packages/schema#recursive-schemas

This works. But it has the downside that

Category

Category

now no longer has an opaque

S.Struct<>

S.Struct<>

type, and thus we can no longer do

Category.fields

Category.fields

. Is there a way that we can do an explicit annotation while still keeping a type of

S.Struct<>

S.Struct<>

Recursive Structs: keeping opaque S.Struct as the type

Similar Threads

Recursive Structs: keeping opaque S.Struct as the type

Similar Threads

Similar Threads

Similar Threads