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 D | Fast.hs | 157 "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 D | Infer.hs | 93 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 D | XmlRegex.hs | 26 , 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 D | intaux.spad | 259 mkPrim : (F, SE) -> F 260 ++ mkPrim(f, x) makes the logs in f which are linear in x 332 mkPrim(f, x) ==
|
H A D | irexpand.spad | 280 l := [mkPrim(real g, x) for g in expand(internalIntegrate(f, x), x)]
|
H A D | integrat.spad | 191 g := mkPrim(f, x)
|
H A D | polycat.spad | 261 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 D | INTTOOLS.lsp | 505 (237 . |mkPrim|) (243 . |variables|) (|Union| $ '"failed") 519 |mkPrim| 346 |ksec| 352 |kmax| 359 |intPatternMatch| 364) 549 '((|mkPrim| (|#2| |#2| (|Symbol|)))
|
H A D | IRRF2F.lsp | 135 (|IntegrationTools| 6 8) (61 . |mkPrim|))
|
H A D | FSINT.lsp | 983 (|IntegrationTools| 6 7) (55 . |mkPrim|)
|
/dports/math/fricas/fricas-1.3.7/pre-generated/target/algebra/ |
H A D | compress.daase | 725 |removeConstantTerm| |mkPrim| |intPatternMatch| |primintegrate| |expintegrate|
|
H A D | operation.daase | 43749 (|vark| . 1429982) (|removeConstantTerm| . 1429755) (|mkPrim| . 1429477)
|
H A D | interp.daase | 75008 (|mkPrim| 75045 (SIGNATURE |mkPrim| (|#2| |#2| (|Symbol|))) 75085 (|mkPrim| (*1 *2 *2 *3) 75134 (SIGNATURE |mkPrim| (|#2| |#2| (|Symbol|)))
|
H A D | browse.daase | 19129 (|mkPrim| 19131 …"\\spad{mkPrim(f,{} x)} makes the logs in \\spad{f} which are linear in \\spad{x} primitive with r…
|
H A D | comdb.text | 5263 604722`\spad{mkPrim(f,{} x)} makes the logs in \spad{f} which are linear in \spad{x} primitive with…
|