AF alisa
  • Joined on 2022-08-18
alisa pushed to main at PTV/radn-rs 2023-05-26 07:55:45 +00:00
c9d0801f88 MonadFailAnyExt lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 07:53:23 +00:00
3ab54e29e0 ApplicativeSelectExt lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 07:50:16 +00:00
d78879f012 remove Alternative
alisa pushed to main at PTV/radn-rs 2023-05-26 07:47:33 +00:00
1750be2df9 MonadExt lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 07:41:44 +00:00
68f9c82402 extract lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 06:25:23 +00:00
9a2547a4e7 split speculative methods
alisa pushed to main at PTV/radn-rs 2023-05-25 18:15:15 +00:00
6811d81932 regularise speculative naming
alisa pushed to main at PTV/radn-rs 2023-05-25 17:19:26 +00:00
3d0e96e22b select_map
alisa pushed to main at PTV/radn-rs 2023-05-25 13:55:56 +00:00
8ffaf6be20 extra type alias
alisa pushed to main at PTV/radn-rs 2023-05-25 13:46:59 +00:00
a935ba68f5 more type aliases
alisa pushed to main at PTV/radn-rs 2023-05-24 06:59:50 +00:00
258a2c8f80 simplify select
alisa pushed to main at PTV/radn-rs 2023-05-24 06:52:44 +00:00
ff3f101f00 style fix
alisa pushed to main at PTV/radn-rs 2023-05-23 21:21:05 +00:00
725eb6636e MonadFailAnyExt:speculative
alisa pushed to main at PTV/radn-rs 2023-05-23 13:28:35 +00:00
d9c8cff1db rename classes to instances
alisa pushed to latest at PTV/book-monads 2023-05-23 13:28:26 +00:00
f1dd33d61f rename classes to instances
alisa pushed to main at PTV/radn-rs 2023-05-23 12:52:30 +00:00
032c4ea9b3 pub FutureFailAny
alisa pushed to main at PTV/radn-rs 2023-05-23 12:42:11 +00:00
6048c5504b MonadFailAny::join
alisa pushed to main at PTV/radn-rs 2023-05-23 12:08:56 +00:00
907d6530f6 remove unnecessary restriction on join
alisa pushed to main at PTV/radn-rs 2023-05-23 12:05:07 +00:00
feb5e5daec remove AIterative, extract iterate_mut
alisa pushed to main at PTV/radn-rs 2023-05-22 20:59:38 +00:00
b6980cc050 simplify ApplicativeSelect for CompositionClass