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 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

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