Interface DatatypeCreation<Name>

interface DatatypeCreation<Name extends string> {
createDatatypes(...datatypes: Datatype<Name>[]): DatatypeSort<Name>[];
(name: string): Datatype<Name>;
}

Type Parameters

Name extends string

DatatypeCreation(name: string): Datatype<Name>
Create a new datatype declaration helper.
Parameters
- name: string
Returns Datatype<Name>
- Defined in src/high-level/types.ts:1824

Index

Methods

createDatatypes

Methods

createDatatypes

createDatatypes(...datatypes: Datatype<Name>[]): DatatypeSort<Name>[]
Create mutually recursive datatypes.
Parameters
- ...datatypes: Datatype<Name>[]
  Array of Datatype declarations
Returns DatatypeSort<Name>[]
Array of created DatatypeSort instances
- Defined in src/high-level/types.ts:1832