Skip to content

Commit

Permalink
refactor(types): "TypeTag"
Browse files Browse the repository at this point in the history
  • Loading branch information
turadg committed Jan 10, 2025
1 parent 1590e38 commit 1ec2322
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 3 deletions.
4 changes: 2 additions & 2 deletions packages/ERTP/src/types.ts
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ import type { LatestTopic } from '@agoric/notifier';
import type { ERef } from '@endo/far';
import type { RemotableObject } from '@endo/pass-style';
import type { CopyBag, CopySet, Key, Pattern } from '@endo/patterns';
import type { Tagged } from '@agoric/internal/src/tagged.js';
import type { TypeTag } from '@agoric/internal/src/tagged.js';
import type { AssetKind } from './amountMath.js';

export type { AssetKind } from './amountMath.js';
Expand Down Expand Up @@ -407,7 +407,7 @@ export type Payment<
K extends AssetKind = AssetKind,
M extends Key = Key,
> = RemotableObject &
Tagged<
TypeTag<
{
/**
* Get the allegedBrand, indicating
Expand Down
5 changes: 4 additions & 1 deletion packages/internal/src/tagged.d.ts
Original file line number Diff line number Diff line change
@@ -1,4 +1,7 @@
/** @file adapted from https://raw.githubusercontent.com/sindresorhus/type-fest/main/source/opaque.d.ts */
/** @file adapted from https://raw.githubusercontent.com/sindresorhus/type-fest/main/source/tagged.d.ts */

// different name to avoid confusion with pass-style "tagged"
export { Tagged as TypeTag };

declare const tag: unique symbol;

Expand Down

0 comments on commit 1ec2322

Please sign in to comment.