research/dope2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

set all return types to 'any' (many of them were wrongly detected)

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-13 14:14:28 +02:00
parent 1a55c52782
commit 54b1bf5716
1 changed files with 52 additions and 52 deletions
Download patch file Download diff file Expand all files Collapse all files

104
index.d.ts vendored
View file

@ -210,11 +210,11 @@ export const unit: {
export function RBTreeWrapper(...args: any[]): any; export function RBTreeWrapper(...args: any[]): any;
export function UnifyError(...args: any[]): void; export function UnifyError(...args: any[]): any;
export function addDouble(x: any): void; export function addDouble(x: any): any;
export function addInt(x: any): void; export function addInt(x: any): any;
export function apply(input: any): any; export function apply(input: any): any;
@ -230,7 +230,7 @@ export function compareDicts(compareKeys: any): any;
export function compareDoubles(x: any): any; export function compareDoubles(x: any): any;
export function compareDynamic(x: any): void; export function compareDynamic(x: any): any;
export function compareFunctions(_compareInput: any): any; export function compareFunctions(_compareInput: any): any;
@ -238,7 +238,7 @@ export function compareInts(x: any): any;
export function compareLists(compareElems: any): any; export function compareLists(compareElems: any): any;
export function compareOrderings(a: any): void; export function compareOrderings(a: any): any;
export function compareProducts(compareLeft: any): any; export function compareProducts(compareLeft: any): any;
@ -252,11 +252,11 @@ export function compareStrings(x: any): any;
export function compareSums(compareLeft: any): any; export function compareSums(compareLeft: any): any;
export function compareSymbols(a: any): void; export function compareSymbols(a: any): any;
export function compareTypes(typeX: any): void; export function compareTypes(typeX: any): any;
export function compareUnits(_: any): void; export function compareUnits(_: any): any;
export function compareValues(compareElems: any): any; export function compareValues(compareElems: any): any;
@ -266,15 +266,15 @@ export function dictType(typeParam: any): any;
export function enumType(variants: any): any; export function enumType(variants: any): any;
export function eqDouble(x: any): void; export function eqDouble(x: any): any;
export function eqInt(x: any): void; export function eqInt(x: any): any;
export function eqSymbol(a: any): void; export function eqSymbol(a: any): any;
export function eqType(t1: any): void; export function eqType(t1: any): any;
export function eqUnit(_: any): void; export function eqUnit(_: any): any;
export function fnType(typeParam: any): any; export function fnType(typeParam: any): any;
@ -288,21 +288,21 @@ export function getEnabledFunctions(env: any): any;
export function getFunctions(env: any): any; export function getFunctions(env: any): any;
export function getHumanReadableName(symbol: any): void; export function getHumanReadableName(symbol: any): any;
export function getInst(lnk: any): void; export function getInst(lnk: any): any;
export function getInstances(env: any): void; export function getInstances(env: any): any;
export function getLeft(product: any): void; export function getLeft(product: any): any;
export function getParams(type: any): void; export function getParams(type: any): any;
export function getRight(product: any): void; export function getRight(product: any): any;
export function getSymbol(type: any): void; export function getSymbol(type: any): any;
export function getType(lnk: any): void; export function getType(lnk: any): any;
export function getTypes(env: any): any; export function getTypes(env: any): any;
@ -340,7 +340,7 @@ export function makeModuleEnum(type: any): any;
export function makeModuleStruct(type: any): any; export function makeModuleStruct(type: any): any;
export function makeTypeConstructor(symbol: any): void; export function makeTypeConstructor(symbol: any): any;
export function makeTypeParser({ export function makeTypeParser({
// parser can be extended: // parser can be extended:
@ -349,7 +349,7 @@ export function makeTypeParser({
extraInfixOperators, extraInfixOperators,
}: any): any; }: any): any;
export function match(sum: any): void; export function match(sum: any): any;
export function memoize(callback: any): any; export function memoize(callback: any): any;
@ -357,23 +357,23 @@ export function mergeTwoWay(m1: any, m2: any): any;
export function module2Env(module: any): any; export function module2Env(module: any): any;
export function mulDouble(x: any): void; export function mulDouble(x: any): any;
export function mulInt(x: any): void; export function mulInt(x: any): any;
export function newDynamic(i: any): void; export function newDynamic(i: any): any;
export function newLeft(left: any): void; export function newLeft(left: any): any;
export function newProduct(l: any): void; export function newProduct(l: any): any;
export function newRight(right: any): void; export function newRight(right: any): any;
export function occurring(type: any): any; export function occurring(type: any): any;
export function pretty(obj: any): any; export function pretty(obj: any): any;
export function prettyT(type: any): void; export function prettyT(type: any): any;
export function prodType(typeParam: any): any; export function prodType(typeParam: any): any;
@ -403,25 +403,25 @@ export namespace UnifyError {
} }
export namespace dict { export namespace dict {
function emptyDict(compareFn: any): void; function emptyDict(compareFn: any): any;
function first(dict: any): void; function first(dict: any): any;
function fold(callback: any): any; function fold(callback: any): any;
function get(dict: any): void; function get(dict: any): any;
function has(dict: any): void; function has(dict: any): any;
function last(dict: any): void; function last(dict: any): any;
function length(dict: any): void; function length(dict: any): any;
function read(iter: any): any; function read(iter: any): any;
function remove(dict: any): void; function remove(dict: any): any;
function set(dict: any): void; function set(dict: any): any;
} }
@ -430,40 +430,40 @@ export namespace list {
function fold(callback: any): any; function fold(callback: any): any;
function get(ls: any): void; function get(ls: any): any;
function length(ls: any): void; function length(ls: any): any;
function map(ls: any): void; function map(ls: any): any;
function pop(ls: any): void; function pop(ls: any): any;
function push(ls: any): void; function push(ls: any): any;
function put(ls: any): void; function put(ls: any): any;
} }
export namespace set { export namespace set {
function add(set: any): void; function add(set: any): any;
function emptySet(compareFn: any): void; function emptySet(compareFn: any): any;
function first(set: any): void; function first(set: any): any;
function fold(callback: any): any; function fold(callback: any): any;
function forEach(set: any): void; function forEach(set: any): any;
function has(set: any): void; function has(set: any): any;
function last(set: any): void; function last(set: any): any;
function length(set: any): void; function length(set: any): any;
function read(iter: any): any; function read(iter: any): any;
function remove(set: any): void; function remove(set: any): any;
} }