/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Utils/ |
H A D | Numeric.hs | 61 | isNegativeZero x = negate 0 function 101 | isNegativeZero a = isNegativeZero b function 102 | isNegativeZero b = isNegativeZero a function 115 | isNegativeZero a, b == 0 = LT function 116 | isNegativeZero b, a == 0 = GT function
|
H A D | PrettyNum.hs | 381 | isNegativeZero f = as "-zero" function 393 | isNegativeZero d = as "-zero" function
|
/dports/textproc/xalan-c/xalan_c-1.12/src/xalanc/PlatformSupport/ |
H A D | DoubleSupport.hpp | 139 isNegativeZero(double theNumber) in isNegativeZero() function in XALAN_CPP_NAMESPACE::DoubleSupport
|
/dports/lang/mosh/mosh-0.2.7/src/ |
H A D | Flonum.h | 107 bool isNegativeZero() const in isNegativeZero() function
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
H A D | ArithSolver.hs | 363 | isNegativeZero val = constrain $ fpIsNegativeZero v function 484 | isNegativeZero val = constrain $ fpIsNegativeZero v function
|
/dports/lang/ghc/ghc-8.10.7/libraries/transformers/legacy/pre709/Data/Functor/ |
H A D | Identity.hs | 197 isNegativeZero (Identity x) = isNegativeZero x function
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/half-0.3.1/src/Numeric/Half/ |
H A D | Internal.hs | 180 isNegativeZero (Half h) = h == 0x8000 function
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/half-0.3.1/src/Numeric/Half/ |
H A D | Internal.hs | 180 isNegativeZero (Half h) = h == 0x8000 function
|
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/tagged-0.8.6.1/src/Data/ |
H A D | Tagged.hs | 369 isNegativeZero (Tagged x) = isNegativeZero x function
|
/dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/tagged-0.8.6/src/Data/ |
H A D | Tagged.hs | 366 isNegativeZero (Tagged x) = isNegativeZero x function
|