Index

absDiff	Tests.Cardano.Ledger.NonIntegral
both	Tests.Cardano.Ledger.NonIntegral
Diff	Tests.Cardano.Ledger.NonIntegral
E34	Tests.Cardano.Ledger.NonIntegral
eps	Tests.Cardano.Ledger.NonIntegral
epsD	Tests.Cardano.Ledger.NonIntegral
epsFP	Tests.Cardano.Ledger.NonIntegral
exp_law	Tests.Cardano.Ledger.NonIntegral
exp_log	Tests.Cardano.Ledger.NonIntegral
exp_UnitInterval	Tests.Cardano.Ledger.NonIntegral
findD	Tests.Cardano.Ledger.NonIntegral
FixedPoint	Tests.Cardano.Ledger.NonIntegral
leader	Tests.Cardano.Ledger.NonIntegral
log_exp	Tests.Cardano.Ledger.NonIntegral
log_law	Tests.Cardano.Ledger.NonIntegral
log_pow	Tests.Cardano.Ledger.NonIntegral
main	Main
map2	Tests.Cardano.Ledger.NonIntegral
Monotonic	Tests.Cardano.Ledger.NonIntegral
monotonic	Tests.Cardano.Ledger.NonIntegral
NonNegInts	Tests.Cardano.Ledger.NonIntegral
Norm	Tests.Cardano.Ledger.NonIntegral
normalize	Tests.Cardano.Ledger.NonIntegral
Normalized	Tests.Cardano.Ledger.NonIntegral
normalizeInts	Tests.Cardano.Ledger.NonIntegral
pow_Diff	Tests.Cardano.Ledger.NonIntegral
praosLeaderCheck	Tests.Cardano.Ledger.NonIntegral
property_bound_findE_db	Tests.Cardano.Ledger.NonIntegral
property_bound_findE_fp	Tests.Cardano.Ledger.NonIntegral
property_bound_findE_q	Tests.Cardano.Ledger.NonIntegral
property_exponential_is_monotonic_db	Tests.Cardano.Ledger.NonIntegral
property_exponential_law_db	Tests.Cardano.Ledger.NonIntegral
property_exponential_law_fp	Tests.Cardano.Ledger.NonIntegral
property_exponential_law_q	Tests.Cardano.Ledger.NonIntegral
property_exp_maps_unit_interval_to_unit_interval_db	Tests.Cardano.Ledger.NonIntegral
property_exp_maps_unit_interval_to_unit_interval_fp	Tests.Cardano.Ledger.NonIntegral
property_exp_maps_unit_interval_to_unit_interval_q	Tests.Cardano.Ledger.NonIntegral
property_exp_of_ln_db	Tests.Cardano.Ledger.NonIntegral
property_exp_of_ln_fp	Tests.Cardano.Ledger.NonIntegral
property_exp_of_ln_q	Tests.Cardano.Ledger.NonIntegral
property_ln_of_exp_db	Tests.Cardano.Ledger.NonIntegral
property_ln_of_exp_fp	Tests.Cardano.Ledger.NonIntegral
property_ln_of_exp_q	Tests.Cardano.Ledger.NonIntegral
property_logarithm_is_monotonic_db	Tests.Cardano.Ledger.NonIntegral
property_log_law_db	Tests.Cardano.Ledger.NonIntegral
property_log_law_fp	Tests.Cardano.Ledger.NonIntegral
property_log_law_q	Tests.Cardano.Ledger.NonIntegral
property_log_power_db	Tests.Cardano.Ledger.NonIntegral
property_log_power_fp	Tests.Cardano.Ledger.NonIntegral
property_log_power_q	Tests.Cardano.Ledger.NonIntegral
property_negative_taylorExpCmp_comparison	Tests.Cardano.Ledger.NonIntegral
property_power_diff_db	Tests.Cardano.Ledger.NonIntegral
property_power_diff_fp	Tests.Cardano.Ledger.NonIntegral
property_power_diff_q	Tests.Cardano.Ledger.NonIntegral
property_praos_leader_comparison	Tests.Cardano.Ledger.NonIntegral
prop_DExpLaw	Tests.Cardano.Ledger.NonIntegral
prop_DExpUnitInterval	Tests.Cardano.Ledger.NonIntegral
prop_DfindD	Tests.Cardano.Ledger.NonIntegral
prop_DIdemPotent	Tests.Cardano.Ledger.NonIntegral
prop_DIdemPotent'	Tests.Cardano.Ledger.NonIntegral
prop_DlnLaw	Tests.Cardano.Ledger.NonIntegral
prop_DlnPow	Tests.Cardano.Ledger.NonIntegral
prop_DMonotonic	Tests.Cardano.Ledger.NonIntegral
prop_DPowDiff	Tests.Cardano.Ledger.NonIntegral
prop_ExpLaw	Tests.Cardano.Ledger.NonIntegral
prop_ExpUnitInterval	Tests.Cardano.Ledger.NonIntegral
prop_exp_is_monotonic_fp	Tests.Cardano.Ledger.NonIntegral
prop_exp_is_monotonic_q	Tests.Cardano.Ledger.NonIntegral
prop_findD	Tests.Cardano.Ledger.NonIntegral
prop_FPExpLaw	Tests.Cardano.Ledger.NonIntegral
prop_FPExpUnitInterval	Tests.Cardano.Ledger.NonIntegral
prop_FPfindD	Tests.Cardano.Ledger.NonIntegral
prop_FPIdemPotent	Tests.Cardano.Ledger.NonIntegral
prop_FPIdemPotent'	Tests.Cardano.Ledger.NonIntegral
prop_FPlnLaw	Tests.Cardano.Ledger.NonIntegral
prop_FPlnPow	Tests.Cardano.Ledger.NonIntegral
prop_FPMonotonic	Tests.Cardano.Ledger.NonIntegral
prop_FPPowDiff	Tests.Cardano.Ledger.NonIntegral
prop_IdemPotent	Tests.Cardano.Ledger.NonIntegral
prop_IdemPotent'	Tests.Cardano.Ledger.NonIntegral
prop_LeaderCmp	Tests.Cardano.Ledger.NonIntegral
prop_lnLaw	Tests.Cardano.Ledger.NonIntegral
prop_lnPow	Tests.Cardano.Ledger.NonIntegral
prop_log_is_monotonic_fp	Tests.Cardano.Ledger.NonIntegral
prop_log_is_monotonic_q	Tests.Cardano.Ledger.NonIntegral
prop_Monotonic	Tests.Cardano.Ledger.NonIntegral
prop_neg_taylorExpCmp	Tests.Cardano.Ledger.NonIntegral
prop_PowDiff	Tests.Cardano.Ledger.NonIntegral
qcWithLabel	Tests.Cardano.Ledger.NonIntegral
taylorExpCmpCheck	Tests.Cardano.Ledger.NonIntegral
toUnit	Tests.Cardano.Ledger.NonIntegral
Unit	Tests.Cardano.Ledger.NonIntegral
UnitInterval	Tests.Cardano.Ledger.NonIntegral
~=	Tests.Cardano.Ledger.NonIntegral