17 commits

Author	SHA1	Message	Date
Bryce Miller	cb08225bf0	| -> where	2023-06-05 20:19:00 -04:00
Bryce Miller	d2503bb9f2	has -> implements	2023-05-26 22:59:29 -04:00
Bryce Miller	58a84fdc29	has -> implements in tests	2023-05-26 20:37:42 -04:00
Bryce Miller	91e37293a2	abilities syntax has -> implements	2023-05-24 21:29:38 -04:00
Ayaz Hafiz	8f7b6aaeaa	Implement hash derivation for tuple	2023-03-22 10:28:13 -05:00
Ayaz Hafiz	d9c7010104	Add derive-key tests for derived hash	2023-03-22 10:19:14 -05:00
Ayaz Hafiz	1e120653ff	Update derive tests	2022-12-12 15:06:32 -06:00
Brendan Hansknecht	e27b874331	update test to use HASH_HASH_I* instead of HASH_ADD_I*	2022-10-19 18:22:44 -07:00
Ayaz Hafiz	cb96a64259	Implement hashing tag discriminants in derivers, rather than using low-level ... This makes it so we can decide the discriminant in the front-end. With this, we can also now revert the `LowLevel::TagDiscriminant` introductions.	2022-10-05 12:58:04 -05:00
Ayaz Hafiz	a308ebb38c	Optimize derived hash implementation for newtypes ... When we have a newtype tag union, there is no reason to hash its discriminant.	2022-10-05 12:19:35 -05:00
Ayaz Hafiz	41c9985c53	Support newtypes and unit tag union hash deriving	2022-10-04 18:11:37 -05:00
Ayaz Hafiz	ff70832068	Derive hash for tag unions with a discriminant	2022-10-04 17:19:30 -05:00
Ayaz Hafiz	5eb00c4f94	Generate derive keys for tags	2022-10-04 16:23:24 -05:00
Ayaz Hafiz	46f111c6dd	Add hash deriving for records	2022-10-04 15:23:41 -05:00
Ayaz Hafiz	ad4d98be9c	Add derive key generation for record hashing	2022-10-04 14:42:00 -05:00
Ayaz Hafiz	5b833e57b5	Support derivation of Hash for Str and List	2022-10-04 14:09:40 -05:00
Ayaz Hafiz	427528e659	Add deriving of immediates for the Hash ability	2022-10-04 14:09:39 -05:00