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

Export SFKT constructor

Browse Source
This commit is contained in:
Danila Fedorin 2023-03-11 18:54:02 -08:00
parent a2d2b10e86
commit 95c83a1ec0
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

@ -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