Commit Graph

33 Commits

Author SHA1 Message Date
c99a356491 use ParseModeExt more 2023-07-30 14:30:29 +00:00
e4cb0bd416 simplify AtomicFactory::mextend 2023-07-30 14:18:20 +00:00
368db8a1a4 simplify AtomicFactory::mdeserialize 2023-07-30 13:59:34 +00:00
936f41735a ModeResult 2023-07-29 23:39:09 +00:00
c9e65ca690 QRegularFactory 2023-07-29 22:06:11 +00:00
a170dd9f30 loosen RegularAtomic factory 2023-07-29 21:14:38 +00:00
699fa9a537 loosen WithParseMode for Atomics 2023-07-29 21:10:37 +00:00
678cb199ef delete AoProxy 2023-07-29 21:06:01 +00:00
3ce4a3b676 loosen AoProxy 2023-07-29 20:58:47 +00:00
4697d71436 Atomic via AtomicModeProxy 2023-07-29 20:44:45 +00:00
0d8a10fae6 decouple RegularAtomic from ImplMode 2023-07-29 20:35:32 +00:00
5a5f1f5199 ImplMode 2023-07-29 20:14:00 +00:00
fd2bae70ac loosen AoProxy 2023-07-29 14:58:38 +00:00
d75e7c05a8 decouple FactoryBase from MentionableTop 2023-07-29 09:23:19 +00:00
c6b3029798 MentionableTop 2023-07-29 08:46:35 +00:00
54a6912baf InliningMode 2023-07-29 00:17:27 +00:00
2e596e4f34 AoProxy 2023-07-28 22:24:03 +00:00
cf5390fbec reorganise atomic bounds 2023-07-28 21:30:20 +00:00
dd8e0322e8 rcore::modes::* renaming 2023-07-28 21:24:18 +00:00
f3eaccfa77 Factory: ModeFactory 2023-07-28 21:06:59 +00:00
f1b4e7b88e FactoryBase 2023-07-28 19:40:30 +00:00
4425b4c545 TakesPoints -> PointsVisitor 2023-07-01 14:45:01 +00:00
d6adc543a7 InCtx in Factory::deserialize 2023-06-30 22:46:38 +00:00
a72d2ed441 remove o_deserialise 2023-06-30 22:30:01 +00:00
805809a7ba AtomicExt::o_deserialise 2023-06-28 15:06:27 +00:00
d3d36d973d DeCtx 2023-06-28 15:03:09 +00:00
422275bbeb resolver by reference 2023-06-28 14:29:39 +00:00
4b44733845 ParseResult in extend signature 2023-06-19 12:57:12 +00:00
5081166bca Factory::extend 2023-06-16 07:06:43 +00:00
8ecc4678f7 add mentionable to unexpected_tail 2023-06-16 06:48:44 +00:00
cbd80a9307 AtomicObject Clone 2023-06-16 06:32:33 +00:00
906e159737 Monad lift lifetime 2023-05-26 08:52:58 +00:00
45923c401e add r prefixes to avoid confusion 2023-05-22 09:56:05 +00:00