MAlonzo.Code.Agda.Builtin.Float
type T_Float_6 = Double Source #
d_Float_6 ∷ a Source #
d_primFloatInequality_8 ∷ Double → Double → Bool Source #
d_primFloatEquality_10 ∷ Double → Double → Bool Source #
d_primFloatLess_12 ∷ Double → Double → Bool Source #
d_primFloatIsInfinite_14 ∷ Double → Bool Source #
d_primFloatIsNaN_16 ∷ Double → Bool Source #
d_primFloatIsNegativeZero_18 ∷ Double → Bool Source #
d_primFloatIsSafeInteger_20 ∷ Double → Bool Source #
d_primFloatToWord64_22 ∷ Double → Maybe Word64 Source #
d_primNatToFloat_24 ∷ Integer → Double Source #
d_primIntToFloat_26 ∷ Integer → Double Source #
d_primFloatRound_28 ∷ Double → Maybe Integer Source #
d_primFloatFloor_30 ∷ Double → Maybe Integer Source #
d_primFloatCeiling_32 ∷ Double → Maybe Integer Source #
d_primFloatToRatio_36 ∷ Double → (Integer, Integer) Source #
d_primRatioToFloat_38 ∷ Integer → Integer → Double Source #
d_primFloatDecode_42 ∷ Double → Maybe (Integer, Integer) Source #
d_primFloatEncode_44 ∷ Integer → Integer → Maybe Double Source #
d_primShowFloat_46 ∷ Double → Text Source #
d_primFloatPlus_48 ∷ Double → Double → Double Source #
d_primFloatMinus_50 ∷ Double → Double → Double Source #
d_primFloatTimes_52 ∷ Double → Double → Double Source #
d_primFloatDiv_54 ∷ Double → Double → Double Source #
d_primFloatPow_56 ∷ Double → Double → Double Source #
d_primFloatNegate_58 ∷ Double → Double Source #
d_primFloatSqrt_60 ∷ Double → Double Source #
d_primFloatExp_62 ∷ Double → Double Source #
d_primFloatLog_64 ∷ Double → Double Source #
d_primFloatSin_66 ∷ Double → Double Source #
d_primFloatCos_68 ∷ Double → Double Source #
d_primFloatTan_70 ∷ Double → Double Source #
d_primFloatASin_72 ∷ Double → Double Source #
d_primFloatACos_74 ∷ Double → Double Source #
d_primFloatATan_76 ∷ Double → Double Source #
d_primFloatATan2_78 ∷ Double → Double → Double Source #
d_primFloatSinh_80 ∷ Double → Double Source #
d_primFloatCosh_82 ∷ Double → Double Source #
d_primFloatTanh_84 ∷ Double → Double Source #
d_primFloatASinh_86 ∷ Double → Double Source #
d_primFloatACosh_88 ∷ Double → Double Source #
d_primFloatATanh_90 ∷ Double → Double Source #
d_primFloatNumericalEquality_92 ∷ T_Float_6 → T_Float_6 → Bool Source #
d_primFloatNumericalLess_94 ∷ T_Float_6 → T_Float_6 → Bool Source #
d_primRound_96 ∷ T_Float_6 → Maybe Integer Source #
d_primFloor_98 ∷ T_Float_6 → Maybe Integer Source #
d_primCeiling_100 ∷ T_Float_6 → Maybe Integer Source #
d_primExp_102 ∷ T_Float_6 → T_Float_6 Source #
d_primLog_104 ∷ T_Float_6 → T_Float_6 Source #
d_primSin_106 ∷ T_Float_6 → T_Float_6 Source #
d_primCos_108 ∷ T_Float_6 → T_Float_6 Source #
d_primTan_110 ∷ T_Float_6 → T_Float_6 Source #
d_primASin_112 ∷ T_Float_6 → T_Float_6 Source #
d_primACos_114 ∷ T_Float_6 → T_Float_6 Source #
d_primATan_116 ∷ T_Float_6 → T_Float_6 Source #
d_primATan2_118 ∷ T_Float_6 → T_Float_6 → T_Float_6 Source #