| /dports/lang/ghc/ghc-8.10.7/libraries/transformers/Control/Monad/Trans/Writer/ |
| H A D | Lazy.hs | 38 WriterT(..),
118 newtype WriterT w m a = WriterT { runWriterT :: m (a, w) } function
121 liftEq eq (WriterT m1) (WriterT m2) = liftEq (liftEq2 eq (==)) m1 m2
125 liftCompare comp (WriterT m1) (WriterT m2) =
163 mapWriterT :: (m (a, w) -> n (b, w')) -> WriterT w m a -> WriterT w' n b
240 mzipWith f (WriterT x) (WriterT y) = WriterT $
260 listen :: (Monad m) => WriterT w m a -> WriterT w m (a, w)
272 listens :: (Monad m) => (w -> b) -> WriterT w m a -> WriterT w m (a, b)
283 pass :: (Monad m) => WriterT w m (a, w -> w) -> WriterT w m a
284 pass m = WriterT $ do
[all …]
|
| H A D | Strict.hs | 41 WriterT(..),
121 newtype WriterT w m a = WriterT { runWriterT :: m (a, w) } type
124 liftEq eq (WriterT m1) (WriterT m2) = liftEq (liftEq2 eq (==)) m1 m2
128 liftCompare comp (WriterT m1) (WriterT m2) =
166 mapWriterT :: (m (a, w) -> n (b, w')) -> WriterT w m a -> WriterT w' n b
243 mzipWith f (WriterT x) (WriterT y) = WriterT $
263 listen :: (Monad m) => WriterT w m a -> WriterT w m (a, w)
275 listens :: (Monad m) => (w -> b) -> WriterT w m a -> WriterT w m (a, b)
286 pass :: (Monad m) => WriterT w m (a, w -> w) -> WriterT w m a
287 pass m = WriterT $ do
[all …]
|
| H A D | CPS.hs | 40 WriterT,
118 newtype WriterT w m a = WriterT { unWriterT :: w -> m (a, w) } constructor
123 writerT f = WriterT $ \ w ->
147 (m (a, w) -> n (b, w')) -> WriterT w m a -> WriterT w' n b
162 WriterT mf <*> WriterT mx = WriterT $ \ w -> do function
172 WriterT m <|> WriterT n = WriterT $ \ w -> m w `mplus` n w function
226 listen :: (Monoid w, Monad m) => WriterT w m a -> WriterT w m (a, w)
237 (w -> b) -> WriterT w m a -> WriterT w m (a, b)
250 WriterT w m (a, w -> w') -> WriterT w' m a
251 pass m = WriterT $ \ w -> do
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | T5908.hs | 11 , WriterT
34 type Writer w = WriterT w Identity
42 newtype WriterT w m e x a = WriterT { runWriterT :: m (a, w e x) } constructor
44 execWriterT :: Prelude.Monad m => WriterT w m e x a -> m (w e x)
52 instance (Category w, Prelude.Monad m) => Monad (WriterT w m) where
53 return a = WriterT $ return (a, id)
56 m >>= k = WriterT $ do
63 fail msg = WriterT $ fail msg
67 tell :: (Category w, Prelude.Monad m) => w e x -> WriterT w m e x ()
68 tell w = WriterT $ return ((), w)
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/megaparsec-9.0.1/Text/Megaparsec/ |
| H A D | Class.hs | 335 label n (L.WriterT m) = L.WriterT $ label n m
336 try (L.WriterT m) = L.WriterT $ try m
338 L.WriterT $
341 L.WriterT $
344 L.WriterT $
347 L.WriterT $
360 label n (S.WriterT m) = S.WriterT $ label n m
361 try (S.WriterT m) = S.WriterT $ try m
363 S.WriterT $
366 S.WriterT $
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/megaparsec-8.0.0/Text/Megaparsec/ |
| H A D | Class.hs | 339 label n (L.WriterT m) = L.WriterT $ label n m
340 try (L.WriterT m) = L.WriterT $ try m
341 lookAhead (L.WriterT m) = L.WriterT $
343 notFollowedBy (L.WriterT m) = L.WriterT $
345 withRecovery r (L.WriterT m) = L.WriterT $
347 observing (L.WriterT m) = L.WriterT $
361 try (S.WriterT m) = S.WriterT $ try m
362 lookAhead (S.WriterT m) = S.WriterT $
364 notFollowedBy (S.WriterT m) = S.WriterT $
366 withRecovery r (S.WriterT m) = S.WriterT $
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/megaparsec-8.0.0/Text/Megaparsec/ |
| H A D | Class.hs | 339 label n (L.WriterT m) = L.WriterT $ label n m
340 try (L.WriterT m) = L.WriterT $ try m
341 lookAhead (L.WriterT m) = L.WriterT $
343 notFollowedBy (L.WriterT m) = L.WriterT $
345 withRecovery r (L.WriterT m) = L.WriterT $
347 observing (L.WriterT m) = L.WriterT $
361 try (S.WriterT m) = S.WriterT $ try m
362 lookAhead (S.WriterT m) = S.WriterT $
364 notFollowedBy (S.WriterT m) = S.WriterT $
366 withRecovery r (S.WriterT m) = S.WriterT $
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/megaparsec-8.0.0/Text/Megaparsec/ |
| H A D | Class.hs | 339 label n (L.WriterT m) = L.WriterT $ label n m
340 try (L.WriterT m) = L.WriterT $ try m
341 lookAhead (L.WriterT m) = L.WriterT $
343 notFollowedBy (L.WriterT m) = L.WriterT $
345 withRecovery r (L.WriterT m) = L.WriterT $
347 observing (L.WriterT m) = L.WriterT $
361 try (S.WriterT m) = S.WriterT $ try m
362 lookAhead (S.WriterT m) = S.WriterT $
364 notFollowedBy (S.WriterT m) = S.WriterT $
366 withRecovery r (S.WriterT m) = S.WriterT $
[all …]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/megaparsec-9.0.1/Text/Megaparsec/ |
| H A D | Class.hs | 335 label n (L.WriterT m) = L.WriterT $ label n m
336 try (L.WriterT m) = L.WriterT $ try m
338 L.WriterT $
341 L.WriterT $
344 L.WriterT $
347 L.WriterT $
360 label n (S.WriterT m) = S.WriterT $ label n m
361 try (S.WriterT m) = S.WriterT $ try m
363 S.WriterT $
366 S.WriterT $
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/megaparsec-7.0.5/Text/Megaparsec/ |
| H A D | Class.hs | 361 label n (L.WriterT m) = L.WriterT $ label n m
362 try (L.WriterT m) = L.WriterT $ try m
363 lookAhead (L.WriterT m) = L.WriterT $
365 notFollowedBy (L.WriterT m) = L.WriterT $
367 withRecovery r (L.WriterT m) = L.WriterT $
369 observing (L.WriterT m) = L.WriterT $
384 try (S.WriterT m) = S.WriterT $ try m
385 lookAhead (S.WriterT m) = S.WriterT $
387 notFollowedBy (S.WriterT m) = S.WriterT $
389 withRecovery r (S.WriterT m) = S.WriterT $
[all …]
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/megaparsec-9.0.1/Text/Megaparsec/ |
| H A D | Class.hs | 335 label n (L.WriterT m) = L.WriterT $ label n m
336 try (L.WriterT m) = L.WriterT $ try m
338 L.WriterT $
341 L.WriterT $
344 L.WriterT $
347 L.WriterT $
360 label n (S.WriterT m) = S.WriterT $ label n m
361 try (S.WriterT m) = S.WriterT $ try m
363 S.WriterT $
366 S.WriterT $
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/megaparsec-9.0.1/Text/Megaparsec/ |
| H A D | Class.hs | 335 label n (L.WriterT m) = L.WriterT $ label n m
336 try (L.WriterT m) = L.WriterT $ try m
338 L.WriterT $
341 L.WriterT $
344 L.WriterT $
347 L.WriterT $
360 label n (S.WriterT m) = S.WriterT $ label n m
361 try (S.WriterT m) = S.WriterT $ try m
363 S.WriterT $
366 S.WriterT $
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/megaparsec-9.0.1/Text/Megaparsec/ |
| H A D | Class.hs | 335 label n (L.WriterT m) = L.WriterT $ label n m
336 try (L.WriterT m) = L.WriterT $ try m
338 L.WriterT $
341 L.WriterT $
344 L.WriterT $
347 L.WriterT $
360 label n (S.WriterT m) = S.WriterT $ label n m
361 try (S.WriterT m) = S.WriterT $ try m
363 S.WriterT $
366 S.WriterT $
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/megaparsec-9.0.1/Text/Megaparsec/ |
| H A D | Class.hs | 335 label n (L.WriterT m) = L.WriterT $ label n m
336 try (L.WriterT m) = L.WriterT $ try m
338 L.WriterT $
341 L.WriterT $
344 L.WriterT $
347 L.WriterT $
360 label n (S.WriterT m) = S.WriterT $ label n m
361 try (S.WriterT m) = S.WriterT $ try m
363 S.WriterT $
366 S.WriterT $
[all …]
|
| /dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/megaparsec-8.0.0/Text/Megaparsec/ |
| H A D | Class.hs | 339 label n (L.WriterT m) = L.WriterT $ label n m
340 try (L.WriterT m) = L.WriterT $ try m
341 lookAhead (L.WriterT m) = L.WriterT $
343 notFollowedBy (L.WriterT m) = L.WriterT $
345 withRecovery r (L.WriterT m) = L.WriterT $
347 observing (L.WriterT m) = L.WriterT $
361 try (S.WriterT m) = S.WriterT $ try m
362 lookAhead (S.WriterT m) = S.WriterT $
364 notFollowedBy (S.WriterT m) = S.WriterT $
366 withRecovery r (S.WriterT m) = S.WriterT $
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-extra-0.3/src/Optics/ |
| H A D | Zoom.hs | 138 instance (Monoid w, Zoom m n s t) => Zoom (S.WriterT w m) (S.WriterT w n) s t where
139 zoom o = S.WriterT #. zoom o .# S.runWriterT
140 zoomMaybe o = S.WriterT #. fmap shuffleW . zoomMaybe o .# S.runWriterT
141 zoomMany o = S.WriterT #. zoomMany o .# S.runWriterT
146 instance (Monoid w, Zoom m n s t) => Zoom (L.WriterT w m) (L.WriterT w n) s t where
337 ) => Magnify (S.WriterT w m) (S.WriterT w n) b a where
345 ) => MagnifyMany (S.WriterT w m) (S.WriterT w n) b a where
346 magnifyMany o = S.WriterT #. magnifyMany o .# S.runWriterT
351 ) => Magnify (L.WriterT w m) (L.WriterT w n) b a where
359 ) => MagnifyMany (L.WriterT w m) (L.WriterT w n) b a where
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/transformers-compat-0.6.6/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/transformers-compat-0.6.5/src/Control/Monad/Trans/ |
| H A D | Instances.hs | 66 import qualified Control.Monad.Trans.Writer.Lazy as Lazy (WriterT(..))
148 instance (Foldable f) => Foldable (Lazy.WriterT w f) where
151 instance (Traversable f) => Traversable (Lazy.WriterT w f) where
155 instance (Foldable f) => Foldable (Strict.WriterT w f) where
158 instance (Traversable f) => Traversable (Strict.WriterT w f) where
258 fail msg = Lazy.WriterT $ Fail.fail msg
262 fail msg = Strict.WriterT $ Fail.fail msg
303 instance (Monoid w, MonadZip m) => MonadZip (Lazy.WriterT w m) where
304 mzipWith f (Lazy.WriterT x) (Lazy.WriterT y) = Lazy.WriterT $
307 instance (Monoid w, MonadZip m) => MonadZip (Strict.WriterT w m) where
[all …]
|