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

correct type of emptyDict and emptySet

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-12 10:44:02 +02:00
parent d531c48a92
commit cb45d88e17
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lib/structures/dict.types.js
View file

@ -13,7 +13,7 @@ const mkType = makeTypeParser({
});
export const ModuleDict = [
["emptyDict", newDynamic(emptyDict)(mkType("(a -> a -> Int) -> (a => b) "))],
["emptyDict", newDynamic(emptyDict)(mkType("(a -> a -> Ordering) -> (a => b) "))],
["has" , newDynamic(has )(mkType("(a => b) -> a -> Bool "))],
["set" , newDynamic(set )(mkType("(a => b) -> a -> b -> (a => b) "))],
["remove" , newDynamic(remove )(mkType("(a => b) -> a -> (a => b) "))],

2
lib/structures/set.types.js
View file

@ -13,7 +13,7 @@ const mkType = makeTypeParser({
});
export const ModuleSet = [
["emptySet", newDynamic(emptySet)(mkType("(a -> a -> Int) -> {a}" ))],
["emptySet", newDynamic(emptySet)(mkType("(a -> a -> Ordering) -> {a}" ))],
["has" , newDynamic(has )(mkType("{a} -> a -> Bool" ))],
["add" , newDynamic(add )(mkType("{a} -> a -> {a}" ))],
["remove" , newDynamic(remove )(mkType("{a} -> a -> {a}" ))],