Interface TagUnify<A>

Since

2.0.0

interface TagUnify {
    Tag?: (() => A[typeof typeSymbol] extends Tag<I0, S0> | _
        ? Tag<I0, S0>
        : never);
}

Type Parameters

A extends {
[typeSymbol]?: any;
}

Hierarchy

TagUnify
- EffectUnify

Index

Properties

Properties

`Optional` Tag

Tag?: (() => A[typeof typeSymbol] extends Tag<I0, S0> | _
? Tag<I0, S0>
: never)

Type declaration

- (): A[typeof typeSymbol] extends Tag<I0, S0> | _
  ? Tag<I0, S0>
  : never
- Returns A[typeof typeSymbol] extends Tag<I0, S0> | _
  ? Tag<I0, S0>
  : never