Home
last modified time | relevance | path

Searched refs:bfSign (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/libBF-0.6.2/src/
H A DLibBF.hs35 , bfSign
197 bfSign :: BigFloat -> Maybe Sign
198 bfSign (BigFloat x) = unsafe (getSign x) function
203 case bfSign bf of
210 case bfSign bf of
217 case bfSign bf of
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DFloatHelpers.hs64 case bfSign num of
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A DSizedFloats.hs268 … (r', BF.Ok) | BF.bfSign r == BF.bfSign r' -> (getInt r', FP eb sb r - FP eb sb r')