Skip to content

Commit

Permalink
add documentation URLs
Browse files Browse the repository at this point in the history
  • Loading branch information
davidchambers committed Mar 29, 2019
1 parent 4a58c26 commit f06c82b
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions test/index.js
Original file line number Diff line number Diff line change
Expand Up @@ -3280,7 +3280,7 @@ See https://github.com/sanctuary-js/sanctuary-def/tree/v${version}#Type for info
// Palindrome :: Type -> Type
const Palindrome = $.UnaryType
('my-package/Palindrome')
('')
('http://example.com/my-package#Palindrome')
([$.Array ($.Unknown)])
(xs => Z.equals (xs, Z.reverse (xs)))
(palindrome => palindrome);
Expand Down Expand Up @@ -3322,12 +3322,12 @@ See https://github.com/sanctuary-js/sanctuary-def/tree/v${version}#Type for info
test ('supports subtyping', () => {
// Different :: Type -> Type -> Type
const Different = $.BinaryType
('my-package/FooBar')
('')
('my-package/Different')
('http://example.com/my-package#Different')
([$.Array2 ($.Unknown) ($.Unknown)])
(array2 => !(Z.equals (array2[0], array2[1])))
(array2 => [array2[0]])
(array2 => [array2[1]]);
(different => [different[0]])
(different => [different[1]]);

eq ($.test ([]) (Different ($.String) ($.String)) ([null, null])) (false);
eq ($.test ([]) (Different ($.String) ($.String)) ([null, 'foo'])) (false);
Expand Down

0 comments on commit f06c82b

Please sign in to comment.