| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Agda.Builtin.Float
Documentation
d_primFloatPlus_48 :: Double -> Double -> Double #
d_primFloatMinus_50 :: Double -> Double -> Double #
d_primFloatTimes_52 :: Double -> Double -> Double #
d_primFloatDiv_54 :: Double -> Double -> Double #
d_primFloatPow_56 :: Double -> Double -> Double #
d_primFloatNegate_58 :: Double -> Double #
d_primFloatSqrt_60 :: Double -> Double #
d_primFloatExp_62 :: Double -> Double #
d_primFloatLog_64 :: Double -> Double #
d_primFloatSin_66 :: Double -> Double #
d_primFloatCos_68 :: Double -> Double #
d_primFloatTan_70 :: Double -> Double #
d_primFloatASin_72 :: Double -> Double #
d_primFloatACos_74 :: Double -> Double #
d_primFloatATan_76 :: Double -> Double #
d_primFloatATan2_78 :: Double -> Double -> Double #
d_primFloatSinh_80 :: Double -> Double #
d_primFloatCosh_82 :: Double -> Double #
d_primFloatTanh_84 :: Double -> Double #
d_primFloatASinh_86 :: Double -> Double #
d_primFloatACosh_88 :: Double -> Double #
d_primFloatATanh_90 :: Double -> Double #
d_primFloatNumericalLess_94 :: T_Float_6 -> T_Float_6 -> Bool #
d_primRound_96 :: T_Float_6 -> Maybe Integer #
d_primFloor_98 :: T_Float_6 -> Maybe Integer #
d_primCeiling_100 :: T_Float_6 -> Maybe Integer #
d_primExp_102 :: T_Float_6 -> T_Float_6 #
d_primLog_104 :: T_Float_6 -> T_Float_6 #
d_primSin_106 :: T_Float_6 -> T_Float_6 #
d_primCos_108 :: T_Float_6 -> T_Float_6 #
d_primTan_110 :: T_Float_6 -> T_Float_6 #
d_primASin_112 :: T_Float_6 -> T_Float_6 #
d_primACos_114 :: T_Float_6 -> T_Float_6 #
d_primATan_116 :: T_Float_6 -> T_Float_6 #
d_primATan2_118 :: T_Float_6 -> T_Float_6 -> T_Float_6 #