Skip to content

Commit

Permalink
replace ‘Pair a b’ with ‘Array2 a b’ in type signatures
Browse files Browse the repository at this point in the history
  • Loading branch information
davidchambers committed May 8, 2018
1 parent 9314180 commit 71c3af4
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion bench/old-vs-new.js
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ function inc(x) {
return x + 1;
}

// prep :: StrMap Function -> StrMap (Pair (StrMap a) Function)
// prep :: StrMap Function -> StrMap (Array2 (StrMap a) Function)
function prep(specs) {
return newZ.map(function(f) { return [{}, f]; }, specs);
}
Expand Down
6 changes: 3 additions & 3 deletions index.js
Original file line number Diff line number Diff line change
Expand Up @@ -127,7 +127,7 @@
// identity :: a -> a
function identity(x) { return x; }

// pair :: a -> b -> Pair a b
// pair :: a -> b -> Array2 a b
function pair(x) {
return function(y) {
return [x, y];
Expand Down Expand Up @@ -1253,7 +1253,7 @@
//. false
//. ```
var equals = (function() {
// $pairs :: Array (Pair Any Any)
// $pairs :: Array (Array2 Any Any)
var $pairs = [];

return function equals(x, y) {
Expand Down Expand Up @@ -1324,7 +1324,7 @@
//. false
//. ```
var lte = (function() {
// $pairs :: Array (Pair Any Any)
// $pairs :: Array (Array2 Any Any)
var $pairs = [];

return function lte(x, y) {
Expand Down
6 changes: 3 additions & 3 deletions test/index.js
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ function concat(xs) {
};
}

// double :: a -> Pair a a
// double :: a -> Array2 a a
function double(x) {
eq(arguments.length, double.length);
return [x, x];
Expand Down Expand Up @@ -175,10 +175,10 @@ function odd(x) {
return x % 2 === 1;
}

// ones :: Pair Number (Pair Number (Pair Number ...))
// ones :: Array2 Number (Array2 Number (Array2 Number ...))
var ones = [1]; ones.push(ones);

// ones_ :: Pair Number (Pair Number (Pair Number ...))
// ones_ :: Array2 Number (Array2 Number (Array2 Number ...))
var ones_ = [1]; ones_.push([1, ones_]);

// parseInt_ :: Integer -> String -> Maybe Integer
Expand Down

0 comments on commit 71c3af4

Please sign in to comment.