hardhat-scilla-plugin/dist/src/parser/ScillaParser.d.ts

Hardhat TypeScript plugin for scilla testing

export declare const isNumeric: (type: string | ADTField) => boolean;
export interface TransitionParam {
    type: string;
    name: string;
}
export interface Transition {
    type: string;
    name: string;
    params: TransitionParam[];
}
export interface Field {
    typeJSON?: string | ADTField;
    name: string;
    type: string;
}
export interface ADTField {
    ctor: string;
    argtypes: Field[];
}
export type Transitions = Transition[];
export type ContractName = string;
export type Fields = Field[];
export interface ParsedContract {
    name: ContractName;
    constructorParams: Fields | null;
    transitions: Transitions;
    fields: Fields;
    ctors: ScillaConstructor[];
}
export interface ScillaConstructor {
    typename: string;
    ctorname: string;
    argtypes: string[];
}
export declare const parseScillaLibrary: (filename: string) => Promise<ParsedContract>;
export declare const parseScilla: (filename: string) => ParsedContract;
export declare function generateTypeConstructors(parsedCtors: ScillaConstructor[]): {
    [Key: string]: any;
};
//# sourceMappingURL=ScillaParser.d.ts.map