|
|
59a771630f
|
reduce ImplMode bounds in stack
|
2023-07-29 21:39:05 +00:00 |
|
|
|
89a035bcdb
|
delete ExternalPoints
|
2023-07-29 21:34:58 +00:00 |
|
|
|
027a46da2f
|
loosen InliningAtomic factory
|
2023-07-29 21:17:01 +00:00 |
|
|
|
a170dd9f30
|
loosen RegularAtomic factory
|
2023-07-29 21:14:38 +00:00 |
|
|
|
699fa9a537
|
loosen WithParseMode for Atomics
|
2023-07-29 21:10:37 +00:00 |
|
|
|
678cb199ef
|
delete AoProxy
|
2023-07-29 21:06:01 +00:00 |
|
|
|
3ce4a3b676
|
loosen AoProxy
|
2023-07-29 20:58:47 +00:00 |
|
|
|
7fa37c28a4
|
QInliningAtomic
|
2023-07-29 20:53:53 +00:00 |
|
|
|
7f4ed56851
|
loosen Atomic impl
|
2023-07-29 20:46:06 +00:00 |
|
|
|
4697d71436
|
Atomic via AtomicModeProxy
|
2023-07-29 20:44:45 +00:00 |
|
|
|
0d8a10fae6
|
decouple RegularAtomic from ImplMode
|
2023-07-29 20:35:32 +00:00 |
|
|
|
ef250932b6
|
impl AtomicModeParse
|
2023-07-29 20:33:10 +00:00 |
|
|
|
e90aadf67c
|
AtomicModeProxy
|
2023-07-29 20:30:24 +00:00 |
|
|
|
560e363a63
|
AtomicModeParse
|
2023-07-29 20:27:26 +00:00 |
|
|
|
7c64e38954
|
decouple InliningAtomic from ImplMode
|
2023-07-29 20:19:38 +00:00 |
|
|
|
7d07f5ffea
|
"inlineable" -> "inlining"
|
2023-07-29 20:16:52 +00:00 |
|
|
|
5a5f1f5199
|
ImplMode
|
2023-07-29 20:14:00 +00:00 |
|
|
|
bd62ae8dbb
|
mprepare
|
2023-07-29 19:59:42 +00:00 |
|
|
|
b9581de5c4
|
Mode::ExtensionSource
|
2023-07-29 19:53:14 +00:00 |
|
|
|
3749c30512
|
delete FactoryProxy
|
2023-07-29 19:31:44 +00:00 |
|
|
|
486d7e7af8
|
FactoryParse via FactoryModeParse
|
2023-07-29 19:28:44 +00:00 |
|
|
|
4a9c2c0c3b
|
impl FactoryModeProxy
|
2023-07-29 19:20:05 +00:00 |
|
|
|
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 |
|
|
|
2678ef956b
|
loosen InlineableFactory for PointFactory
|
2023-07-29 14:34:17 +00:00 |
|
|
|
af813bf51f
|
ParseFactory
|
2023-07-29 14:17:01 +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 |
|
|
|
ab5892f238
|
AtomicBase
|
2023-07-28 21:12:28 +00:00 |
|
|
|
f3eaccfa77
|
Factory: ModeFactory
|
2023-07-28 21:06:59 +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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
62b631d33d
|
InCtx::demote
|
2023-07-01 14:20:23 +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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
bab0b4169e
|
inlining dyn box
|
2023-06-30 22:02:38 +00:00 |
|
