Commit Graph

141 Commits

Author SHA1 Message Date
73c4458f23 move speculative 2023-05-28 11:36:04 +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
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
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
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
3ab54e29e0 ApplicativeSelectExt lift lifetime 2023-05-26 07:53:20 +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
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
e02b125ee8 EmbedFail 2023-05-20 14:32:54 +00:00
3ab74bfbbd additional overloads 2023-05-20 14:19:38 +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
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
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
629a0c9c83 derivations::bind 2023-05-07 18:21:57 +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
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
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
3f6d290f5c unbalanced tree 2023-04-25 17:40:04 +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
6a19cdaf81 MonadFailAny + MonadFailOver + Context::Fallible 2023-04-24 22:45:43 +00:00
f832d7a997 improved LocalFunctor 2023-04-24 17:51:04 +00:00
1a5e9f15f3 Pure + LocalFunctor 2023-04-24 17:21:36 +00:00
c079fc3153 import reorganized 2023-04-23 16:25:40 +00:00
eb153d6396 ibind/IState 2023-04-22 15:30:33 +00:00
a5fef129fe func docs 2023-04-21 20:58:13 +00:00
4ad05fbe7c move derivations into a separate module 2023-04-21 18:14:31 +00:00
8928d25e68 ApplicativeTuple 2023-04-21 18:06:31 +00:00
379e8bc2cd atomic factory 2023-04-21 10:04:10 +00:00
6e0dfd4b5e stackless 2023-04-07 21:29:35 +00:00
504c0abc4c impls in tests 2023-03-26 18:49:22 +00:00
5d9a0a10df remove useless compose 2023-03-26 17:58:25 +00:00
6aa149ee6a impl sugar 2023-03-26 11:59:50 +00:00
f82020f766 CompositionClass + two RCs 2023-03-17 09:26:56 +00:00
bfd7f95407 derivation sacrificed 2023-03-14 10:09:49 +00:00
0a4f00a172 CarriesType + partial core 2023-03-13 00:22:50 +00:00
00c5239ce5 ResultClass + better lifetimes + less matches 2023-03-12 20:47:49 +00:00
b264389cbf some docs + clippy fixes 2023-03-12 20:04:41 +00:00
bd349c96e8 CloneFunctor 2023-03-12 08:31:10 +00:00
d3ec497ec4 CopyMonad 2023-03-12 08:14:29 +00:00
ce63e3a1dd no more 'static 2023-03-12 06:49:03 +00:00
18f3001e3f MonadFail + LazyClass 2023-03-12 06:41:31 +00:00
a76b29abb9 new test sample 2023-03-11 23:16:22 +00:00
445fa00165 lifetimes + FutureClass 2023-03-11 04:41:52 +00:00