Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 880ade17dc Manually uncurry the success continuation (?) master Danila Fedorin 2023-03-12 22:17:00 -0700
• 3fe4f60542 Add experimental MonadRec instance for SFKT Danila Fedorin 2023-03-12 21:03:26 -0700
• e19721af5e Avoid calling failure continuation in msplit Danila Fedorin 2023-03-12 00:31:02 -0800
• 9f91c31b2d Add a lazy instance for LogicT. Danila Fedorin 2023-03-12 00:02:36 -0800
• 398fccecf0 Fix StateT and ReaderT interleave instances Danila Fedorin 2023-03-11 23:35:55 -0800
• 95c83a1ec0 Export SFKT constructor Danila Fedorin 2023-03-11 18:54:02 -0800
• a2d2b10e86 Make the failure continuation a function to avoid strictness Danila Fedorin 2023-03-04 22:02:15 -0800
• 1a2f69036c Make once really only run once Danila Fedorin 2023-03-04 21:47:41 -0800
• 2facde2377 Update test code Danila Fedorin 2023-03-04 19:01:57 -0800
• e08de1f8f7 Add MonadLogic instence for ReaderT Danila Fedorin 2023-03-04 19:01:23 -0800
• c2088a6967 Weaken the constraint on running once Danila Fedorin 2023-03-04 15:22:52 -0800
• 45b21d50f9 Add a way to only get one value out Danila Fedorin 2023-03-04 15:16:51 -0800
• f1792e6627 Change runSFKT to report all results of execution Danila Fedorin 2023-03-04 15:14:14 -0800
• 24298710fa Remove unused imports Danila Fedorin 2023-02-28 19:17:59 -0800
• b3d9b10eb6 Update package specification Danila Fedorin 2023-02-28 19:03:17 -0800
• 66de5244af Add tests for the logic monad transformer Danila Fedorin 2023-02-28 18:54:24 -0800
• 529879736a Refactor the Logic monad into Class and Trans modules Danila Fedorin 2023-02-28 18:54:07 -0800
• 124b9a8d56 Add initial implementation of MonadLogic and SFKT-based LogicT Danila Fedorin 2023-02-28 17:51:22 -0800
• 76507ebaab Initial commit Danila Fedorin 2023-02-27 20:32:51 -0800