From c2088a696727d26cb41b2553d24f3909f0525e12 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sat, 4 Mar 2023 15:22:52 -0800 Subject: [PATCH] Weaken the constraint on running once --- src/Control/Monad/Logic/Trans.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Control/Monad/Logic/Trans.purs b/src/Control/Monad/Logic/Trans.purs index d1ed097..f0f5208 100644 --- a/src/Control/Monad/Logic/Trans.purs +++ b/src/Control/Monad/Logic/Trans.purs @@ -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