Commit Graph

219 Commits

Author SHA1 Message Date
8ccbf41e84 loosen ExternalPoints impl bounds 2023-07-29 10:49:29 +00:00
9f1b9d6b6a loosen ExternalPointsProxy bounds 2023-07-29 10:46:13 +00:00
c2a69bd384 ExternalPoints blanket impl 2023-07-29 10:44:50 +00:00
886f6b2117 loosen stack bounds 2023-07-29 10:39:30 +00:00
0615c07e42 loosen ExternalPoints bounds 2023-07-29 10:33:36 +00:00
f08b26316f ex_points_typed reformat 2023-07-29 10:33:11 +00:00
79f1fadf0a rstd::external_points 2023-07-29 10:30:43 +00:00
c595be270c ExternalPointsProxy 2023-07-29 10:11:42 +00:00
0fa540f7aa ExternalPoints 2023-07-29 09:55:31 +00:00
2e73ca8c50 StackCompatibleProxy::T 2023-07-29 09:36:13 +00:00
7253b2402e remove _Fctr from StackCompatible bound 2023-07-29 09:30:20 +00:00
434a267507 loosen StaticPair bounds 2023-07-29 09:26:32 +00:00
d75e7c05a8 decouple FactoryBase from MentionableTop 2023-07-29 09:23:19 +00:00
f7ad44920f loosen some Point bounds 2023-07-29 08:55:14 +00:00
8ab5d21089 loosen Origin bounds 2023-07-29 08:52:45 +00:00
c6b3029798 MentionableTop 2023-07-29 08:46:35 +00:00
7ebc5ba615 loosen Origin bounds 2023-07-29 08:20:54 +00:00
c0e7e54e34 loosen StaticPair bounds 2023-07-29 08:16:58 +00:00
54a6912baf InliningMode 2023-07-29 00:17:27 +00:00
2e596e4f34 AoProxy 2023-07-28 22:24:03 +00:00
53266188a3 Atomic: ParseMode 2023-07-28 21:37:35 +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
8015a9301b RegularAtomic 2023-07-28 21:22:14 +00:00
ab5892f238 AtomicBase 2023-07-28 21:12:28 +00:00
f3eaccfa77 Factory: ModeFactory 2023-07-28 21:06:59 +00:00
57a0e3f3e3 more FactoryBase in bounds 2023-07-28 20:20:05 +00:00
2c3b7ba52b CheckedParseFailure 2023-07-28 20:10:43 +00:00
f1b4e7b88e FactoryBase 2023-07-28 19:40:30 +00:00
ed57b30d5d remove trailing punctuation in errors 2023-07-09 15:51:59 +00:00
7d82983ce5 atomic::array 2023-07-09 15:48:39 +00:00
49cfeea849 move FallibleCtxExt to func::context 2023-07-06 03:47:42 +00:00
0a0d17c34d FallibleContext -> FallibleCtxExt 2023-07-06 03:46:24 +00:00
10193ccd5b FallibleContext docs 2023-07-06 03:42:12 +00:00
41b8a192bf FallibleContext for FallibleCtx 2023-07-06 03:40:45 +00:00
def1236e81 simplify FallibleContext 2023-07-06 03:40:24 +00:00
7c1fc8bacd FallibleContext imply FallibleCtx 2023-07-06 03:39:49 +00:00
58a2cd3ca6 FallibleContext via FallibleCtx 2023-07-06 03:39:08 +00:00
75b4898094 move FallibleWrapped to func::context 2023-07-06 03:35:42 +00:00
00baa846dd use FallibleWrapped in FallibleContext 2023-07-06 03:34:14 +00:00
99088a1df8 move FallibleMonad to func::context 2023-07-06 03:32:14 +00:00
f0381672ff FallibleMonad via FallibleCtx 2023-07-06 03:28:24 +00:00
9255dd7c24 more ::Fallible disambiguation 2023-07-06 03:26:24 +00:00
a5898ee761 FallibleContext::stuff disambiguate Fallible 2023-07-06 03:24:21 +00:00
847c4c93a1 FallibleContext::unstuff disambiguate Fallible 2023-07-06 03:23:51 +00:00
664365ba72 simplify Factory::de (typeless) 2023-07-01 14:47:11 +00:00
6e64fd97e4 simplify Vec::visit (singular) 2023-07-01 14:46:17 +00:00
4425b4c545 TakesPoints -> PointsVisitor 2023-07-01 14:45:01 +00:00
f7549c5691 remove dynamic inlining 2023-07-01 14:32:02 +00:00
35a8308e9f use Demoted in typeless 2023-07-01 14:31:08 +00:00
62b631d33d InCtx::demote 2023-07-01 14:20:23 +00:00
540fdce02a simplify NullableFactory::deserialize 2023-06-30 23:14:58 +00:00
b0077e0756 simplify TreeFactory::deserialize 2023-06-30 23:12:56 +00:00
d6c4ca11b5 StackNodeFactory::parse_point 2023-06-30 23:11:02 +00:00
75d68e54ba simplify StackNode deserialisation 2023-06-30 23:09:57 +00:00
f27e9625e8 simplify bool::a_deserialize 2023-06-30 23:02:13 +00:00
03a809e92b simplify u64::a_deserialize 2023-06-30 23:01:33 +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
2b06b93268 simplify o_deserialise 2023-06-30 22:28:16 +00:00
4f13bb73ca a_deserialize inlining 2023-06-30 22:27:31 +00:00
23cc08ddf5 move Inlining for Deserializer to rcore 2023-06-30 22:17:34 +00:00
702bff3276 move Inlining for DeCtx to rcore 2023-06-30 22:16:45 +00:00
749268f438 move InCtx for DeCtx to rcore 2023-06-30 22:14:08 +00:00
e9e7ffb57d rcore::inctx 2023-06-30 22:12:47 +00:00
bab0b4169e inlining dyn box 2023-06-30 22:02:38 +00:00
c016fa44e6 ResultDyn 2023-06-30 21:51:39 +00:00
6a4cb9504c inlining dyn lifetimes 2023-06-30 21:45:28 +00:00
b5862b45fd InCtxDyn 2023-06-30 21:35:35 +00:00
f86c6edf9f InliningDyn unsized 2023-06-30 21:33:24 +00:00
8cf8680353 InliningDyn 2023-06-30 21:27:31 +00:00
ca48aba4fb remove InCtxT 2023-06-30 21:17:52 +00:00
e31945deda TreeFactory inlineable 2023-06-30 21:12:32 +00:00
a10447457a TracedInject 2023-06-30 21:00:32 +00:00
6e5302331c testing::inject -> rstd::inject 2023-06-30 20:53:20 +00:00
8c8752c2e4 delete CastResult 2023-06-30 20:35:41 +00:00
b333548757 hide SingularResolution 2023-06-30 20:20:45 +00:00
b50d7582ba Origin::resolve_bytes 2023-06-30 20:19:16 +00:00
7a88f17c36 AddressPointMismatch fix format 2023-06-30 20:01:43 +00:00
d668e023e3 simpler TypelessFactory::deserialize 2023-06-30 19:03:52 +00:00
19a55bf626 InlineableFactory::ideserialize 2023-06-30 19:01:25 +00:00
ba33f82ecb simpler StaticPairFactory::deserialize 2023-06-30 18:49:26 +00:00
7dbc734c53 simpler StackNodeFactory::deserialize 2023-06-30 18:47:18 +00:00
24d10c7f54 PointFactory::inner 2023-06-30 18:44:00 +00:00
a5a4cadef6 InCtx::icnext_* 2023-06-30 18:36:09 +00:00
2ff8e11317 Inlining::iread_all 2023-06-28 16:44:18 +00:00
3b5349de62 rcore::inlining 2023-06-28 16:41:37 +00:00
cb56595d45 iread_n_const: unwrap->expect 2023-06-28 16:39:18 +00:00
8558b8d1ba Inlining::itell 2023-06-28 16:36:19 +00:00
90dbac2865 Inlining rename 2023-06-28 16:33:47 +00:00
c48dee1fe3 InlineableDeCtx: InlineableDeserializer 2023-06-28 16:16:13 +00:00
5baf4bf4ad InlineableAtomic::a_ideserialize 2023-06-28 16:11:47 +00:00
a05dcb7ff8 InlineableDeserializerExt 2023-06-28 16:03:34 +00:00
fb4bcd6c9e iread_n_const 2023-06-28 15:58:22 +00:00
6d9a35ba27 ADParseResult 2023-06-28 15:49:44 +00:00
712026be40 AParseResult 2023-06-28 15:45:52 +00:00
59e3e4f5d6 IParseResult 2023-06-28 15:41:57 +00:00
882a667249 InlineableDeserializer, InlineableDeCtx 2023-06-28 15:40:31 +00:00
805809a7ba AtomicExt::o_deserialise 2023-06-28 15:06:27 +00:00
d3d36d973d DeCtx 2023-06-28 15:03:09 +00:00