Commit Graph

744 Commits

Author SHA1 Message Date
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
8bf83d993b book changes 2023-05-03 23:10:09 +00:00
080757cdad migrate the book 2023-05-03 12:05:48 +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
21e4496201 ch04 reorg 2023-05-02 00:49:23 +00:00
509ffacd4c "concerns" chapter 2023-04-30 13:38:56 +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