Home
last modified time | relevance | path

Searched refs:_occ (Results 1 – 25 of 30) sorted by relevance

12

/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Builtin/
H A DPrimOps.hs577 Dyadic _occ ty -> dyadic_fun_ty ty
578 Monadic _occ ty -> monadic_fun_ty ty
579 Compare _occ ty -> compare_fun_ty ty
581 GenPrimOp _occ tyvars arg_tys res_ty ->
587 Dyadic _occ ty -> ty
588 Monadic _occ ty -> ty
589 Compare _occ _ty -> intPrimTy
590 GenPrimOp _occ _tyvars _arg_tys res_ty -> res_ty
708 Monadic _occ ty -> ([], [ty], ty )
709 Dyadic _occ ty -> ([], [ty,ty], ty )
[all …]
/dports/math/vampire/vampire-4.5.1/Shell/
H A DSymCounter.hpp54 int _occ; member in Shell::SymCounter::Fun
56 Fun () : _occ(0) {} in Fun()
57 int occ () const { return _occ; } in occ()
58 void add (int add) { _occ += add; } in add()
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/prelude/
H A DPrimOp.hs563 Dyadic _occ ty -> dyadic_fun_ty ty
564 Monadic _occ ty -> monadic_fun_ty ty
565 Compare _occ ty -> compare_fun_ty ty
567 GenPrimOp _occ tyvars arg_tys res_ty ->
634 Monadic _occ ty -> ([], [ty], ty )
635 Dyadic _occ ty -> ([], [ty,ty], ty )
636 Compare _occ ty -> ([], [ty,ty], intPrimTy)
637 GenPrimOp _occ tyvars arg_tys res_ty -> (tyvars, arg_tys, res_ty )
/dports/lang/ghc/ghc-8.10.7/compiler/prelude/
H A DPrimOp.hs563 Dyadic _occ ty -> dyadic_fun_ty ty
564 Monadic _occ ty -> monadic_fun_ty ty
565 Compare _occ ty -> compare_fun_ty ty
567 GenPrimOp _occ tyvars arg_tys res_ty ->
634 Monadic _occ ty -> ([], [ty], ty )
635 Dyadic _occ ty -> ([], [ty,ty], ty )
636 Compare _occ ty -> ([], [ty,ty], intPrimTy)
637 GenPrimOp _occ tyvars arg_tys res_ty -> (tyvars, arg_tys, res_ty )
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Builtin/
H A DPrimOps.hs609 Compare _occ ty -> compare_fun_ty ty
611 GenPrimOp _occ tyvars arg_tys res_ty ->
617 Compare _occ _ty -> intPrimTy
618 GenPrimOp _occ _tyvars _arg_tys res_ty -> res_ty
734 Compare _occ ty -> ([], [ty,ty], intPrimTy)
735 GenPrimOp _occ tyvars arg_tys res_ty -> (tyvars, arg_tys, res_ty )
/dports/games/crafty/crafty-25.2_1/
H A Dtbprobe.h277 extern uint64_t tb_queen_attacks(unsigned _square, uint64_t _occ);
278 extern uint64_t tb_rook_attacks(unsigned _square, uint64_t _occ);
279 extern uint64_t tb_bishop_attacks(unsigned _square, uint64_t _occ);
/dports/science/madness/madness-ebb3fd7/src/apps/moldft/fci/doc/
H A Dmatrixelements.toc20 \contentsline {subsubsection}{\numberline {10.2.1}{\tt fci\_ofind\_occ}}{26}
22 \contentsline {subsubsection}{\numberline {10.2.3}{\tt fci\_mfind\_occ}}{27}
H A Dmatrixelements.tex962 \subsubsection{{\tt fci\_ofind\_occ}}
984 \subsubsection{{\tt fci\_mfind\_occ}}
/dports/science/wannier90/wannier90-3.1.0/utility/w90vdw/doc/
H A Dw90vdw.tex127 \item $\tt{tol\_occ}$: real; MLWFs with occupancy less than this value
140 \item $\tt{centres\_spreads\_occ}$: the first following line
153 $\tt{num\_frag}$, $\tt{num\_wann}$, $\tt{tol\_occ}$, $\tt{pxyz}$,
155 $\tt{centres\_spreads\_occ}$ block of data.
237 0.5. Hence a value of between 0.6 and 0.9 for $\tt{tol\_occ}$ should
/dports/www/geneweb/geneweb-13c850a0cc3973daf7ae3e0772a1621f84052041/src/
H A DchangeChildren.ml25 match p_getint conf.env (var ^ "_occ") with
283 match p_getint conf.env (var ^ "_occ") with
H A DupdateIndOk.ml147 try int_of_string (getn conf var (key ^ "_occ")) with
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Unit/Module/
H A DModIface.hs509 emptyIfaceHashCache _occ = Nothing function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/hie-compat/src-ghc88/Compat/
H A DHieBin.hs312 Just (off, LocalName _occ span)
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/hie-compat/src-ghc810/Compat/
H A DHieBin.hs322 Just (off, LocalName _occ span)
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/hie-compat/src-ghc86/Compat/
H A DHieBin.hs311 Just (off, LocalName _occ span)
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/hie-compat/src-ghc810/Compat/
H A DHieBin.hs322 Just (off, LocalName _occ span)
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/hie-compat/src-ghc86/Compat/
H A DHieBin.hs311 Just (off, LocalName _occ span)
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/hie-compat/src-ghc88/Compat/
H A DHieBin.hs312 Just (off, LocalName _occ span)
/dports/lang/ghc/ghc-8.10.7/compiler/hieFile/
H A DHieBin.hs320 Just (off, LocalName _occ span)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DFromAbstract.hs199 A.Axiom _ax _di ai _occ x e -> hl ai <> hl x <> hl e
/dports/lang/ghc/ghc-8.10.7/compiler/specialise/
H A DSpecConstr.hs1190 setScrutOcc _env usg _other _occ -- Catch-all
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/mrpt/fci/doc/
H A Dmatrixelements.tex973 \subsubsection{{\tt fci\_ofind\_occ}}
995 \subsubsection{{\tt fci\_mfind\_occ}}
/dports/science/nwchem-data/nwchem-7.0.2-release/src/mrpt/fci/doc/
H A Dmatrixelements.tex962 \subsubsection{{\tt fci\_ofind\_occ}}
984 \subsubsection{{\tt fci\_mfind\_occ}}
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/main/
H A DHscTypes.hs1323 emptyIfaceHashCache _occ = Nothing function
/dports/lang/ghc/ghc-8.10.7/compiler/main/
H A DHscTypes.hs1323 emptyIfaceHashCache _occ = Nothing function

12