A
arktype•2mo ago
Micha

How to create an arktype generic from a generic class<>?

My expectation: 
const page = type.instanceOf(Page);
const pageWithType = page(type("string"))
const page = type.instanceOf(Page);
const pageWithType = page(type("string"))
but page is already a final type after instance of: const page: Type<Page<QueryValue>, {}> Page: 
(alias) class Page<T extends QueryValue>
import Page
A materialized view of a Set.

@see — https://docs.fauna.com/fauna/current/reference/fql_reference/types#set
(alias) class Page<T extends QueryValue>
import Page
A materialized view of a Set.

@see — https://docs.fauna.com/fauna/current/reference/fql_reference/types#set
https://arktype.io/docs/generics
ArkType Docs
Optimized runtime validation for TypeScript syntax
1 Reply
Micha
MichaOP•2mo ago
Alternatively I have created page now manually as an arktype: 
export const page = <T extends QueryValue>(of: type.Any<T>) =>
  type({
    data: [of, "[]"],
    "after?": "string",
  });
export const page = <T extends QueryValue>(of: type.Any<T>) =>
  type({
    data: [of, "[]"],
    "after?": "string",
  });
but then I wonder how I can use it as part of a scope: 
import { page } from from "./system";

const types = scope({
  organization: {
    invitations: page("invitation"), // This is not working as "invitation" is nor more recognized as arktype
    // invitations: page(type("invitation")), // This is not working as type is not more part of scope
    // invitations: ["page(", "invitation", ")"], // This is also not working because it's obviously breaking javascript.
  },
  invitation: {
      email: "string",
  },
}).export();
import { page } from from "./system";

const types = scope({
  organization: {
    invitations: page("invitation"), // This is not working as "invitation" is nor more recognized as arktype
    // invitations: page(type("invitation")), // This is not working as type is not more part of scope
    // invitations: ["page(", "invitation", ")"], // This is also not working because it's obviously breaking javascript.
  },
  invitation: {
      email: "string",
  },
}).export();
Can I solve that somehow with submodules? This is currently a bit over my head 🙈

Did you find this page helpful?