5 replies

Request to Opacify Type in ADT

Hello, I would like to know if it's possible to opacify the type in SchemaUnionAllActionsAdt, instead of

Data<{
  readonly count: number;
  readonly _tag: "ResetTo";
}> | Data<{
  readonly add: number;
  readonly _tag: "Add";
}>

Data<{
  readonly count: number;
  readonly _tag: "ResetTo";
}> | Data<{
  readonly add: number;
  readonly _tag: "Add";
}>

Data<{
  readonly count: number;
  readonly _tag: "ResetTo";
}> | Data<{
  readonly add: number;
  readonly _tag: "Add";
}>

Data<{
  readonly count: number;
  readonly _tag: "ResetTo";
}> | Data<{
  readonly add: number;
  readonly _tag: "Add";
}>

, I want :

Data<ResetTo> | Data<Add>

Data<ResetTo> | Data<Add>

Data<ResetTo> | Data<Add>

Data<ResetTo> | Data<Add>

Thanks !