lum/purescript-typeable
3
0
Fork 0
forked from github/purescript-typeable
Code Pull Requests Activity
28 Commits 1 Branch 2 Tags 98 KiB
main
Commit Graph

28 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Orion Kindel
3810aa03cb
fix: migrate to new spago 2024-09-16 10:11:33 -05:00
Daneel S. Yaitskov
07657e21de
Update README.md 
Rename Taggable to Tagged
 2023-08-23 15:18:42 -04:00
Anupam Jain
f1a4681709 Add information about Data.Data to the README 2023-07-06 21:46:42 +05:30
Anupam Jain
f3dd0c0fb1 Reduce dependence on the internal dictionary passing mechanism 
Part of this work was done by @the-dr-lazy in
https://github.com/ajnsit/purescript-typeable/pull/3.

GOOD:
Now there is no more dependence on dictionaries being passed as function
arguments at runtime.

BAD:
1. However, we still depend on the dictionaries being stable at runtime.
2. We now also assume that the output of the new function `makeTag` will
never be cached.
 2023-07-06 20:51:50 +05:30
Anupam Jain
3c428f76d6 Use TypeRep directly instead of TypeableDict 2023-07-06 19:01:17 +05:30
Anupam Jain
11e596fd26 Remove constraints that use TagT. Add records back. 2023-07-06 18:52:41 +05:30
Anupam Jain
ff06b1f240 Move the definition of Person to a different module to show that the typerep comparison is stable 2023-07-06 11:50:53 +05:30
Anupam Jain
5c5a16fad6 Remove unused packages 2023-07-05 15:15:11 +05:30
Anupam Jain
7a785fccb5 Get code compiling again 
Changes due to PureScript 0.15
1. Remove constraints from foreign imports.
2. Remove support for records due to the new apartness check.
3. Convert CommonJS to ESmodules

Others:
Format all files.

TODO:
Records are currently not supported because of the new apartness check
in PureScript 0.15. The instance (Typeable (f a)) then partially
overlaps with (Typeable (Record r)). Even though (a::Type) and (r::Row
Type), that still isn't enough for the compiler to disambiguate. There
is no way that I can see to specify an instance for all (f a) where f is
NOT Record.
 2023-07-05 15:14:05 +05:30
Anupam Jain
696d538d05 Format purescript. Convert CommonJS to ESmodule. 2023-07-04 18:06:35 +05:30
Anupam Jain
eb0b5b7a61 Upgrade package set 2023-07-04 17:53:58 +05:30
Anupam Jain
836a3e10da Add tests 2021-04-22 17:59:15 +05:30
Anupam Jain
583a5340ef Add eqSomeTypeRep 2021-04-22 17:38:16 +05:30
Anupam Jain
caa61a0882 Update README for polykinds 2021-04-22 16:15:38 +05:30
Anupam Jain
1eabe79427 Use polykinds in Purescript 0.14 2021-04-22 16:10:00 +05:30
Anupam Jain
d6a4c80b81 Update for Purescript 0.14 2021-04-22 13:11:34 +05:30
Anupam | अनुपम
6f0215a5d1
Fix documentation 2021-04-09 17:37:34 +00:00
Anupam Jain
f76ab71f8c Add more instances 2021-01-21 16:19:38 +05:30
Anupam Jain
5d6c4ca884
Add link to slides for the talk 2021-01-18 11:30:44 +00:00
Anupam Jain
3ca165ffd6 Add Data.Data module 2021-01-13 14:22:07 +05:30
Anupam Jain
e5391fca2b Add cast, gcast1, gcast2 2021-01-13 14:21:57 +05:30
Anupam Jain
21026eeb45 Bugfix 2021-01-12 09:36:50 +05:30
Anupam Jain
7de57ccbc6 Add Typeable instances for records 2021-01-12 01:34:12 +05:30
Anupam Jain
b390f684c7 A rewrite that's safer. Also add Dynamics. 2021-01-11 03:18:02 +05:30
Anupam Jain
d68d3a6446
Create README.md 2021-01-07 07:26:30 +00:00
Anupam Jain
88b07988eb Minor fix 2021-01-06 21:42:20 +05:30
Anupam Jain
6b6258f632 Initial working implementation 2021-01-06 11:46:54 +05:30
Anupam Jain
4f9fa2e3b4 Init 2021-01-06 10:34:30 +05:30