Skip to main content

FlatWriter

export interface FlatWriter {
  finalize(): number[]
  writeBool(b: boolean): void
  writeBuiltinId(id: number): void
  writeBytes(bytes: number[]): void
  writeInt(x: bigint): void
  writeList(items: {toFlat(w: FlatWriter): void}[]): void
  writeTermTag(tag: number): void
  writeTypeBits(typeBits: string): void
}

Properties​

finalize​

flatWriter.finalize satisfies () => number[]

writeBool​

flatWriter.writeBool satisfies (b: boolean) => void

writeBuiltinId​

flatWriter.writeBuiltinId satisfies (id: number) => void

writeBytes​

flatWriter.writeBytes satisfies (bytes: number[]) => void

writeInt​

flatWriter.writeInt satisfies (x: bigint) => void

writeList​

flatWriter.writeList satisfies (items: {toFlat(w: FlatWriter): void}[]) => void

writeTermTag​

flatWriter.writeTermTag satisfies (tag: number) => void

writeTypeBits​

flatWriter.writeTypeBits satisfies (typeBits: string) => void