PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity
753 Commits 1 Branch 0 Tags 1.3 MiB
a43f1dbf27
Commit Graph

732 Commits

Author SHA1 Message Date
timofey
acd41fe880 effect: remove #[cfg(doc)] 2023-07-30 11:17:30 +00:00
timofey
4b2043368b composition: remove #[cfg(doc)] 2023-07-30 11:16:32 +00:00
timofey
0a9ce9822f instances: remove #[cfg(doc)] 2023-07-30 11:14:46 +00:00
timofey
31aa9acc95 controlflow: remove #[cfg(doc)] 2023-07-30 11:12:20 +00:00
timofey
ba98cb8ba7 mrds: remove #[cfg(doc)] 2023-07-30 11:09:23 +00:00
timofey
0b9858aa3e func: remove #[cfg(doc)] 2023-07-30 11:08:20 +00:00
timofey
a881a77dd3 Mode table 2023-07-30 11:07:45 +00:00
timofey
8ef8aaf156 ModeResult doc 2023-07-30 10:47:41 +00:00
timofey
f2533813ac Mode docs 2023-07-30 10:45:21 +00:00
timofey
936f41735a ModeResult 2023-07-29 23:39:09 +00:00
timofey
e9d0eaf7b1 fix q stack overflow 2023-07-29 22:20:44 +00:00
timofey
aa914d0c89 QInliningFactory 2023-07-29 22:14:06 +00:00
timofey
c9e65ca690 QRegularFactory 2023-07-29 22:06:11 +00:00
timofey
59a771630f reduce ImplMode bounds in stack 2023-07-29 21:39:05 +00:00
timofey
89a035bcdb delete ExternalPoints 2023-07-29 21:34:58 +00:00
timofey
027a46da2f loosen InliningAtomic factory 2023-07-29 21:17:01 +00:00
timofey
a170dd9f30 loosen RegularAtomic factory 2023-07-29 21:14:38 +00:00
timofey
699fa9a537 loosen WithParseMode for Atomics 2023-07-29 21:10:37 +00:00
timofey
678cb199ef delete AoProxy 2023-07-29 21:06:01 +00:00
timofey
3ce4a3b676 loosen AoProxy 2023-07-29 20:58:47 +00:00
timofey
7fa37c28a4 QInliningAtomic 2023-07-29 20:53:53 +00:00
timofey
7f4ed56851 loosen Atomic impl 2023-07-29 20:46:06 +00:00
timofey
4697d71436 Atomic via AtomicModeProxy 2023-07-29 20:44:45 +00:00
timofey
0d8a10fae6 decouple RegularAtomic from ImplMode 2023-07-29 20:35:32 +00:00
timofey
ef250932b6 impl AtomicModeParse 2023-07-29 20:33:10 +00:00
timofey
e90aadf67c AtomicModeProxy 2023-07-29 20:30:24 +00:00
timofey
560e363a63 AtomicModeParse 2023-07-29 20:27:26 +00:00
timofey
7c64e38954 decouple InliningAtomic from ImplMode 2023-07-29 20:19:38 +00:00
timofey
7d07f5ffea "inlineable" -> "inlining" 2023-07-29 20:16:52 +00:00
timofey
5a5f1f5199 ImplMode 2023-07-29 20:14:00 +00:00
timofey
bd62ae8dbb mprepare 2023-07-29 19:59:42 +00:00
timofey
78e74fbf35 ExtensionSourceM 2023-07-29 19:55:14 +00:00
timofey
b9581de5c4 Mode::ExtensionSource 2023-07-29 19:53:14 +00:00
timofey
3749c30512 delete FactoryProxy 2023-07-29 19:31:44 +00:00
timofey
486d7e7af8 FactoryParse via FactoryModeParse 2023-07-29 19:28:44 +00:00
timofey
4a9c2c0c3b impl FactoryModeProxy 2023-07-29 19:20:05 +00:00
timofey
e655d40ecd FactoryModeProxy 2023-07-29 19:09:13 +00:00
timofey
ecdefe53cd Mode::x methods 2023-07-29 18:53:13 +00:00
timofey
3bbcfadec7 Mode::ExtensionResult 2023-07-29 18:43:15 +00:00
timofey
4a762dd00f Mode::seal 2023-07-29 18:33:40 +00:00
timofey
5dff836c58 Mode 2023-07-29 18:32:11 +00:00
timofey
b7e3beacb6 loosen tree bounds 2023-07-29 15:04:29 +00:00
timofey
fd2bae70ac loosen AoProxy 2023-07-29 14:58:38 +00:00
timofey
c288b106e3 loosen Point::resolve 2023-07-29 14:50:57 +00:00
timofey
aed81eac83 loosen InlineableFactory for NullableFactory 2023-07-29 14:42:56 +00:00
timofey
510f22efd2 ParseFactory -> FactoryParse 2023-07-29 14:37:19 +00:00
timofey
2678ef956b loosen InlineableFactory for PointFactory 2023-07-29 14:34:17 +00:00
timofey
4b2cbecd5b loosen icnext_point 2023-07-29 14:32:23 +00:00
timofey
486b4de7f8 loosen inext_point 2023-07-29 14:31:10 +00:00
timofey
56208d05f2 loosen Point::from_address 2023-07-29 14:30:02 +00:00
timofey
54e4d092b5 loosen ResolverOrigin 2023-07-29 14:26:09 +00:00
timofey
7995d536a7 loosen _resolve_origin 2023-07-29 14:23:58 +00:00
timofey
402a931e60 loosen parse_slice 2023-07-29 14:22:20 +00:00
timofey
eff8fd2df4 loosen _parse_slice 2023-07-29 14:21:54 +00:00
timofey
27b994fe5b loosen FactoryExt 2023-07-29 14:21:23 +00:00
timofey
4ae569c5fa loosen Factory impl 2023-07-29 14:19:52 +00:00
timofey
f4da5f0d6a loosen ParseFactory implementation 2023-07-29 14:18:01 +00:00
timofey
af813bf51f ParseFactory 2023-07-29 14:17:01 +00:00
timofey
f7290cdcfc _parse_slice generic over factory 2023-07-29 14:13:48 +00:00
timofey
f29ea3dbc8 reorder stack impls 2023-07-29 11:19:33 +00:00
timofey
1f454fec16 loosen StaticPair bounds for tuple 2023-07-29 11:04:34 +00:00
timofey
8ccbf41e84 loosen ExternalPoints impl bounds 2023-07-29 10:49:29 +00:00
timofey
9f1b9d6b6a loosen ExternalPointsProxy bounds 2023-07-29 10:46:13 +00:00
timofey
c2a69bd384 ExternalPoints blanket impl 2023-07-29 10:44:50 +00:00
timofey
886f6b2117 loosen stack bounds 2023-07-29 10:39:30 +00:00
timofey
0615c07e42 loosen ExternalPoints bounds 2023-07-29 10:33:36 +00:00
timofey
f08b26316f ex_points_typed reformat 2023-07-29 10:33:11 +00:00
timofey
79f1fadf0a rstd::external_points 2023-07-29 10:30:43 +00:00
timofey
c595be270c ExternalPointsProxy 2023-07-29 10:11:42 +00:00
timofey
0fa540f7aa ExternalPoints 2023-07-29 09:55:31 +00:00
timofey
2e73ca8c50 StackCompatibleProxy::T 2023-07-29 09:36:13 +00:00
timofey
7253b2402e remove _Fctr from StackCompatible bound 2023-07-29 09:30:20 +00:00
timofey
434a267507 loosen StaticPair bounds 2023-07-29 09:26:32 +00:00
timofey
d75e7c05a8 decouple FactoryBase from MentionableTop 2023-07-29 09:23:19 +00:00
timofey
f7ad44920f loosen some Point bounds 2023-07-29 08:55:14 +00:00
timofey
8ab5d21089 loosen Origin bounds 2023-07-29 08:52:45 +00:00
timofey
c6b3029798 MentionableTop 2023-07-29 08:46:35 +00:00
timofey
7ebc5ba615 loosen Origin bounds 2023-07-29 08:20:54 +00:00
timofey
c0e7e54e34 loosen StaticPair bounds 2023-07-29 08:16:58 +00:00
timofey
54a6912baf InliningMode 2023-07-29 00:17:27 +00:00
timofey
2e596e4f34 AoProxy 2023-07-28 22:24:03 +00:00
timofey
53266188a3 Atomic: ParseMode 2023-07-28 21:37:35 +00:00
timofey
cf5390fbec reorganise atomic bounds 2023-07-28 21:30:20 +00:00
timofey
dd8e0322e8 rcore::modes::* renaming 2023-07-28 21:24:18 +00:00
timofey
8015a9301b RegularAtomic 2023-07-28 21:22:14 +00:00
timofey
1c5a9a28b7 factory_modes -> modes 2023-07-28 21:13:45 +00:00
timofey
ab5892f238 AtomicBase 2023-07-28 21:12:28 +00:00
timofey
f3eaccfa77 Factory: ModeFactory 2023-07-28 21:06:59 +00:00
timofey
5a7ef36d89 RegularFactory 2023-07-28 20:55:05 +00:00
timofey
57a0e3f3e3 more FactoryBase in bounds 2023-07-28 20:20:05 +00:00
timofey
2c3b7ba52b CheckedParseFailure 2023-07-28 20:10:43 +00:00
timofey
f1b4e7b88e FactoryBase 2023-07-28 19:40:30 +00:00
timofey
c01963809e ? for ControlFlow 2023-07-24 17:19:49 +00:00
timofey
ed57b30d5d remove trailing punctuation in errors 2023-07-09 15:51:59 +00:00
timofey
7d82983ce5 atomic::array 2023-07-09 15:48:39 +00:00
timofey
8c033ed044 remove Context::Fallible implementations 2023-07-06 03:49:36 +00:00
timofey
521702ba99 remove Context::Fallible 2023-07-06 03:48:43 +00:00
timofey
49cfeea849 move FallibleCtxExt to func::context 2023-07-06 03:47:42 +00:00
timofey
0a0d17c34d FallibleContext -> FallibleCtxExt 2023-07-06 03:46:24 +00:00
timofey
10193ccd5b FallibleContext docs 2023-07-06 03:42:12 +00:00
timofey
41b8a192bf FallibleContext for FallibleCtx 2023-07-06 03:40:45 +00:00
timofey
def1236e81 simplify FallibleContext 2023-07-06 03:40:24 +00:00
timofey
7c1fc8bacd FallibleContext imply FallibleCtx 2023-07-06 03:39:49 +00:00
timofey
58a2cd3ca6 FallibleContext via FallibleCtx 2023-07-06 03:39:08 +00:00
timofey
75b4898094 move FallibleWrapped to func::context 2023-07-06 03:35:42 +00:00
timofey
00baa846dd use FallibleWrapped in FallibleContext 2023-07-06 03:34:14 +00:00
timofey
99088a1df8 move FallibleMonad to func::context 2023-07-06 03:32:14 +00:00
timofey
f0381672ff FallibleMonad via FallibleCtx 2023-07-06 03:28:24 +00:00
timofey
6a6e3609b3 Context constrain Fallible 2023-07-06 03:27:32 +00:00
timofey
0834b5e0c8 Context imply FallibleCtx 2023-07-06 03:26:51 +00:00
timofey
9255dd7c24 more ::Fallible disambiguation 2023-07-06 03:26:24 +00:00
timofey
a5898ee761 FallibleContext::stuff disambiguate Fallible 2023-07-06 03:24:21 +00:00
timofey
847c4c93a1 FallibleContext::unstuff disambiguate Fallible 2023-07-06 03:23:51 +00:00
timofey
9c0e99f2e6 FallibleCtx for TestContextTraced 2023-07-06 03:19:52 +00:00
timofey
74d3a00b87 FallibleCtx for TestContextCounted 2023-07-06 03:19:07 +00:00
timofey
0c051a8c90 FallibleCtx for TestContextPlain 2023-07-06 03:18:10 +00:00
timofey
930a1c4d81 pub FallibleCtx 2023-07-06 03:16:12 +00:00
timofey
53378dae98 move Fallible docs 2023-07-06 03:15:00 +00:00
timofey
bf92488b03 FallibleCtx 2023-07-06 03:14:15 +00:00
timofey
8195249e51 remove unnecessary moves from avl 2023-07-04 06:39:28 +00:00
timofey
82141aa35e ResolverExt docs 2023-07-01 15:00:55 +00:00
timofey
664365ba72 simplify Factory::de (typeless) 2023-07-01 14:47:11 +00:00
timofey
6e64fd97e4 simplify Vec::visit (singular) 2023-07-01 14:46:17 +00:00
timofey
4425b4c545 TakesPoints -> PointsVisitor 2023-07-01 14:45:01 +00:00
timofey
ffd0cf6ec2 simplify UnbalancedReference::resolve 2023-07-01 14:42:28 +00:00
timofey
3f0fc22b44 Demoted docs 2023-07-01 14:41:53 +00:00
timofey
f7549c5691 remove dynamic inlining 2023-07-01 14:32:02 +00:00
timofey
35a8308e9f use Demoted in typeless 2023-07-01 14:31:08 +00:00
timofey
4bdac0336d InCtx for Demoted 2023-07-01 14:27:19 +00:00
timofey
f8a8620aff Inlining for Demoted 2023-07-01 14:24:11 +00:00
timofey
62b631d33d InCtx::demote 2023-07-01 14:20:23 +00:00
timofey
0edcafad2a Demoted 2023-07-01 14:08:57 +00:00
timofey
0f031109a6 TakesPoints docs 2023-07-01 02:12:20 +00:00
timofey
7a4c06b4ac ResolverMap docs 2023-07-01 01:00:52 +00:00
timofey
0cb07f105f InliningResultExt docs 2023-07-01 01:00:08 +00:00
timofey
32012615b4 InliningExt docs 2023-07-01 00:59:41 +00:00
timofey
39513d7946 Fctr docs 2023-07-01 00:58:15 +00:00
timofey
785f7b7746 ParseErrorA docs 2023-07-01 00:57:28 +00:00
timofey
6b20d5f9bb ParseError docs 2023-07-01 00:56:47 +00:00
timofey
28478ce7db Mtbl docs 2023-07-01 00:55:48 +00:00
timofey
237128d994 ParseResultA docs 2023-07-01 00:54:15 +00:00
timofey
d29e70fcc5 ResolverMap::resolve_map docs 2023-07-01 00:40:41 +00:00
timofey
29438fc2ec HashResolutionResult docs 2023-07-01 00:27:48 +00:00
timofey
6c635571ed LookupError docs 2023-07-01 00:25:01 +00:00
timofey
5cb2648965 LookupError re-export 2023-07-01 00:23:28 +00:00
timofey
85b9ba0701 ResolutionError::map_parse docs 2023-07-01 00:22:52 +00:00
timofey
80b349b532 Point::resolve_map docs 2023-07-01 00:20:14 +00:00
timofey
32f4b46a44 Origin docs 2023-07-01 00:15:49 +00:00
timofey
f326b8385d remove Addresses::next_point 2023-07-01 00:13:02 +00:00
timofey
e97af875cb InCtx docs 2023-07-01 00:09:16 +00:00
timofey
9d189d2e8e InliningExt docs 2023-07-01 00:05:43 +00:00
timofey
7e4966e2b8 Inlining docs 2023-07-01 00:02:16 +00:00
timofey
d9d50e8bc0 restrict DeCtx visibility 2023-06-30 23:56:52 +00:00
timofey
d0edd0e811 restrict DeCtxT visibility 2023-06-30 23:55:07 +00:00
timofey
d66dd19d16 improve Context::Fallible docs 2023-06-30 23:54:43 +00:00
timofey
cdf8726c5a restrict ControlFlowInstance visibility 2023-06-30 23:43:29 +00:00
timofey
b06c9c8f9f simplify DeCtxT::ad 2023-06-30 23:33:00 +00:00
timofey
98ce4b0e13 adr -> ad 2023-06-30 23:32:09 +00:00
timofey
540fdce02a simplify NullableFactory::deserialize 2023-06-30 23:14:58 +00:00
timofey
b0077e0756 simplify TreeFactory::deserialize 2023-06-30 23:12:56 +00:00
timofey
d6c4ca11b5 StackNodeFactory::parse_point 2023-06-30 23:11:02 +00:00
timofey
75d68e54ba simplify StackNode deserialisation 2023-06-30 23:09:57 +00:00
timofey
f27e9625e8 simplify bool::a_deserialize 2023-06-30 23:02:13 +00:00
timofey
03a809e92b simplify u64::a_deserialize 2023-06-30 23:01:33 +00:00
timofey
ef4cacd650 InliningResultExt 2023-06-30 23:00:20 +00:00
timofey
d6adc543a7 InCtx in Factory::deserialize 2023-06-30 22:46:38 +00:00
timofey
a72d2ed441 remove o_deserialise 2023-06-30 22:30:01 +00:00
timofey
2b06b93268 simplify o_deserialise 2023-06-30 22:28:16 +00:00
timofey
4f13bb73ca a_deserialize inlining 2023-06-30 22:27:31 +00:00
timofey
d330a1e66e rcore::dectx 2023-06-30 22:21:34 +00:00
timofey
23cc08ddf5 move Inlining for Deserializer to rcore 2023-06-30 22:17:34 +00:00
timofey
702bff3276 move Inlining for DeCtx to rcore 2023-06-30 22:16:45 +00:00
timofey
749268f438 move InCtx for DeCtx to rcore 2023-06-30 22:14:08 +00:00
timofey
e9e7ffb57d rcore::inctx 2023-06-30 22:12:47 +00:00
timofey
f6cc23ff5f EmptyInject 2023-06-30 22:05:33 +00:00
timofey
bab0b4169e inlining dyn box 2023-06-30 22:02:38 +00:00
timofey
c016fa44e6 ResultDyn 2023-06-30 21:51:39 +00:00
timofey
6a4cb9504c inlining dyn lifetimes 2023-06-30 21:45:28 +00:00
timofey
b5862b45fd InCtxDyn 2023-06-30 21:35:35 +00:00
timofey
f86c6edf9f InliningDyn unsized 2023-06-30 21:33:24 +00:00
timofey
8cf8680353 InliningDyn 2023-06-30 21:27:31 +00:00
timofey
ca48aba4fb remove InCtxT 2023-06-30 21:17:52 +00:00
timofey
e31945deda TreeFactory inlineable 2023-06-30 21:12:32 +00:00
timofey
a10447457a TracedInject 2023-06-30 21:00:32 +00:00
timofey
6e5302331c testing::inject -> rstd::inject 2023-06-30 20:53:20 +00:00
timofey
404fc8c802 CountedInject 2023-06-30 20:50:03 +00:00
timofey
e3ca573bdf unhide Inject 2023-06-30 20:43:26 +00:00
timofey
8c8752c2e4 delete CastResult 2023-06-30 20:35:41 +00:00
timofey
671f0df6ae Inject::inject_mentionable 2023-06-30 20:30:32 +00:00
timofey
64ffe31672 ResolverExt 2023-06-30 20:26:10 +00:00
timofey
b333548757 hide SingularResolution 2023-06-30 20:20:45 +00:00
timofey
b50d7582ba Origin::resolve_bytes 2023-06-30 20:19:16 +00:00
timofey
7a88f17c36 AddressPointMismatch fix format 2023-06-30 20:01:43 +00:00
timofey
ba87a07ce6 ExtSerializable -> SerializableExt 2023-06-30 19:33:11 +00:00
timofey
e49bb3d37a ParseResultA 2023-06-30 19:32:49 +00:00
timofey
9f1708a772 counted.rs simplify use 2023-06-30 19:19:39 +00:00
timofey
d668e023e3 simpler TypelessFactory::deserialize 2023-06-30 19:03:52 +00:00
timofey
19a55bf626 InlineableFactory::ideserialize 2023-06-30 19:01:25 +00:00
timofey
ba33f82ecb simpler StaticPairFactory::deserialize 2023-06-30 18:49:26 +00:00
timofey
7dbc734c53 simpler StackNodeFactory::deserialize 2023-06-30 18:47:18 +00:00
timofey
24d10c7f54 PointFactory::inner 2023-06-30 18:44:00 +00:00
timofey
a5a4cadef6 InCtx::icnext_* 2023-06-30 18:36:09 +00:00
timofey
c981eee116 inext_point remove unnecessary lifetime 2023-06-30 18:33:32 +00:00
timofey
c046a1b147 InliningAddresses unsized 2023-06-30 18:28:04 +00:00
timofey
9db2609402 re-export InliningAddresses 2023-06-28 17:24:11 +00:00
timofey
8ad50fa9b1 InliningAddresses::inext_point 2023-06-28 17:21:01 +00:00
timofey
effc7f4527 InliningAddresses 2023-06-28 16:55:27 +00:00
timofey
2ff8e11317 Inlining::iread_all 2023-06-28 16:44:18 +00:00
timofey
3b5349de62 rcore::inlining 2023-06-28 16:41:37 +00:00
timofey
cb56595d45 iread_n_const: unwrap->expect 2023-06-28 16:39:18 +00:00
timofey
8558b8d1ba Inlining::itell 2023-06-28 16:36:19 +00:00
timofey
1ad66307e8 DeCtx::tell 2023-06-28 16:36:08 +00:00
timofey
90dbac2865 Inlining rename 2023-06-28 16:33:47 +00:00
timofey
c48dee1fe3 InlineableDeCtx: InlineableDeserializer 2023-06-28 16:16:13 +00:00
timofey
5baf4bf4ad InlineableAtomic::a_ideserialize 2023-06-28 16:11:47 +00:00
timofey
a05dcb7ff8 InlineableDeserializerExt 2023-06-28 16:03:34 +00:00
timofey
fb4bcd6c9e iread_n_const 2023-06-28 15:58:22 +00:00
timofey
6d9a35ba27 ADParseResult 2023-06-28 15:49:44 +00:00
timofey
712026be40 AParseResult 2023-06-28 15:45:52 +00:00
timofey
59e3e4f5d6 IParseResult 2023-06-28 15:41:57 +00:00
timofey
882a667249 InlineableDeserializer, InlineableDeCtx 2023-06-28 15:40:31 +00:00
timofey
0fa94faae9 AtomicExt docs fix 2023-06-28 15:07:25 +00:00
timofey
805809a7ba AtomicExt::o_deserialise 2023-06-28 15:06:27 +00:00
timofey
d3d36d973d DeCtx 2023-06-28 15:03:09 +00:00
timofey
422275bbeb resolver by reference 2023-06-28 14:29:39 +00:00
timofey
0fdf7532dc pick_smaller -> compare 2023-06-28 13:52:43 +00:00
timofey
6ad8dcc93f de remove match 2023-06-28 13:29:38 +00:00
timofey
14cf1bb3bc fix pair docs 2023-06-28 13:05:28 +00:00
timofey
bfff862b03 remove Pair 2023-06-28 13:00:38 +00:00
timofey
0e8dddfa21 use join function instead of macro 2023-06-28 12:11:45 +00:00
timofey
f1bef0ed2c ResolverMap::resolve_map 2023-06-23 12:50:16 +00:00
timofey
28cfaf47d5 move inject out 2023-06-23 12:37:25 +00:00
timofey
93d42626ae use Inject::inject 2023-06-23 12:34:55 +00:00
timofey
99b87c2e29 Point::resolve_map 2023-06-23 12:31:11 +00:00
timofey
479d011123 AVL refactor 2023-06-20 07:23:05 +00:00
timofey
de26092abc LookupError type 2023-06-19 13:23:58 +00:00
timofey
673ab92662 ParseErrorA 2023-06-19 13:21:10 +00:00
timofey
2683f1d5ea InlineableFactory::extension_error 
closes #4
 2023-06-19 13:15:07 +00:00
timofey
4b44733845 ParseResult in extend signature 2023-06-19 12:57:12 +00:00
timofey
14f5c6a13f InlineableObject: Mentionable 2023-06-19 12:53:58 +00:00
timofey
2af7c5cab0 TreeContext::node_heights 2023-06-19 07:20:52 +00:00
timofey
5973fe94eb remove collections::avl 2023-06-18 14:44:29 +00:00
timofey
56205b8e6e remove avl::binary 2023-06-18 14:43:35 +00:00
timofey
7ac9ee1bec remove avl::context 2023-06-18 14:42:44 +00:00
timofey
fce211571f TreeContext more impls 2023-06-18 14:41:35 +00:00
timofey
c3e992bc10 fix dots in BalancingError display 2023-06-18 13:58:01 +00:00
timofey
41106290b9 TreeContext 2023-06-18 13:53:51 +00:00
timofey
0aa6feaa2d Tree::validate_height 2023-06-18 13:31:27 +00:00
timofey
b437ff3514 TreeParseError::HeightValue 2023-06-18 13:27:05 +00:00
timofey
9d5b4c5fd4 simplify BalancingError 2023-06-18 13:20:34 +00:00