non-integral-test

Safe Haskell	Safe-Inferred
Language	Haskell2010

Tests.Cardano.Ledger.NonIntegral

Synopsis

data E34
type FixedPoint = Fixed E34
epsD ∷ Double
epsFP ∷ FixedPoint
eps ∷ Rational
map2 ∷ (a → b) → (a, a) → (b, b)
both ∷ (a → Bool) → (a, a) → Bool
type Diff a = (a, a)
absDiff ∷ Num a ⇒ Diff a → a
(~=) ∷ (Ord a, Num a) ⇒ Diff a → a → Bool
newtype Normalized a = Norm (a, a)
newtype UnitInterval a = Unit a
type NonNegInts = (NonNegative Integer, Positive Integer)
normalizeInts ∷ NonNegInts → (Integer, Integer)
normalize ∷ Fractional a ⇒ NonNegInts → (a, a)
toUnit ∷ Fractional a ⇒ NonNegInts → a
type Monotonic a = (a → Bool) → (a → a) → a → a → Property
monotonic ∷ (Ord a, Ord b) ⇒ (a → b) → a → a → Bool
log_pow ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → Diff a
log_law ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → Diff a
exp_law ∷ (RealFrac a, Show a) ⇒ a → a → Diff a
exp_log ∷ (RealFrac a, Show a, Enum a) ⇒ a → Diff a
log_exp ∷ (RealFrac a, Show a, Enum a) ⇒ a → Diff a
exp_UnitInterval ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → Bool
findD ∷ (RealFrac a, Show a) ⇒ a → Bool
pow_Diff ∷ (RealFrac a, Enum a, Show a) ⇒ a → (a, a) → Diff a
leader ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → a
taylorExpCmpCheck ∷ RealFrac a ⇒ a → a → a → Bool
praosLeaderCheck ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → a → a → Bool
prop_FPMonotonic ∷ Monotonic FixedPoint
prop_FPPowDiff ∷ UnitInterval FixedPoint → Normalized FixedPoint → Property
prop_FPExpLaw ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property
prop_FPlnLaw ∷ Positive FixedPoint → Positive FixedPoint → Property
prop_FPExpUnitInterval ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property
prop_FPIdemPotent ∷ Positive FixedPoint → Property
prop_FPIdemPotent' ∷ Positive FixedPoint → Property
prop_FPfindD ∷ Positive FixedPoint → Property
prop_FPlnPow ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property
prop_neg_taylorExpCmp ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property
prop_LeaderCmp ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property
prop_DMonotonic ∷ Monotonic Double
prop_DPowDiff ∷ UnitInterval Double → Normalized Double → Property
prop_DExpLaw ∷ UnitInterval Double → UnitInterval Double → Property
prop_DlnLaw ∷ Positive Double → Positive Double → Property
prop_DExpUnitInterval ∷ UnitInterval Double → UnitInterval Double → Property
prop_DIdemPotent ∷ Positive Double → Property
prop_DIdemPotent' ∷ Positive Double → Property
prop_DfindD ∷ Positive Double → Property
prop_DlnPow ∷ UnitInterval Double → UnitInterval Double → Property
prop_Monotonic ∷ Monotonic Rational
prop_PowDiff ∷ UnitInterval Rational → Normalized Rational → Property
prop_ExpLaw ∷ UnitInterval Rational → UnitInterval Rational → Property
prop_lnLaw ∷ Positive Rational → Positive Rational → Property
prop_ExpUnitInterval ∷ UnitInterval Rational → UnitInterval Rational → Property
prop_IdemPotent ∷ Positive Rational → Property
prop_IdemPotent' ∷ Positive Rational → Property
prop_findD ∷ Positive Rational → Property
prop_lnPow ∷ UnitInterval Rational → UnitInterval Rational → Property
qcWithLabel ∷ Testable prop ⇒ String → Int → prop → IO ()
property_exponential_is_monotonic_db ∷ IO ()
property_logarithm_is_monotonic_db ∷ IO ()
property_exp_maps_unit_interval_to_unit_interval_db ∷ IO ()
property_exp_of_ln_db ∷ IO ()
property_ln_of_exp_db ∷ IO ()
property_power_diff_db ∷ IO ()
property_exponential_law_db ∷ IO ()
property_log_law_db ∷ IO ()
property_log_power_db ∷ IO ()
property_bound_findE_db ∷ IO ()
prop_exp_is_monotonic_fp ∷ IO ()
prop_log_is_monotonic_fp ∷ IO ()
property_exp_maps_unit_interval_to_unit_interval_fp ∷ IO ()
property_exp_of_ln_fp ∷ IO ()
property_ln_of_exp_fp ∷ IO ()
property_power_diff_fp ∷ IO ()
property_exponential_law_fp ∷ IO ()
property_log_law_fp ∷ IO ()
property_log_power_fp ∷ IO ()
property_bound_findE_fp ∷ IO ()
property_negative_taylorExpCmp_comparison ∷ IO ()
property_praos_leader_comparison ∷ IO ()
prop_exp_is_monotonic_q ∷ IO ()
prop_log_is_monotonic_q ∷ IO ()
property_exp_maps_unit_interval_to_unit_interval_q ∷ IO ()
property_exp_of_ln_q ∷ IO ()
property_ln_of_exp_q ∷ IO ()
property_power_diff_q ∷ IO ()
property_exponential_law_q ∷ IO ()
property_log_law_q ∷ IO ()
property_log_power_q ∷ IO ()
property_bound_findE_q ∷ IO ()

Documentation

data E34 Source #

Instances

Instances details

HasResolution E34 Source #
Instance details Defined in Tests.Cardano.Ledger.NonIntegral Methods resolution ∷ p E34 → Integer Source #

type FixedPoint = Fixed E34 Source #

epsD ∷ Double Source #

epsFP ∷ FixedPoint Source #

eps ∷ Rational Source #

map2 ∷ (a → b) → (a, a) → (b, b) Source #

both ∷ (a → Bool) → (a, a) → Bool Source #

type Diff a = (a, a) Source #

absDiff ∷ Num a ⇒ Diff a → a Source #

(~=) ∷ (Ord a, Num a) ⇒ Diff a → a → Bool Source #

newtype Normalized a Source #

Constructors

Norm (a, a)

Instances

Instances details

(Fractional a, Arbitrary a) ⇒ Arbitrary (Normalized a) Source #
Instance details Defined in Tests.Cardano.Ledger.NonIntegral Methods arbitrary ∷ Gen (Normalized a) Source # shrink ∷ Normalized a → [Normalized a] Source #
Show a ⇒ Show (Normalized a) Source #
Instance details Defined in Tests.Cardano.Ledger.NonIntegral Methods showsPrec ∷ Int → Normalized a → ShowS Source # show ∷ Normalized a → String Source # showList ∷ [Normalized a] → ShowS Source #

newtype UnitInterval a Source #

Constructors

Instances

Instances details

(Fractional a, Arbitrary a) ⇒ Arbitrary (UnitInterval a) Source #
Instance details Defined in Tests.Cardano.Ledger.NonIntegral Methods arbitrary ∷ Gen (UnitInterval a) Source # shrink ∷ UnitInterval a → [UnitInterval a] Source #
Show a ⇒ Show (UnitInterval a) Source #
Instance details Defined in Tests.Cardano.Ledger.NonIntegral Methods showsPrec ∷ Int → UnitInterval a → ShowS Source # show ∷ UnitInterval a → String Source # showList ∷ [UnitInterval a] → ShowS Source #

type NonNegInts = (NonNegative Integer, Positive Integer) Source #

normalizeInts ∷ NonNegInts → (Integer, Integer) Source #

Normalizes the integers, return a pair of integers, such that: fst >= 0, snd > 0, fst <= snd.

normalize ∷ Fractional a ⇒ NonNegInts → (a, a) Source #

toUnit ∷ Fractional a ⇒ NonNegInts → a Source #

type Monotonic a = (a → Bool) → (a → a) → a → a → Property Source #

monotonic ∷ (Ord a, Ord b) ⇒ (a → b) → a → a → Bool Source #

log_pow ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → Diff a Source #

log_law ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → Diff a Source #

exp_law ∷ (RealFrac a, Show a) ⇒ a → a → Diff a Source #

exp_log ∷ (RealFrac a, Show a, Enum a) ⇒ a → Diff a Source #

log_exp ∷ (RealFrac a, Show a, Enum a) ⇒ a → Diff a Source #

exp_UnitInterval ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → Bool Source #

findD ∷ (RealFrac a, Show a) ⇒ a → Bool Source #

pow_Diff ∷ (RealFrac a, Enum a, Show a) ⇒ a → (a, a) → Diff a Source #

leader ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → a Source #

taylorExpCmpCheck ∷ RealFrac a ⇒ a → a → a → Bool Source #

praosLeaderCheck ∷ (RealFrac a, Show a, Enum a) ⇒ a → a → a → a → Bool Source #

prop_FPMonotonic ∷ Monotonic FixedPoint Source #

prop_FPPowDiff ∷ UnitInterval FixedPoint → Normalized FixedPoint → Property Source #

prop_FPExpLaw ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property Source #

prop_FPlnLaw ∷ Positive FixedPoint → Positive FixedPoint → Property Source #

prop_FPExpUnitInterval ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property Source #

prop_FPIdemPotent ∷ Positive FixedPoint → Property Source #

prop_FPIdemPotent' ∷ Positive FixedPoint → Property Source #

prop_FPfindD ∷ Positive FixedPoint → Property Source #

prop_FPlnPow ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property Source #

prop_neg_taylorExpCmp ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property Source #

prop_LeaderCmp ∷ UnitInterval FixedPoint → UnitInterval FixedPoint → Property Source #

prop_DMonotonic ∷ Monotonic Double Source #

prop_DPowDiff ∷ UnitInterval Double → Normalized Double → Property Source #

Takes very long, but (e *** b) *** c is not an operation that we use.

prop_DExpLaw ∷ UnitInterval Double → UnitInterval Double → Property Source #

prop_DlnLaw ∷ Positive Double → Positive Double → Property Source #

prop_DExpUnitInterval ∷ UnitInterval Double → UnitInterval Double → Property Source #

prop_DIdemPotent ∷ Positive Double → Property Source #

prop_DIdemPotent' ∷ Positive Double → Property Source #

prop_DfindD ∷ Positive Double → Property Source #

prop_DlnPow ∷ UnitInterval Double → UnitInterval Double → Property Source #

prop_Monotonic ∷ Monotonic Rational Source #

prop_PowDiff ∷ UnitInterval Rational → Normalized Rational → Property Source #

prop_ExpLaw ∷ UnitInterval Rational → UnitInterval Rational → Property Source #

prop_lnLaw ∷ Positive Rational → Positive Rational → Property Source #

prop_ExpUnitInterval ∷ UnitInterval Rational → UnitInterval Rational → Property Source #

prop_IdemPotent ∷ Positive Rational → Property Source #

prop_IdemPotent' ∷ Positive Rational → Property Source #

prop_findD ∷ Positive Rational → Property Source #

prop_lnPow ∷ UnitInterval Rational → UnitInterval Rational → Property Source #

qcWithLabel ∷ Testable prop ⇒ String → Int → prop → IO () Source #

property_exponential_is_monotonic_db ∷ IO () Source #

property_logarithm_is_monotonic_db ∷ IO () Source #

property_exp_maps_unit_interval_to_unit_interval_db ∷ IO () Source #

property_exp_of_ln_db ∷ IO () Source #

property_ln_of_exp_db ∷ IO () Source #

property_power_diff_db ∷ IO () Source #

property_exponential_law_db ∷ IO () Source #

property_log_law_db ∷ IO () Source #

property_log_power_db ∷ IO () Source #

property_bound_findE_db ∷ IO () Source #

prop_exp_is_monotonic_fp ∷ IO () Source #

prop_log_is_monotonic_fp ∷ IO () Source #

property_exp_maps_unit_interval_to_unit_interval_fp ∷ IO () Source #

property_exp_of_ln_fp ∷ IO () Source #

property_ln_of_exp_fp ∷ IO () Source #

property_power_diff_fp ∷ IO () Source #

property_exponential_law_fp ∷ IO () Source #

property_log_law_fp ∷ IO () Source #

property_log_power_fp ∷ IO () Source #

property_bound_findE_fp ∷ IO () Source #

property_negative_taylorExpCmp_comparison ∷ IO () Source #

property_praos_leader_comparison ∷ IO () Source #

prop_exp_is_monotonic_q ∷ IO () Source #

prop_log_is_monotonic_q ∷ IO () Source #

property_exp_maps_unit_interval_to_unit_interval_q ∷ IO () Source #

property_exp_of_ln_q ∷ IO () Source #

property_ln_of_exp_q ∷ IO () Source #

property_power_diff_q ∷ IO () Source #

property_exponential_law_q ∷ IO () Source #

property_log_law_q ∷ IO () Source #

property_log_power_q ∷ IO () Source #

property_bound_findE_q ∷ IO () Source #