Home
last modified time | relevance | path

Searched refs:mkPrim (Results 1 – 15 of 15) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/
H A DFast.hs157 "primNatPlus" -> mkPrim 2 $ natOp (+)
159 "primNatTimes" -> mkPrim 2 $ natOp (*)
162 "primNatLess" -> mkPrim 2 $ natRel (<)
163 "primNatEquality" -> mkPrim 2 $ natRel (==)
177 "primFloatLess" -> mkPrim 2 $ floatRel (<)
194 "primFloatPlus" -> mkPrim 2 $ floatOp (+)
195 "primFloatMinus" -> mkPrim 2 $ floatOp (-)
196 "primFloatTimes" -> mkPrim 2 $ floatOp (*)
198 "primFloatDiv" -> mkPrim 2 $ floatOp (/)
200 "primFloatExp" -> mkPrim 1 $ floatFun exp
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DInfer.hs93 mkPrim str = function
108 numberPrim <- mkPrim "number"
109 fracPrim <- mkPrim "fraction"
239 do prim <- mkPrim "negate"
243 do prim <- mkPrim "complement"
247 do prim <- mkPrim "generate"
325 prim <- mkPrim c
334 do prim <- mkPrim "infFrom"
338 do prim <- mkPrim "infFromThen"
380 prim <- mkPrim "number"
[all …]
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/hxt-9.3.1.18/src/Text/XML/HXT/Arrow/
H A DXmlRegex.hs26 , mkPrim
139 mkPrim :: (XmlTree -> Bool) -> XmlRegex
140 mkPrim p = Sym p "" function
146 mkPrimA a = mkPrim (not . null . runLA a)
/dports/math/fricas/fricas-1.3.7/src/algebra/
H A Dintaux.spad259 mkPrim : (F, SE) -> F
260 ++ mkPrim(f, x) makes the logs in f which are linear in x
332 mkPrim(f, x) ==
H A Direxpand.spad280 l := [mkPrim(real g, x) for g in expand(internalIntegrate(f, x), x)]
H A Dintegrat.spad191 g := mkPrim(f, x)
H A Dpolycat.spad261 mkPrim(p : %) : % == monomial(1, degree p)
266 ml := concat(mkPrim(leadingMonomial p), ml)
/dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/
H A DINTTOOLS.lsp505 (237 . |mkPrim|) (243 . |variables|) (|Union| $ '"failed")
519 |mkPrim| 346 |ksec| 352 |kmax| 359 |intPatternMatch| 364)
549 '((|mkPrim| (|#2| |#2| (|Symbol|)))
H A DIRRF2F.lsp135 (|IntegrationTools| 6 8) (61 . |mkPrim|))
H A DFSINT.lsp983 (|IntegrationTools| 6 7) (55 . |mkPrim|)
/dports/math/fricas/fricas-1.3.7/pre-generated/target/algebra/
H A Dcompress.daase725 |removeConstantTerm| |mkPrim| |intPatternMatch| |primintegrate| |expintegrate|
H A Doperation.daase43749 (|vark| . 1429982) (|removeConstantTerm| . 1429755) (|mkPrim| . 1429477)
H A Dinterp.daase75008 (|mkPrim|
75045 (SIGNATURE |mkPrim| (|#2| |#2| (|Symbol|)))
75085 (|mkPrim| (*1 *2 *2 *3)
75134 (SIGNATURE |mkPrim| (|#2| |#2| (|Symbol|)))
H A Dbrowse.daase19129 (|mkPrim|
19131 …"\\spad{mkPrim(f,{} x)} makes the logs in \\spad{f} which are linear in \\spad{x} primitive with r…
H A Dcomdb.text5263 604722`\spad{mkPrim(f,{} x)} makes the logs in \spad{f} which are linear in \spad{x} primitive with…