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