Interface DatatypeCreation<Name>

interface DatatypeCreation<Name extends string> {
    createDatatypes(...datatypes: Datatype<Name>[]): DatatypeSort<Name>[];
    createPolymorphicDatatype(
        typeParams: AnySort<Name>[],
        datatype: 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:3230

Index

Methods

createDatatypes createPolymorphicDatatype

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:3238

createPolymorphicDatatype

createPolymorphicDatatype(
typeParams: AnySort<Name>[],
datatype: Datatype<Name>,
): DatatypeSort<Name>
Create a single polymorphic datatype sort with explicit type parameters. Type parameters should be sorts created with Context.TypeVariable. Self-recursive fields in constructors may reference the Datatype object directly.
Parameters
- typeParams: AnySort<Name>[]
  Array of type variable sorts
- datatype: Datatype<Name>
  Datatype declaration with constructors
Returns DatatypeSort<Name>
Created DatatypeSort instance
- Defined in src/high-level/types.ts:3249