|
|
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 |
|
|
|
f832d7a997
|
improved LocalFunctor
|
2023-04-24 17:51:04 +00:00 |
|
|
|
07bf80d7e6
|
Pure::pure docs fix
|
2023-04-24 17:23:17 +00:00 |
|
|
|
1a5e9f15f3
|
Pure + LocalFunctor
|
2023-04-24 17:21:36 +00:00 |
|
|
|
e89e44d129
|
rbtree
|
2023-04-24 13:36:57 +00:00 |
|
|
|
d9942857bc
|
extract traceable
|
2023-04-23 22:01:43 +00:00 |
|
|
|
dd5f8ccaf4
|
trace render
|
2023-04-23 20:59:36 +00:00 |
|
|
|
7b0626b05f
|
simplify binding in trace formatting
|
2023-04-23 16:43:13 +00:00 |
|
|
|
c079fc3153
|
import reorganized
|
2023-04-23 16:25:40 +00:00 |
|
|
|
4afbdb81a5
|
remove pub from Traced::wrapped
|
2023-04-23 15:49:34 +00:00 |
|
|
|
794d071fa9
|
extract tracing
|
2023-04-23 15:48:00 +00:00 |
|
|
|
8b61c936ca
|
Diagnostic + TestContextTraced
|
2023-04-23 14:30:32 +00:00 |
|
|
|
a432f65848
|
addresses tests
|
2023-04-23 03:10:17 +00:00 |
|
|
|
c91c8f5a0d
|
TestContextCounted
|
2023-04-23 02:46:10 +00:00 |
|
|
|
1aa0cff0b6
|
extract addresses
|
2023-04-23 00:54:58 +00:00 |
|
|
|
0cbb98ac84
|
extract resolver_origin
|
2023-04-23 00:52:07 +00:00 |
|
|
|
7951425738
|
extract resolution
|
2023-04-23 00:47:47 +00:00 |
|
|
|
1b00d2c326
|
move deserializer to serialization
|
2023-04-23 00:40:31 +00:00 |
|
|
|
9b7c716595
|
extract hashing and serialization
|
2023-04-23 00:36:14 +00:00 |
|
