Everything-I-Know-About-Types
/
logict
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
19 Commits
1 Branch
0 Tags
508 KiB
Tag: Branch: Tree: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

19 Commits (master)
 

Author SHA1 Message Date
Danila Fedorin 880ade17dc Manually uncurry the success continuation (?)
3 months ago
Danila Fedorin 3fe4f60542 Add experimental MonadRec instance for SFKT
3 months ago
Danila Fedorin e19721af5e Avoid calling failure continuation in msplit
3 months ago
Danila Fedorin 9f91c31b2d Add a lazy instance for LogicT.
3 months ago
Danila Fedorin 398fccecf0 Fix StateT and ReaderT interleave instances
3 months ago
Danila Fedorin 95c83a1ec0 Export SFKT constructor
3 months ago
Danila Fedorin a2d2b10e86 Make the failure continuation a function to avoid strictness
3 months ago
Danila Fedorin 1a2f69036c Make once really only run once
3 months ago
Danila Fedorin 2facde2377 Update test code
3 months ago
Danila Fedorin e08de1f8f7 Add MonadLogic instence for ReaderT
3 months ago
Danila Fedorin c2088a6967 Weaken the constraint on running once
3 months ago
Danila Fedorin 45b21d50f9 Add a way to only get one value out
3 months ago
Danila Fedorin f1792e6627 Change runSFKT to report all results of execution
3 months ago
Danila Fedorin 24298710fa Remove unused imports
3 months ago
Danila Fedorin b3d9b10eb6 Update package specification
3 months ago
Danila Fedorin 66de5244af Add tests for the logic monad transformer
3 months ago
Danila Fedorin 529879736a Refactor the Logic monad into Class and Trans modules
3 months ago
Danila Fedorin 124b9a8d56 Add initial implementation of MonadLogic and SFKT-based LogicT
3 months ago
Danila Fedorin 76507ebaab Initial commit
3 months ago