| /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 | 9 , runWriter
36 runWriter :: Writer w e x a -> (a, w e x)
37 runWriter = runIdentity . runWriterT function
40 execWriter m = snd (runWriter m)
|
| /dports/lang/ghc/ghc-8.10.7/libraries/mtl/Control/Monad/Writer/ |
| H A D | Strict.hs | 27 runWriter,
44 Writer, runWriter, execWriter, mapWriter,
|
| H A D | Lazy.hs | 27 runWriter,
45 Writer, runWriter, execWriter, mapWriter,
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/monadLib-3.10/src/MonadLib/ |
| H A D | Monads.hs | 14 runReader, runWriter, runState, runException, runCont,
119 runWriter :: Writer i a -> (a,i)
125 runWriter = runId . runWriterT . unW function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/transformers/Control/Monad/Trans/Writer/ |
| H A D | Lazy.hs | 34 runWriter,
90 runWriter :: Writer w a -> (a, w)
91 runWriter = runIdentity . runWriterT function
98 execWriter m = snd (runWriter m)
|
| H A D | Strict.hs | 37 runWriter,
93 runWriter :: Writer w a -> (a, w)
94 runWriter = runIdentity . runWriterT function
101 execWriter m = snd (runWriter m)
|
| H A D | CPS.hs | 36 runWriter,
88 runWriter :: (Monoid w) => Writer w a -> (a, w)
89 runWriter = runIdentity . runWriterT function
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/storable-record-0.0.5/src/Foreign/Storable/ |
| H A D | Record.hs | 67 (Writer, writer, runWriter, )
163 let (Compose s, align) = runWriter m
|
| H A D | RecordReaderPtr.hs | 70 (Writer, writer, runWriter, )
162 let (Compose s, align) = runWriter m
|
| H A D | RecordMinimalSize.hs | 70 (Writer, writer, runWriter, )
162 let (Compose s, align) = runWriter m
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/texmath-0.12.1.1/tests/ |
| H A D | test-texmath.hs | 60 <*> (concat <$> mapM (uncurry (runWriter regen)) writers)
114 runWriter :: Bool -> Ext -> ([Exp] -> T.Text) -> IO [Status]
115 runWriter regen ext f = do function
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/texmath-0.12.3.1/tests/ |
| H A D | test-texmath.hs | 60 <*> (concat <$> mapM (uncurry (runWriter regen)) writers)
114 runWriter :: Bool -> Ext -> ([Exp] -> T.Text) -> IO [Status]
115 runWriter regen ext f = do function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/rio-0.1.20.0/src/RIO/ |
| H A D | Writer.hs | 10 , Control.Monad.Writer.runWriter
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/rio-0.1.20.0/src/RIO/ |
| H A D | Writer.hs | 10 , Control.Monad.Writer.runWriter
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/Database/ |
| H A D | Keys.hs | 26 runWriter,
91 runWriter :: (SQL.WriteHandle -> Annex ()) -> Annex ()
92 runWriter a = do function
107 runWriterIO a = runWriter (liftIO . a)
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Free/ |
| H A D | Precompute.hs | 18 precomputeFreeVars_ = fst . runWriter . precomputeFreeVars
21 precomputedFreeVars = snd . runWriter . precomputeFreeVars
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/lens-family-core-2.1.0/src/Lens/Family/State/ |
| H A D | Strict.hs | 33 import Control.Monad.Trans.Writer.Lazy (Writer, writer, runWriter)
127 l %%= f = state (swap . runWriter . l (writer . swap . f))
|
| H A D | Lazy.hs | 32 import Control.Monad.Trans.Writer.Lazy (Writer, writer, runWriter)
127 l %%= f = state (swap . runWriter . l (writer . swap . f))
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/classy-prelude-1.5.0/test/ |
| H A D | main.hs | 15 import Control.Monad.Trans.Writer (tell, Writer, runWriter)
130 runWriter (omapM f (c `asTypeOf` dummy)) ==
131 let (x, y) = runWriter (omapM f (toList c))
144 runWriter (mapM_ f (c `asTypeOf` dummy)) == runWriter (mapM_ f (toList c))
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
| H A D | Unify.hs | 18 import Control.Monad.Writer (Writer, writer, runWriter)
31 runResult = runWriter
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/Annex/ |
| H A D | WorkTree.hs | 67 scanAnnexedFiles = Database.Keys.runWriter (const noop)
|
| /dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/ |
| H A D | Types.hs | 630 newtype ErrMsgM a = Writer { runWriter :: (a, [ErrMsg]) } function
643 (a, w) = runWriter m
644 (b, w') = runWriter (k a)
691 liftErrMsg = WriterGhc . return . runWriter
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/optparse-simple-0.1.1.3/src/Options/Applicative/ |
| H A D | Simple.hs | 182 case runWriter (runExceptT commandParser) of
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/optparse-simple-0.1.1.3/src/Options/Applicative/ |
| H A D | Simple.hs | 182 case runWriter (runExceptT commandParser) of
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/Upgrade/ |
| H A D | V7.hs | 117 Database.Keys.runWriter $ \h -> liftIO $ do
|