From 95c83a1ec01d01ff9a3e1d9762c389ac3a54815a Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sat, 11 Mar 2023 18:54:02 -0800 Subject: [PATCH] Export SFKT constructor --- 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 e37e0d5..692943d 100644 --- a/src/Control/Monad/Logic/Trans.purs +++ b/src/Control/Monad/Logic/Trans.purs @@ -1,4 +1,4 @@ -module Control.Monad.Logic.Trans (SFKT, runSFKT, runSFKTOnce) where +module Control.Monad.Logic.Trans (SFKT(..), FK, SK, unSFKT, runSFKT, runSFKTOnce) where import Prelude (class Applicative, class Apply, class Bind, class Functor, class Monad, bind, pure, ($), (<<<), (>>=), const, Unit, unit) import Control.Monad.Logic.Class