AF alisa
0 Followers · 0 Following
  • Joined on 2022-08-18
Repositories
2
 Projects Packages Public Activity Starred Repositories
8
alisa pushed to main at PTV/radn-rs 2023-05-26 10:07:03 +00:00
1772ca5186 Wrap via WeakFunctorA
alisa pushed to main at PTV/radn-rs 2023-05-26 10:03:56 +00:00
40937439c7 Functor lift lifetimes
alisa pushed to main at PTV/radn-rs 2023-05-26 09:26:01 +00:00
044ffbcda0 Pure lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 09:21:12 +00:00
7f69b10e2e ApplicativeSeq+ApplicativeLA2 lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 09:10:32 +00:00
73f8a2f356 SpeculativeFail lifetime elision
alisa pushed to main at PTV/radn-rs 2023-05-26 09:09:30 +00:00
dab754adf4 ApplicativeTuple lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 09:04:49 +00:00
0e3c1f5d45 ApplicativeSelect lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 08:58:31 +00:00
dde3af2386 Applicative lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 08:53:01 +00:00
906e159737 Monad lift lifetime
alisa pushed to main at PTV/radn-rs 2023-05-26 08:05:56 +00:00
859f217902 WeakFunctorA
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