|
|
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 |
|
|
|
b5d55fe672
|
CovariantFunctor for testing classes
|
2023-04-27 05:30:04 +00:00 |
|
|
|
73e9b9efb3
|
ControlFlow
closes #6
|
2023-04-27 05:26:07 +00:00 |
|
|
|
b05326089d
|
derive(CovariantFunctor)
|
2023-04-27 04:57:13 +00:00 |
|
|
|
a691f6d8b7
|
CovariantFunctor for CompositionClass
|
2023-04-27 04:50:49 +00:00 |
|
|
|
4d1202d399
|
CovariantFunctor
|
2023-04-27 04:50:35 +00:00 |
|
|
|
d4e2b5338c
|
book
|
2023-04-26 20:34:49 +00:00 |
|
|
|
2e9d1ac221
|
more specific replace/void for option/result
|
2023-04-26 16:29:00 +00:00 |
|
|
|
d152e2196d
|
MonadFail for SoloClass
|
2023-04-26 03:42:08 +00:00 |
|
|
|
41972e28c5
|
MonadFail for OptionClass
|
2023-04-26 03:41:56 +00:00 |
|
|
|
bd361833b5
|
bind_err/rotate_out
|
2023-04-26 03:37:06 +00:00 |
|
|
|
9890684dcb
|
traversible clippy fix
|
2023-04-26 01:15:12 +00:00 |
|
|
|
0abdfe9751
|
result-based subset check
|
2023-04-25 23:46:24 +00:00 |
|
|
|
4809d08082
|
rectangle rendering
|
2023-04-25 19:04:22 +00:00 |
|
|
|
3f6d290f5c
|
unbalanced tree
|
2023-04-25 17:40:04 +00:00 |
|
|
|
9ef14b53ac
|
fix subset check
|
2023-04-25 17:39:25 +00:00 |
|
|
|
5d604d2834
|
MonadFailAny::map_err
|
2023-04-25 15:11:12 +00:00 |
|
|
|
4d6cfaac1c
|
istate docs
|
2023-04-25 15:03:20 +00:00 |
|
|
|
68bce93ede
|
derive(SharedFunctor)
|
2023-04-25 14:32:50 +00:00 |
|
|
|
21edad6c75
|
SharedFunctor for LazyClass
|
2023-04-25 11:33:11 +00:00 |
|
|
|
9d0d9028a4
|
SharedFunctor for CompositionClass
|
2023-04-25 10:52:40 +00:00 |
|
|
|
eb1c8f0167
|
SharedFunctor
|
2023-04-25 10:48:16 +00:00 |
|
|
|
2ef556a71e
|
IStateClass
|
2023-04-25 01:55:23 +00:00 |
|
|
|
77846511b2
|
boolean tests
|
2023-04-25 00:07:14 +00:00 |
|
|
|
8d74cd6f3f
|
flow docs
|
2023-04-24 23:54:49 +00:00 |
|
|
|
f776bf05ca
|
fallible docs
|
2023-04-24 23:24:09 +00:00 |
|
|
|
d465d06895
|
more detailed core docs
|
2023-04-24 23:17:40 +00:00 |
|
|
|
8314dfa320
|
ExtContext
|
2023-04-24 22:57:53 +00:00 |
|
|
|
6a19cdaf81
|
MonadFailAny + MonadFailOver + Context::Fallible
|
2023-04-24 22:45:43 +00:00 |
|
|
|
5c9e4985b6
|
rbtree::subset
|
2023-04-24 22:12:18 +00:00 |
|
|
|
911e536c67
|
flow::traversible
|
2023-04-24 22:11:52 +00:00 |
|
|
|
3cc868d8d3
|
std::fallible
|
2023-04-24 19:41:43 +00:00 |
|
