Oops - I forgot pDiscard()

This commit is contained in:
Tony Garnock-Jones 2021-04-19 09:59:42 +02:00
parent 0ecc322f8b
commit cb8dae7ca4
1 changed files with 27 additions and 1 deletions

View File

@ -1,7 +1,29 @@
import type { Assertion, Handle, Ref, Turn } from "./actor.js";
import { Bytes, Dictionary, DoubleFloat, IdentityMap, is, isPointer, Record, SingleFloat, Tuple } from "@preserves/core";
import { Alts, Attenuation, Caveat, PBind, Pattern, Rewrite, TRef, Template, _val, PCompound, ConstructorSpec, CRec, PCompoundMembers, Lit, PPointer, PAtom, CArr, CDict, PNot, PAnd } from './gen/sturdy.js';
import {
Alts,
Attenuation,
CArr,
CDict,
CRec,
Caveat,
ConstructorSpec,
Lit,
PAnd,
PAtom,
PBind,
PCompound,
PCompoundMembers,
PDiscard,
PNot,
PPointer,
Pattern,
Rewrite,
TRef,
Template,
_val,
} from './gen/sturdy.js';
export * from './gen/sturdy.js';
export type Bindings = { [name: string]: Assertion };
@ -275,3 +297,7 @@ export function pFloat(): Pattern {
export function pBoolean(): Pattern {
return Pattern.PAtom(PAtom.Boolean());
}
export function pDiscard(): Pattern {
return Pattern.PDiscard(PDiscard());
}