Commit Graph

595 Commits

Author SHA1 Message Date
ecdefe53cd Mode::x methods 2023-07-29 18:53:13 +00:00
3bbcfadec7 Mode::ExtensionResult 2023-07-29 18:43:15 +00:00
4a762dd00f Mode::seal 2023-07-29 18:33:40 +00:00
5dff836c58 Mode 2023-07-29 18:32:11 +00:00
b7e3beacb6 loosen tree bounds 2023-07-29 15:04:29 +00:00
fd2bae70ac loosen AoProxy 2023-07-29 14:58:38 +00:00
c288b106e3 loosen Point::resolve 2023-07-29 14:50:57 +00:00
aed81eac83 loosen InlineableFactory for NullableFactory 2023-07-29 14:42:56 +00:00
510f22efd2 ParseFactory -> FactoryParse 2023-07-29 14:37:19 +00:00
2678ef956b loosen InlineableFactory for PointFactory 2023-07-29 14:34:17 +00:00
4b2cbecd5b loosen icnext_point 2023-07-29 14:32:23 +00:00
486b4de7f8 loosen inext_point 2023-07-29 14:31:10 +00:00
56208d05f2 loosen Point::from_address 2023-07-29 14:30:02 +00:00
54e4d092b5 loosen ResolverOrigin 2023-07-29 14:26:09 +00:00
7995d536a7 loosen _resolve_origin 2023-07-29 14:23:58 +00:00
402a931e60 loosen parse_slice 2023-07-29 14:22:20 +00:00
eff8fd2df4 loosen _parse_slice 2023-07-29 14:21:54 +00:00
27b994fe5b loosen FactoryExt 2023-07-29 14:21:23 +00:00
4ae569c5fa loosen Factory impl 2023-07-29 14:19:52 +00:00
f4da5f0d6a loosen ParseFactory implementation 2023-07-29 14:18:01 +00:00
af813bf51f ParseFactory 2023-07-29 14:17:01 +00:00
f7290cdcfc _parse_slice generic over factory 2023-07-29 14:13:48 +00:00
f29ea3dbc8 reorder stack impls 2023-07-29 11:19:33 +00:00
1f454fec16 loosen StaticPair bounds for tuple 2023-07-29 11:04:34 +00:00
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
1c5a9a28b7 factory_modes -> modes 2023-07-28 21:13:45 +00:00
ab5892f238 AtomicBase 2023-07-28 21:12:28 +00:00
f3eaccfa77 Factory: ModeFactory 2023-07-28 21:06:59 +00:00
5a7ef36d89 RegularFactory 2023-07-28 20:55:05 +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
c01963809e ? for ControlFlow 2023-07-24 17:19:49 +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
8c033ed044 remove Context::Fallible implementations 2023-07-06 03:49:36 +00:00
521702ba99 remove Context::Fallible 2023-07-06 03:48:43 +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
6a6e3609b3 Context constrain Fallible 2023-07-06 03:27:32 +00:00
0834b5e0c8 Context imply FallibleCtx 2023-07-06 03:26:51 +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
9c0e99f2e6 FallibleCtx for TestContextTraced 2023-07-06 03:19:52 +00:00
74d3a00b87 FallibleCtx for TestContextCounted 2023-07-06 03:19:07 +00:00
0c051a8c90 FallibleCtx for TestContextPlain 2023-07-06 03:18:10 +00:00
930a1c4d81 pub FallibleCtx 2023-07-06 03:16:12 +00:00
53378dae98 move Fallible docs 2023-07-06 03:15:00 +00:00
bf92488b03 FallibleCtx 2023-07-06 03:14:15 +00:00
8195249e51 remove unnecessary moves from avl 2023-07-04 06:39:28 +00:00
82141aa35e ResolverExt docs 2023-07-01 15:00:55 +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
ffd0cf6ec2 simplify UnbalancedReference::resolve 2023-07-01 14:42:28 +00:00
3f0fc22b44 Demoted docs 2023-07-01 14:41:53 +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
4bdac0336d InCtx for Demoted 2023-07-01 14:27:19 +00:00
f8a8620aff Inlining for Demoted 2023-07-01 14:24:11 +00:00
62b631d33d InCtx::demote 2023-07-01 14:20:23 +00:00
0edcafad2a Demoted 2023-07-01 14:08:57 +00:00
0f031109a6 TakesPoints docs 2023-07-01 02:12:20 +00:00
7a4c06b4ac ResolverMap docs 2023-07-01 01:00:52 +00:00
0cb07f105f InliningResultExt docs 2023-07-01 01:00:08 +00:00
32012615b4 InliningExt docs 2023-07-01 00:59:41 +00:00
39513d7946 Fctr docs 2023-07-01 00:58:15 +00:00
785f7b7746 ParseErrorA docs 2023-07-01 00:57:28 +00:00
6b20d5f9bb ParseError docs 2023-07-01 00:56:47 +00:00
28478ce7db Mtbl docs 2023-07-01 00:55:48 +00:00
237128d994 ParseResultA docs 2023-07-01 00:54:15 +00:00
d29e70fcc5 ResolverMap::resolve_map docs 2023-07-01 00:40:41 +00:00
29438fc2ec HashResolutionResult docs 2023-07-01 00:27:48 +00:00
6c635571ed LookupError docs 2023-07-01 00:25:01 +00:00
5cb2648965 LookupError re-export 2023-07-01 00:23:28 +00:00
85b9ba0701 ResolutionError::map_parse docs 2023-07-01 00:22:52 +00:00
80b349b532 Point::resolve_map docs 2023-07-01 00:20:14 +00:00
32f4b46a44 Origin docs 2023-07-01 00:15:49 +00:00
f326b8385d remove Addresses::next_point 2023-07-01 00:13:02 +00:00
e97af875cb InCtx docs 2023-07-01 00:09:16 +00:00
9d189d2e8e InliningExt docs 2023-07-01 00:05:43 +00:00
7e4966e2b8 Inlining docs 2023-07-01 00:02:16 +00:00
d9d50e8bc0 restrict DeCtx visibility 2023-06-30 23:56:52 +00:00
d0edd0e811 restrict DeCtxT visibility 2023-06-30 23:55:07 +00:00
d66dd19d16 improve Context::Fallible docs 2023-06-30 23:54:43 +00:00
cdf8726c5a restrict ControlFlowInstance visibility 2023-06-30 23:43:29 +00:00
b06c9c8f9f simplify DeCtxT::ad 2023-06-30 23:33:00 +00:00
98ce4b0e13 adr -> ad 2023-06-30 23:32:09 +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
ef4cacd650 InliningResultExt 2023-06-30 23:00:20 +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
d330a1e66e rcore::dectx 2023-06-30 22:21:34 +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
f6cc23ff5f EmptyInject 2023-06-30 22:05:33 +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
404fc8c802 CountedInject 2023-06-30 20:50:03 +00:00
e3ca573bdf unhide Inject 2023-06-30 20:43:26 +00:00