Home
last modified time | relevance | path

Searched +defs:Cont +defs:m (Results 1 – 9 of 9) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/libraries/transformers/Control/Monad/Trans/
H A DCont.hs70 type Cont r = ContT r Identity function
85 runCont m k = runIdentity (runContT m (Identity . k)) function
93 evalCont m = runIdentity (evalContT m) function
114 -- * @'reset' ('return' m) = 'return' m@ function
141 -- * @'evalContT' ('lift' m) = m@ function
143 evalContT m = runContT m return function
173 m *> k = m >>= \_ -> k function
181 m >>= k = ContT $ \ c -> runContT m (\ x -> runContT (k x) c) function
219 -- * @'resetT' ('lift' m) = 'lift' m@ function
/dports/lang/yap/yap-6.2.2/C/
H A Dinit.c228 OpDec(int p, char *type, Atom a, Term m) in OpDec()
298 Yap_OpDec(int p, char *type, Atom a, Term m) in Yap_OpDec()
304 SetOp(int p, int type, char *at, Term m) in SetOp()
778 CleanBack(PredEntry *pe, CPredicate Start, CPredicate Cont, CPredicate Cut) in CleanBack()
826 CPredicate Cont, UInt flags){ in Yap_InitCPredBack()
833 CPredicate Cont,CPredicate Cut, UInt flags){ in Yap_InitCPredBackCut()
839 CPredicate Cont,CPredicate Cut, UInt flags){ in Yap_InitCPredBackCut()
848 CPredicate Cont, CPredicate Cut, UInt flags) in Yap_InitCPredBack_()
/dports/devel/vc/Vc-1.4.2/examples/scaling/
H A Dmain.cpp126 typedef std::array<std::array<float_v, N>, M> Cont; in operator ()() typedef
140 for (std::size_t m = 0; m < M; ++m) { in operator ()() local
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/corelib/test/
H A Dcoretest.cpp319 XXX::XXX(const string& m) : mess(m) { in XXX()
1291 typedef C Cont; in TestIterateFor() typedef
1336 typedef C Cont; in TestCIterate() typedef
1352 typedef C Cont; in TestCIterateFor() typedef
1366 typedef C Cont; in TestEraseIterateFor() typedef
1403 typedef C Cont; in TestEraseIterateForVec() typedef
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/HsYAML-0.2.1.0/src/Data/YAML/
H A DEvent.hs474 type Cont r a = (a -> r) -> r type
502 m = Map.fromList [ (k,[v]) | (k,v) <- escapes ] function
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/HsYAML-0.2.1.0/src/Data/YAML/
H A DEvent.hs474 type Cont r a = (a -> r) -> r type
502 m = Map.fromList [ (k,[v]) | (k,v) <- escapes ] function
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/HsYAML-0.2.1.0/src/Data/YAML/
H A DEvent.hs474 type Cont r a = (a -> r) -> r type
502 m = Map.fromList [ (k,[v]) | (k,v) <- escapes ] function
/dports/science/elmerfem/elmerfem-release-9.0/fem/src/
H A DModelDescription.F902099 INTEGER :: i,j,k,l,n,m,p local
3521 LOGICAL :: RestartFileOpen = .FALSE., Cont, Found, LoadThis local
4572 INTEGER :: ii,i,j,k,l,n,m,q,Node,idummy,DOFs,SavedCount,TimeStep, & local
/dports/cad/opencascade/opencascade-7.6.0/src/ChFi3d/
H A DChFi3d_Builder_0.cxx1384 TColStd_Array1OfInteger m(1,2); in ChFi3d_ComputePCurv() local
3971 TColgp_Array1OfXYZ Cont(1,5); in ChFi3d_PerformElSpine() local