René's URL Explorer Experiment

Title: Elaborator reflection for generating `isXXX` functions for enum types · Issue #172 · rowscript/rowscript · GitHub

Open Graph Title: Elaborator reflection for generating `isXXX` functions for enum types · Issue #172 · rowscript/rowscript

X Title: Elaborator reflection for generating `isXXX` functions for enum types · Issue #172 · rowscript/rowscript

Description: This feature is inspired by @roife. For such enum type: type Foo = [A | B]; It's better that we could have some reflection techniques to generate these functions: function isA<'a>(a: [A | 'a]): boolean; function isB<'a>(a: [B | 'a]): boo...

Open Graph Description: This feature is inspired by @roife. For such enum type: type Foo = [A | B]; It's better that we could have some reflection techniques to generate these functions: function isA<'a>(a: [A | 'a]): boo...

X Description: This feature is inspired by @roife. For such enum type: type Foo = [A | B]; It's better that we could have some reflection techniques to generate these functions: function isA<'a>(a: ...

Opengraph URL: https://github.com/rowscript/rowscript/issues/172

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Elaborator reflection for generating `isXXX` functions for enum types","articleBody":"This feature is inspired by @roife.\r\n\r\nFor such enum type:\r\n\r\n```ts\r\ntype Foo = [A | B];\r\n```\r\n\r\nIt's better that we could have some reflection techniques to generate these functions:\r\n\r\n```ts\r\nfunction isA\u003c'a>(a: [A | 'a]): boolean;\r\nfunction isB\u003c'a>(a: [B | 'a]): boolean;\r\n```","author":{"url":"https://github.com/anqur","@type":"Person","name":"anqur"},"datePublished":"2024-07-07T12:28:33Z","url":"https://github.com/rowscript/rowscript/issues/172"}

Links:

Viewport: width=device-width