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 dde33a8 commit 377f33dCopy full SHA for 377f33d
README.md
@@ -25,6 +25,8 @@
25
26
instance monadListT :: (Monad f) => Monad (ListT f)
27
28
+ instance monadTransListT :: MonadTrans ListT
29
+
30
instance monoidListT :: (Applicative f) => Monoid (ListT f a)
31
32
instance semigroupListT :: (Applicative f) => Semigroup (ListT f a)
src/Control/Monad/ListT.purs
@@ -95,6 +95,9 @@ module Control.Monad.ListT
95
96
97
98
+ instance monadTransListT :: MonadTrans ListT where
99
+ lift = fromEffect
100
101
singleton :: forall f a. (Applicative f) => a -> ListT f a
102
singleton a = prepend a nil
103
0 commit comments