Home
last modified time | relevance | path

Searched refs:iterM (Results 1 – 25 of 174) sorted by relevance

1234567

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/free-5.1.6/src/Control/Monad/Free/
H A DChurch.hs60 , iterM
73 import Control.Monad.Free hiding (retract, iter, iterM, cutoff)
98 iterM :: Monad m => (f (m a) -> m a) -> F f a -> m a
99 iterM phi xs = runF xs return phi function
H A DAp.hs45 , iterM
324 iterM :: (Applicative m, Monad m, Applicative f) => (f (m a) -> m a) -> Free f a -> m a
325 iterM _ (Pure x) = return x function
326 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/free-5.1.6/src/Control/Monad/Free/
H A DChurch.hs60 , iterM
73 import Control.Monad.Free hiding (retract, iter, iterM, cutoff)
98 iterM :: Monad m => (f (m a) -> m a) -> F f a -> m a
99 iterM phi xs = runF xs return phi function
H A DAp.hs45 , iterM
324 iterM :: (Applicative m, Monad m, Applicative f) => (f (m a) -> m a) -> Free f a -> m a
325 iterM _ (Pure x) = return x function
326 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/free-5.1.6/src/Control/Monad/Free/
H A DChurch.hs60 , iterM
73 import Control.Monad.Free hiding (retract, iter, iterM, cutoff)
98 iterM :: Monad m => (f (m a) -> m a) -> F f a -> m a
99 iterM phi xs = runF xs return phi function
H A DAp.hs45 , iterM
324 iterM :: (Applicative m, Monad m, Applicative f) => (f (m a) -> m a) -> Free f a -> m a
325 iterM _ (Pure x) = return x function
326 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/free-5.1.7/src/Control/Monad/Free/
H A DChurch.hs60 , iterM
73 import Control.Monad.Free hiding (retract, iter, iterM, cutoff)
98 iterM :: Monad m => (f (m a) -> m a) -> F f a -> m a
99 iterM phi xs = runF xs return phi function
H A DAp.hs45 , iterM
332 iterM :: (Applicative m, Monad m, Applicative f) => (f (m a) -> m a) -> Free f a -> m a
333 iterM _ (Pure x) = return x function
334 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/free-5.1.3/src/Control/Monad/Free/
H A DChurch.hs59 , iterM
72 import Control.Monad.Free hiding (retract, iter, iterM, cutoff)
97 iterM :: Monad m => (f (m a) -> m a) -> F f a -> m a
98 iterM phi xs = runF xs return phi function
H A DAp.hs41 , iterM
320 iterM :: (Applicative m, Monad m, Applicative f) => (f (m a) -> m a) -> Free f a -> m a
321 iterM _ (Pure x) = return x function
322 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/free-5.1.3/src/Control/Monad/Free/
H A DChurch.hs59 , iterM
72 import Control.Monad.Free hiding (retract, iter, iterM, cutoff)
97 iterM :: Monad m => (f (m a) -> m a) -> F f a -> m a
98 iterM phi xs = runF xs return phi function
H A DAp.hs41 , iterM
320 iterM :: (Applicative m, Monad m, Applicative f) => (f (m a) -> m a) -> Free f a -> m a
321 iterM _ (Pure x) = return x function
322 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/free-5.1.3/src/Control/Monad/Free/
H A DChurch.hs59 , iterM
72 import Control.Monad.Free hiding (retract, iter, iterM, cutoff)
97 iterM :: Monad m => (f (m a) -> m a) -> F f a -> m a
98 iterM phi xs = runF xs return phi function
H A DAp.hs41 , iterM
320 iterM :: (Applicative m, Monad m, Applicative f) => (f (m a) -> m a) -> Free f a -> m a
321 iterM _ (Pure x) = return x function
322 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/misc/openmvg/openMVG-2.0/src/software/colorHarmonize/
H A DcolorHarmonizeEngineGlobal.cpp568 matching::PairWiseMatches::iterator iterM = _map_Matches.find(std::make_pair(Idu,Idv)); in CleanGraph() local
569 if (iterM != _map_Matches.end()) in CleanGraph()
571 _map_Matches.erase(iterM); in CleanGraph()
575 iterM = _map_Matches.find(std::make_pair(Idv,Idu)); in CleanGraph()
576 if (iterM != _map_Matches.end()) in CleanGraph()
577 _map_Matches.erase(iterM); in CleanGraph()
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/free-5.1.6/src/Control/Monad/
H A DFree.hs36 , iterM
377 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
378 iterM _ (Pure x) = return x function
379 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/free-5.1.6/src/Control/Monad/
H A DFree.hs36 , iterM
377 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
378 iterM _ (Pure x) = return x function
379 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/free-5.1.6/src/Control/Monad/
H A DFree.hs36 , iterM
377 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
378 iterM _ (Pure x) = return x function
379 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/free-5.1.7/src/Control/Monad/
H A DFree.hs36 , iterM
385 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
386 iterM _ (Pure x) = return x function
387 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/free-5.1.3/src/Control/Monad/
H A DFree.hs31 , iterM
354 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
355 iterM _ (Pure x) = return x function
356 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/free-5.1.3/src/Control/Monad/
H A DFree.hs31 , iterM
354 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
355 iterM _ (Pure x) = return x function
356 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/free-5.1.3/src/Control/Monad/
H A DFree.hs31 , iterM
354 iterM :: (Monad m, Functor f) => (f (m a) -> m a) -> Free f a -> m a
355 iterM _ (Pure x) = return x function
356 iterM phi (Free f) = phi (iterM phi <$> f) function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/free-5.1.6/examples/
H A DTeletype.lhs6 > import Control.Monad.Free (liftF, Free, iterM, MonadFree)
54 > runTeletypeIO = iterM run where
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/free-5.1.6/examples/
H A DTeletype.lhs6 > import Control.Monad.Free (liftF, Free, iterM, MonadFree)
54 > runTeletypeIO = iterM run where
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/free-5.1.6/examples/
H A DTeletype.lhs6 > import Control.Monad.Free (liftF, Free, iterM, MonadFree)
54 > runTeletypeIO = iterM run where

1234567