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​

finalize(): number[]

writeBool​

writeBool(b: boolean): void

writeBuiltinId​

writeBuiltinId(id: number): void

writeBytes​

writeBytes(bytes: number[]): void

writeInt​

writeInt(x: bigint): void

writeList​

writeList(items: {toFlat(w: FlatWriter): void}[]): void

writeTermTag​

writeTermTag(tag: number): void

writeTypeBits​

writeTypeBits(typeBits: string): void