7 replies

### Proposal for Enhanced `Data.taggedEnum` Matching with Custom Discriminators and Catch-All Sup...

I have a recommendation:

I like the

Data.taggedEnum

Data.taggedEnum

$match

$match

function signature where it can take the data first or last. I'd like a way to construct this same function but using a discriminator other than

_tag

_tag

:

E.g

// change _tag to intent
type Choice = Data.TaggedEnum<"intent", {
  One: {},
  Two: {},
  Three: {}
}>
const Choice = Data.taggedEnum<Choice>()

const input: Choice = { intent: "One" }

return Choice.$match(input, {
  One: () => 1,
  Two: () => 2,
  Three: () => 3,
})

// change _tag to intent
type Choice = Data.TaggedEnum<"intent", {
  One: {},
  Two: {},
  Three: {}
}>
const Choice = Data.taggedEnum<Choice>()

const input: Choice = { intent: "One" }

return Choice.$match(input, {
  One: () => 1,
  Two: () => 2,
  Three: () => 3,
})

It would also be great to add a catch all to this api. E.g.

return Choice.$match(input, {
  One: () => 1,
  _: () => 0
})

return Choice.$match(input, {
  One: () => 1,
  _: () => 0
})

I know all can be done with the

Match

Match

module but I and perhaps other prefer this API more and I think it would be a great addition. Thoughts?

Effect Community•2y ago•

7 replies

Stephen Bluck

### Proposal for Enhanced `Data.taggedEnum` Matching with Custom Discriminators and Catch-All Sup...

I have a recommendation:

I like the

Data.taggedEnum

Data.taggedEnum

$match

$match

function signature where it can take the data first or last. I'd like a way to construct this same function but using a discriminator other than

_tag

_tag

:

E.g

// change _tag to intent
type Choice = Data.TaggedEnum<"intent", {
  One: {},
  Two: {},
  Three: {}
}>
const Choice = Data.taggedEnum<Choice>()

const input: Choice = { intent: "One" }

return Choice.$match(input, {
  One: () => 1,
  Two: () => 2,
  Three: () => 3,
})

// change _tag to intent
type Choice = Data.TaggedEnum<"intent", {
  One: {},
  Two: {},
  Three: {}
}>
const Choice = Data.taggedEnum<Choice>()

const input: Choice = { intent: "One" }

return Choice.$match(input, {
  One: () => 1,
  Two: () => 2,
  Three: () => 3,
})

It would also be great to add a catch all to this api. E.g.

return Choice.$match(input, {
  One: () => 1,
  _: () => 0
})

return Choice.$match(input, {
  One: () => 1,
  _: () => 0
})

I know all can be done with the

Match

Match

module but I and perhaps other prefer this API more and I think it would be a great addition. Thoughts?

### Proposal for Enhanced `Data.taggedEnum` Matching with Custom Discriminators and Catch-All Sup...

Similar Threads

### Proposal for Enhanced `Data.taggedEnum` Matching with Custom Discriminators and Catch-All Sup...

Similar Threads

Similar Threads

Similar Threads