We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3fc2d1c commit e0a15eeCopy full SHA for e0a15ee
src/Control/Monad/Free/Trans.purs
@@ -13,15 +13,13 @@ module Control.Monad.Free.Trans
13
14
import Prelude
15
16
-import Data.Maybe
17
-import Data.Tuple
18
-import Data.Exists
19
-import Data.Either (Either(..), either)
+import Data.Exists (Exists(), mkExists, runExists)
+import Data.Either (Either(..))
20
import Data.Bifunctor (bimap)
21
22
import Control.Bind ((<=<))
23
-import Control.Monad.Trans (MonadTrans, lift)
24
import Control.Monad.Rec.Class (MonadRec, tailRecM)
+import Control.Monad.Trans (MonadTrans)
25
26
-- | Instead of implementing `bind` directly, we capture the bind using this data structure, to
27
-- | evaluate later.
0 commit comments