Commit Graph

543 Commits

Author SHA1 Message Date
64ffe31672 ResolverExt 2023-06-30 20:26:10 +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
ba87a07ce6 ExtSerializable -> SerializableExt 2023-06-30 19:33:11 +00:00
e49bb3d37a ParseResultA 2023-06-30 19:32:49 +00:00
9f1708a772 counted.rs simplify use 2023-06-30 19:19:39 +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
c981eee116 inext_point remove unnecessary lifetime 2023-06-30 18:33:32 +00:00
c046a1b147 InliningAddresses unsized 2023-06-30 18:28:04 +00:00
9db2609402 re-export InliningAddresses 2023-06-28 17:24:11 +00:00
8ad50fa9b1 InliningAddresses::inext_point 2023-06-28 17:21:01 +00:00
effc7f4527 InliningAddresses 2023-06-28 16:55:27 +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
1ad66307e8 DeCtx::tell 2023-06-28 16:36:08 +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
0fa94faae9 AtomicExt docs fix 2023-06-28 15:07:25 +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
0fdf7532dc pick_smaller -> compare 2023-06-28 13:52:43 +00:00
6ad8dcc93f de remove match 2023-06-28 13:29:38 +00:00
14cf1bb3bc fix pair docs 2023-06-28 13:05:28 +00:00
bfff862b03 remove Pair 2023-06-28 13:00:38 +00:00
0e8dddfa21 use join function instead of macro 2023-06-28 12:11:45 +00:00
f1bef0ed2c ResolverMap::resolve_map 2023-06-23 12:50:16 +00:00
28cfaf47d5 move inject out 2023-06-23 12:37:25 +00:00
93d42626ae use Inject::inject 2023-06-23 12:34:55 +00:00
99b87c2e29 Point::resolve_map 2023-06-23 12:31:11 +00:00
479d011123 AVL refactor 2023-06-20 07:23:05 +00:00
de26092abc LookupError type 2023-06-19 13:23:58 +00:00
673ab92662 ParseErrorA 2023-06-19 13:21:10 +00:00
2683f1d5ea InlineableFactory::extension_error
closes #4
2023-06-19 13:15:07 +00:00
4b44733845 ParseResult in extend signature 2023-06-19 12:57:12 +00:00
14f5c6a13f InlineableObject: Mentionable 2023-06-19 12:53:58 +00:00
2af7c5cab0 TreeContext::node_heights 2023-06-19 07:20:52 +00:00
5973fe94eb remove collections::avl 2023-06-18 14:44:29 +00:00
56205b8e6e remove avl::binary 2023-06-18 14:43:35 +00:00
7ac9ee1bec remove avl::context 2023-06-18 14:42:44 +00:00
fce211571f TreeContext more impls 2023-06-18 14:41:35 +00:00
c3e992bc10 fix dots in BalancingError display 2023-06-18 13:58:01 +00:00
41106290b9 TreeContext 2023-06-18 13:53:51 +00:00
0aa6feaa2d Tree::validate_height 2023-06-18 13:31:27 +00:00
b437ff3514 TreeParseError::HeightValue 2023-06-18 13:27:05 +00:00
9d5b4c5fd4 simplify BalancingError 2023-06-18 13:20:34 +00:00
4f702288dd BalancingError::Height 2023-06-18 13:03:29 +00:00
ee169f8bf4 HeightError 2023-06-18 12:59:23 +00:00
a1d836ed54 BinaryTreesHeight::node_height_error 2023-06-18 12:55:18 +00:00
133a3c23e5 non-AVL trees 2023-06-18 12:46:02 +00:00
ce32360e35 clarify TreeParseError 2023-06-18 12:34:16 +00:00
3b7eff34d2 fix tree error messages (remove "AVL") 2023-06-18 12:30:37 +00:00
be6924fe4c rstd::colections::tree 2023-06-18 12:28:58 +00:00
d49c8a7133 move bound up 2023-06-18 12:16:14 +00:00
16c939e699 func::weakfunctorany 2023-06-18 12:00:31 +00:00
582dd76eab controlflow isolation 2023-06-18 11:55:09 +00:00
a067d041f4 move ControlFlow to func::controlflow 2023-06-18 11:51:03 +00:00
fbdb056fa1 func::local isolation 2023-06-18 11:48:25 +00:00
6dfab12dbf func::fail isolation 2023-06-18 11:43:26 +00:00
25ede0db44 func::fail 2023-06-18 11:09:12 +00:00
625ccbdc31 func::shared isolation 2023-06-18 10:44:53 +00:00
e8142ba869 move radn_derive::SharedFunctorAny 2023-06-17 18:49:56 +00:00
eeb1e9e886 remove non-FnOnce classes 2023-06-17 18:48:22 +00:00
c1f48b1c08 AvlTrees 2023-06-17 03:53:40 +00:00
8770541035 remove collections::avl::bounds 2023-06-17 03:20:27 +00:00
b3a191ea5b remove BoundContext 2023-06-17 03:19:09 +00:00
6765c056ab remove mrds::trees::avl 2023-06-17 03:10:31 +00:00
ea9828e2ae node_heights for Trees 2023-06-16 22:39:31 +00:00
634393ba4a PartialOrd -> Ord 2023-06-16 22:13:08 +00:00
ad6e381830 mrds::trees::heighted 2023-06-16 17:29:54 +00:00
20e441be04 bound tests 2023-06-16 16:21:19 +00:00
cc48cc1d24 fixed ctx for closures 2023-06-16 14:02:27 +00:00
0aa8080461 BinaryTreesTryJoin for BalancedTrees 2023-06-16 13:59:00 +00:00
7ec5f413c6 BinaryTreesHeight for BalancedTrees 2023-06-16 13:55:39 +00:00
00e906691c BinaryTreesEmpty for BalancedTrees 2023-06-16 13:54:33 +00:00
93c591d576 BinaryTreesTreeOf for BalancedTrees 2023-06-16 13:51:00 +00:00
0b29004de2 remove height_r 2023-06-16 13:41:41 +00:00
2372c1a1f6 auto-handle height inside BalancedTrees 2023-06-16 13:37:33 +00:00
a897706a91 BalancedTrees 2023-06-16 13:31:58 +00:00
d9c21f639d BinaryTreesHeight::height_r 2023-06-16 13:23:01 +00:00
53cd98aa86 BinaryTreesTreeOf 2023-06-16 12:59:13 +00:00
f38efb0ae0 BinaryTreesTryJoin 2023-06-16 09:49:46 +00:00
d96a2c3920 BinaryTreesAvl::try_join 2023-06-16 09:46:12 +00:00
c4c279cd27 BinaryTreesHeight 2023-06-16 09:44:12 +00:00
711221e4d8 flow::binary::avl 2023-06-16 09:40:35 +00:00
0cd31fa376 mrds::trees::avl 2023-06-16 09:37:42 +00:00
e52737c6cf mrds::trees::unbalanced 2023-06-16 09:35:29 +00:00
4d635e9e6a more concrete BoundsError 2023-06-16 09:27:51 +00:00
e568f70875 remove pub from equal_bound 2023-06-16 09:24:43 +00:00
4f717b01e2 BinaryTreesBindable::bounds_bind 2023-06-16 09:17:25 +00:00
1c589acd85 BinaryTreesAvl for BoundTrees 2023-06-16 09:06:33 +00:00
03b4a4764b BinaryTreesEmpty 2023-06-16 08:53:13 +00:00
1e9258717a remove unnecessary Clone bound 2023-06-16 08:43:51 +00:00
0a0ec3a882 BoundTrees 2023-06-16 08:42:17 +00:00
f0aa3878c4 flow::binary::bounds 2023-06-16 08:00:18 +00:00
e7dc834c8b match self Self 2023-06-16 07:53:07 +00:00
5cbabbdb37 write! 2023-06-16 07:33:32 +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
5f0927c94a reduce Rc usage in stack 2023-06-16 06:32:50 +00:00
cbd80a9307 AtomicObject Clone 2023-06-16 06:32:33 +00:00
b3c6f1defd remove unnecessary .into() 2023-06-16 06:24:16 +00:00
6b04eec9ae reduce Rc usage with binary 2023-06-16 06:23:03 +00:00
5dbd034b86 reduce Rc usage with traversible 2023-06-16 06:08:31 +00:00
a1db73920b RcComparator 2023-06-16 05:57:11 +00:00
344831dc91 delete rbtree 2023-06-16 05:27:06 +00:00
9d3da4f97c simplify StackNodeFactory 2023-06-16 05:22:41 +00:00
5037ee3c84 InlineableFactory implying Factory 2023-06-08 01:12:04 +00:00
48e12f9c95 fix Bounds::join 2023-05-31 15:25:52 +00:00
692802f5de more func:context usage 2023-05-30 15:39:48 +00:00
277bea3eb3 Context via FunctorContext 2023-05-30 15:15:45 +00:00
f4a3220548 rcore::context 2023-05-30 15:08:40 +00:00
8997900157 rcore::diagnostic 2023-05-30 15:07:09 +00:00
8d3593cf2d BTWrap via WrapC 2023-05-30 15:03:46 +00:00
e23252b8cf WrapC 2023-05-30 15:02:47 +00:00
6ec6ba7076 FunctorContext 2023-05-30 15:00:28 +00:00
c565f0b6dc more uniform name s 2023-05-30 13:51:26 +00:00
99a00d0170 join_key_balanced_tree by reference 2023-05-30 13:41:34 +00:00
ada32fdede tree_bind 2023-05-30 13:18:05 +00:00
354c2363c8 BinaryTrees func shortcuts 2023-05-30 12:53:28 +00:00
7b8221b4c3 restructuring 2023-05-30 01:27:57 +00:00
ba28a7acef |resolution| -> |resolved| 2023-05-30 01:01:24 +00:00
6be1000993 avl test 2023-05-30 00:59:31 +00:00
5858fbd897 BinaryTreesMutable::remove 2023-05-30 00:47:36 +00:00
b1a19cc9f5 map_parse 2023-05-30 00:16:19 +00:00
4352f4aa30 fmap reorder 2023-05-30 00:09:38 +00:00
4794dd1d17 la2 reorder 2023-05-30 00:00:14 +00:00
d6231a26a6 select_map reorder 2023-05-29 23:52:57 +00:00
f5cbf65df9 BinaryTreesAvl 2023-05-29 23:51:03 +00:00
beefedaf2b better tree interfaces 2023-05-29 17:21:47 +00:00
f5791c930d rework BinaryTrees 2023-05-29 16:34:57 +00:00
d27a53bcb8 avl::bounds 2023-05-29 16:31:06 +00:00
4736d8d112 binary rework 2023-05-28 21:11:55 +00:00
7296d97ecb flow::comparator 2023-05-28 20:55:36 +00:00
ea161728a6 BinaryTreesMutable 2023-05-28 20:48:44 +00:00
6b1fb24fd8 pub avl 2023-05-28 19:41:28 +00:00
911c26b174 avl 2023-05-28 19:36:33 +00:00
45dbf1a13c au64 2023-05-28 18:20:33 +00:00
1ad533765f boolean formatting fix 2023-05-28 18:20:12 +00:00
73c4458f23 move speculative 2023-05-28 11:36:04 +00:00
107a83ed06 InjectedResolver 2023-05-26 20:34:10 +00:00
0613f3fffc simpler Delayable 2023-05-26 17:18:14 +00:00
133e6e72a3 ApplicativeSelect docs 2023-05-26 17:00:36 +00:00
28fb9715a5 instances docs 2023-05-26 13:30:46 +00:00
74c8eaaf5c effect docs 2023-05-26 12:02:57 +00:00
445e45ddc9 composition docs 2023-05-26 11:55:36 +00:00
d873e33768 style fix 2023-05-26 11:36:16 +00:00
8d435044cc flow docs 2023-05-26 11:33:20 +00:00
1c87e639d4 WeakFunctorAny 2023-05-26 11:16:34 +00:00
1012f9be5e SharedFunctorAny 2023-05-26 11:14:59 +00:00
bff238ff00 remove unnecessary bounds 2023-05-26 11:10:10 +00:00
d3d249fe96 WeakFunctorA as main; remove CovariantFunctor 2023-05-26 11:07:06 +00:00
1772ca5186 Wrap via WeakFunctorA 2023-05-26 10:07:01 +00:00
40937439c7 Functor lift lifetimes 2023-05-26 10:03:53 +00:00
044ffbcda0 Pure lift lifetime 2023-05-26 09:25:58 +00:00
7f69b10e2e ApplicativeSeq+ApplicativeLA2 lift lifetime 2023-05-26 09:21:09 +00:00
73f8a2f356 SpeculativeFail lifetime elision 2023-05-26 09:10:29 +00:00
dab754adf4 ApplicativeTuple lift lifetime 2023-05-26 09:09:27 +00:00
0e3c1f5d45 ApplicativeSelect lift lifetime 2023-05-26 09:04:46 +00:00
dde3af2386 Applicative lift lifetime 2023-05-26 08:58:28 +00:00
906e159737 Monad lift lifetime 2023-05-26 08:52:58 +00:00
859f217902 WeakFunctorA 2023-05-26 08:05:53 +00:00
c9d0801f88 MonadFailAnyExt lift lifetime 2023-05-26 07:55:42 +00:00
3ab54e29e0 ApplicativeSelectExt lift lifetime 2023-05-26 07:53:20 +00:00
d78879f012 remove Alternative 2023-05-26 07:50:14 +00:00
1750be2df9 MonadExt lift lifetime 2023-05-26 07:47:30 +00:00
68f9c82402 extract lifetime 2023-05-26 07:41:41 +00:00
9a2547a4e7 split speculative methods 2023-05-26 06:25:20 +00:00
6811d81932 regularise speculative naming 2023-05-25 18:15:12 +00:00
3d0e96e22b select_map 2023-05-25 17:19:23 +00:00
8ffaf6be20 extra type alias 2023-05-25 13:55:53 +00:00
a935ba68f5 more type aliases 2023-05-25 13:46:56 +00:00
258a2c8f80 simplify select 2023-05-24 06:59:47 +00:00
ff3f101f00 style fix 2023-05-24 06:52:42 +00:00
725eb6636e MonadFailAnyExt:speculative 2023-05-23 21:21:02 +00:00
d9c8cff1db rename classes to instances 2023-05-23 13:28:32 +00:00
032c4ea9b3 pub FutureFailAny 2023-05-23 12:52:27 +00:00
6048c5504b MonadFailAny::join 2023-05-23 12:42:08 +00:00
907d6530f6 remove unnecessary restriction on join 2023-05-23 12:08:53 +00:00
feb5e5daec remove AIterative, extract iterate_mut 2023-05-23 12:05:04 +00:00
b6980cc050 simplify ApplicativeSelect for CompositionClass 2023-05-22 20:59:35 +00:00
7caf80f372 impl ApplicativeSelect 2023-05-22 11:07:16 +00:00
b9cc2a7eed ApplicativeSelect 2023-05-22 10:11:47 +00:00
45923c401e add r prefixes to avoid confusion 2023-05-22 09:56:05 +00:00
13932f098c &str->String in Diagnostic 2023-05-22 09:50:50 +00:00
8afee51e88 format fix 2023-05-20 14:40:53 +00:00
e02b125ee8 EmbedFail 2023-05-20 14:32:54 +00:00
3ab74bfbbd additional overloads 2023-05-20 14:19:38 +00:00
979d1a587a MonadFailAny default implementations 2023-05-20 13:59:26 +00:00
9a8472e8fd merge MonadFailOver into FutureFailAny 2023-05-20 13:42:58 +00:00
f22509c199 DeriveFailAny 2023-05-20 13:15:04 +00:00
0c7f29060e proper MonadFailAny::bind 2023-05-20 13:12:22 +00:00
2bf4814b92 MonadFailAny::bind 2023-05-20 13:09:15 +00:00
324f99362f MonadFailAnyExt 2023-05-20 12:49:22 +00:00
f1138501ca T -> O 2023-05-20 12:11:06 +00:00
e670c8c600 OverloadClass 2023-05-20 12:09:31 +00:00
96127f9388 I -> F 2023-05-20 11:24:30 +00:00
f1cdbcc2d0 Fail 2023-05-20 06:02:51 +00:00
08d0404ee5 flow::binary 2023-05-20 05:46:20 +00:00
8b4c5d0b43 fix Functor docs 2023-05-18 02:38:11 +00:00
c20df8108b refactor cast 2023-05-14 10:26:40 +00:00
f4dbe1e107 refactor HashResolution 2023-05-14 10:26:25 +00:00
f0170910f6 Send/Sync for MappableOrigin 2023-05-14 09:10:59 +00:00
d09e99b112 core::origin 2023-05-14 08:25:17 +00:00
0b29b12eaa remove some clones 2023-05-14 07:53:25 +00:00
c8d7ce0f44 core::point 2023-05-14 07:50:46 +00:00
a90ea90529 traversible::algorithms 2023-05-14 07:28:33 +00:00
5863532338 simplify TracedClass 2023-05-14 06:13:22 +00:00
cb650c81b5 simplify CountedClass 2023-05-14 06:03:46 +00:00
caca9add1b EffectClass 2023-05-14 05:56:58 +00:00
9f9ff0bf76 more flexible UnbalancedConstructor 2023-05-14 05:18:32 +00:00
629a0c9c83 derivations::bind 2023-05-07 18:21:57 +00:00
5d1349cd80 merge ctypeless+typeless 2023-05-07 17:56:23 +00:00
28065991f7 remove 2 from MentionableExt 2023-05-07 17:52:07 +00:00
2145a9d852 wrapped_origin 2023-05-07 17:41:56 +00:00
084d99b82b remove MentionableExt from ctypeless 2023-05-07 17:24:18 +00:00
17f974fb0f core::typeless->std::ctypeless 2023-05-07 17:22:36 +00:00
aa4f47baf8 localise MentionableExt 2023-05-07 17:09:17 +00:00
8410d6ad7f detached std::{typeless,cast} from points 2023-05-07 17:04:47 +00:00
43ae010a93 move MentionableExt to core::typeless 2023-05-07 16:56:42 +00:00
83f9296a4f move points_vec out of Mentionable 2023-05-07 16:54:54 +00:00
ff4b4bb5b7 re-implement topology via points_typed 2023-05-07 16:47:03 +00:00
86b87306ef Point::points_typed 2023-05-07 16:37:43 +00:00
96f697e285 TakesPoints 2023-05-07 16:26:19 +00:00
0340c25c86 InlineableAtomic implies Atomic 2023-05-05 21:38:47 +00:00
73535fcf7d A/a_ prefixes for Atomic
to allow for Factory parsing later
2023-05-05 21:30:41 +00:00
abadb16cbf let that Sync in 2023-05-05 21:24:48 +00:00
c29225ccfd rearrange Factory base traits 2023-05-05 20:14:09 +00:00
1a57bcd083 _resolve_origin refactor 2023-05-03 11:00:58 +00:00
8a384caab0 TryFutureClass + FutureFailAny 2023-05-02 19:29:53 +00:00
4fe248f77b Monad::iterate
closes #9
2023-04-27 08:15:42 +00:00
38f6aef9d0 Iterative -> AIterative 2023-04-27 07:48:07 +00:00
2a2ea431ac Iterative docs fix 2023-04-27 07:40:05 +00:00
a791fb818f iibind
closes #8
2023-04-27 07:33:54 +00:00
ee131e7446 limit ControlFlowClass visibility 2023-04-27 05:51:50 +00:00