Everything-I-Know-About-Types
/
logict
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Weaken the constraint on running once

This commit is contained in:
Danila Fedorin 2023-03-04 15:22:52 -08:00
parent 45b21d50f9
commit c2088a6967
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Monad/Logic/Trans.purs
View File

@ -27,7 +27,7 @@ unSFKT (SFKT f) = f
runSFKT :: forall a m. Applicative m => SFKT m a -> m (List a)
runSFKT (SFKT f) = f (map <<< (:)) (pure Nil)
runSFKTOnce :: forall a m. MonadPlus m => SFKT m a -> m a
runSFKTOnce :: forall a m. Alternative m => SFKT m a -> m a
runSFKTOnce (SFKT f) = f ((<|>) <<< pure) empty
instance Functor (SFKT m) where