Data.Tax.ATO.Common

Common taxes and helpers.

Tax tables

data TaxTables y a

A set of tax tables for a particular financial year

Constructors

TaxTables

Fields

• ttIndividualIncomeTax :: Tax (Money a) (Money a)
• ttMedicareLevy :: Tax (Money a) (Money a)
• ttMedicareLevySurcharge :: Tax (Money a) (Money a)
• ttHelp :: Tax (Money a) (Money a)
• ttSfss :: Tax (Money a) (Money a)
• ttAdditional :: Tax (Money a) (Money a)

  Additional taxes and offsets that apply at EOY

• ttPHIRebateRates :: PrivateHealthInsuranceRebateRates a

Classes

class HasIncome a b c where

Types that have an income value.

Methods

income :: Getter (a b) (Money c)

Instances

RealFrac a => HasIncome Dividend (a :: Type) a

Attributable income

Defined in Data.Tax.ATO

Methods

income :: Getter (Dividend a) (Money a)

Num a => HasIncome ESSStatement (a :: Type) a

Note: does not implement the reduction of taxed up front amounts eligible for reduction.

Defined in Data.Tax.ATO

Methods

income :: Getter (ESSStatement a) (Money a)

HasIncome GrossAndWithheld (a :: Type) a

Defined in Data.Tax.ATO

Methods

income :: Getter (GrossAndWithheld a) (Money a)

HasIncome PaymentSummary (a :: Type) a

Gross income

Defined in Data.Tax.ATO

Methods

income :: Getter (PaymentSummary a) (Money a)

HasIncome TaxAssessment (a :: Type) a

Taxable income

Defined in Data.Tax.ATO

Methods

income :: Getter (TaxAssessment a) (Money a)

RealFrac a => HasIncome (TaxReturnInfo y :: Type -> Type) (a :: Type) a

Taxable income

Defined in Data.Tax.ATO

Methods

income :: Getter (TaxReturnInfo y a) (Money a)

(Foldable t, HasIncome x a a, Num a) => HasIncome (t :: TYPE LiftedRep -> Type) (x a :: TYPE LiftedRep) a

Defined in Data.Tax.ATO.Common

Methods

income :: Getter (t (x a)) (Money a)

Common taxes and helpers

medicareLevy :: (Fractional a, Ord a) => Money a -> Tax (Money a) (Money a)

The Medicare levy, incorporating the Medicare levy reduction. The rate is 10% of the income above the given shade-in threshold or 2% of the total income, whichever is less.

medicareLevySurcharge :: (Fractional a, Ord a) => Tax (Money a) (Money a)

Medicare levy surcharge (MLS). Certain exemptions are available.

Known issues: the MLS is levied on taxable income + fringe benefits, but this is not implemented properly yet. The thresholds are affected by family income and number of dependents; this also is not implemented.

lowIncomeTaxOffset :: (Fractional a, Ord a) => Tax (Money a) (Money a)

Low income tax offset (LITO). $445, reduced by 1.5c for every dollar earned over $37,000. The lump amount may change in the future.

lowIncomeTaxOffset2021 :: (Fractional a, Ord a) => Tax (Money a) (Money a)

Low income tax offset, 2020–21 version.

lamito :: (Fractional a, Ord a) => Tax (Money a) (Money a)

Low and middle income tax offset. FY2019, 2020, 2021.

corporateTax :: Fractional a => Tax (Money a) (Money a)

The corporate tax rate of 30%. In the future, different rates may be levied depending on business turnover/income.

Convenience functions

thresholds' :: (Fractional a, Ord a) => [(a, a)] -> Tax (Money a) (Money a)

Convenience wrapper for thresholds. Turns the thresholds into Money

marginal' :: (Fractional a, Ord a) => [(a, a)] -> Tax (Money a) (Money a)

Convenience wrapper for marginal. Turns the margins into Money