Searched refs:bfAbs (Results 1 – 5 of 5) sorted by relevance
42 , bfNeg, bfAbs201 bfAbs :: BigFloat -> BigFloat202 bfAbs bf = function
194 abs = lift1 BF.bfAbs
347 fpAbs _ x = pure $! x { FP.bfValue = FP.bfAbs (FP.bfValue x) }
396 FloatAbs _fpp x -> BF.bfAbs <$> f x
3234 floatAbs sym (FloatExpr fpp x _) = floatLit sym fpp (BF.bfAbs x)