hax-0.0.2: Haskell cash-flow and tax simulation

Safe HaskellNone
LanguageHaskell2010

HAX.Germany.Einkommensteuer

Contents

Description

TODO: (lohnsteuern) werbungskosten

Beachten: Lebensversicherungen https://www.smartsteuer.de/portal/lexikon/L/Lebensversicherung.html#D063053300009

http://www.finanzen-versicherungen-blog.de/besteuerung-lebensversicherung-auszahlung-lebensversicherung-steuerfreie-lebensversicherung/

Synopsis

Konten

Vermögen

privatVermoegen :: IsString t => t Source #

Aufwandskonten

ertragsKonten :: IsString t => [t] Source #

einkuenfteAusGewerbebetrieb :: IsString t => t Source #

steuerfreieEinnahmen :: IsString t => t Source #

uebrigeSummeDerEinkuenfte :: IsString t => t Source #

positive oder negative summe aller Einkunftsarten außer aus Kapitalvermögen und privaten Veräußerungsgeschäften

arbeitslohn :: IsString t => t Source #

werbungskostensNichtSelbststaendigeArbeitOhneFahrten :: IsString t => t Source #

ausserordentlicheEinkuenfte :: IsString t => t Source #

gesetz. Renten, Pensionen, Bezüge, .. im Sinne des https://www.jurion.de/Gesetze/EStG/24a

https://www.smartsteuer.de/portal/lexikon/A/Altersentlastungsbetrag.html

einkuenfteAusBeteiligungenAnKapitalgesellschaftenKapEst :: IsString t => t Source #

nicht solche, die der tariflichen/persönlichen ESt. unterliegen (z.B. aus Betriebsvermögen)

einkuenfteAusBeteiligungenAnKapitalgesellschaften :: IsString t => t Source #

beachten: 40% steuerfrei (?)

sonstigeEinkuenfteAusKapitalvermoegenKapEst :: IsString t => t Source #

nicht solche, die der tariflichen/persönlichen ESt. unterliegen

sonstigeEinkuenfteAusKapitalvermoegen :: IsString t => t Source #

einkuenfteAusKapitalvermoegen'hen nach 32d Abs 2. http://www2.nwb.de/portal/content/ir/service/news/news_1413444.aspx http://www.haufe.de/finance/finance-office-professional/rechtmaessigkeit-der-tariflichen-besteuerung-nach-32d-abs-2-nr-1b-estg_idesk_PI11525_HI5088406.html

https://www.smartsteuer.de/portal/lexikon/E/Einkuenfte-aus-Kapitalvermoegen.html

privateVerausserungsgeschaefte :: IsString t => t Source #

erstattungsUeberhaenge :: IsString t => t Source #

Aufwandskonten

aufwandsKonten :: IsString t => [t] Source #

lohnSteuer :: IsString t => t Source #

altersvorsorgeAufwendungenEigenanteil :: IsString t => t Source #

gesetzliche Renten / Rürüp

riesterRentenEinzahlung :: IsString a => a Source #

not implemented!

riester rente (+ zulagen. aber nur bis 2100 €??. von Steuerersparnis durch SA wird die Zulage abgezogen. Aber nur wenn ergebnis positiv)

altersvorsorgeAufwendungenArbeitgeberAnteil :: IsString t => t Source #

krankenundPflegeversicherungBasisbeitraege :: IsString t => t Source #

Kranken- und Pflegeversicherung Basisbeitraege" -- nur 96% der Leistungen wenn Krankengeld enthalten

sonstigeVorsorgeAufwendungOhneBasisbeitraege :: IsString t => t Source #

privatAusgaben :: IsString t => t Source #

Types

type AccNat l w = Acc NatuerlichePerson l w Source #

type Betrag l w = Acc NatuerlichePerson l w Amount Source #

type AccNatRW = AccountingRW NatuerlichePerson Source #

type BetragRW = AccountingRW NatuerlichePerson Amount Source #

type AccNatRO = AccountingReadOnly NatuerlichePerson Source #

type BetragRO = AccountingReadOnly NatuerlichePerson Amount Source #

Utility

kinderGeld :: NatuerlichePerson -> Amount Source #

alter :: Monoid w => AccNat l w Int Source #

Calcuate the current age in years

jahrInDemManSoAltWird :: Monoid w => Int -> AccNat l w Int Source #

Calcuate in which year reaches a certain age

splitFaktor :: Num t => NatuerlichePerson -> t Source #

Berechnung

einkommenSteuer :: GewerbeSteuer -> BetragRW Source #

Calculates of the Einkommensteuer for all possible variants, selects the cheapest (Günstigervergleich) and applies it (e.g. Verlust Vortäge).

Günstigervergleich

data Variante Source #

Type representing the different possible variants of Einkommensteuer calculation to be compared

Constructors

V 

Fields

Instances

type VarBetragRO = Variante -> BetragRO Source #

type VarBetrag l w = Variante -> Betrag l w Source #

Berechnung der Einkünfte

einkuefteAusNichtSelbststaendigerArbeit' :: RWST (Environment NatuerlichePerson FixedLedger) (AccountingRW NatuerlichePerson ()) () IO Amount Source #

https://www.smartsteuer.de/portal/lexikon/E/Einkuenfte-aus-Kapitalvermoegen.html#D063026000031

http://de.wikipedia.org/wiki/Sparer-Pauschbetrag einkuenfteAusKapitalvermoegen' = withBody $ p -> assert (>=0) (positivePart $ haben einkuenfteAusKapitalvermoegen - (splitFaktor p * 801)) "Verlust aus Kapitalvermoegen not implemented"

https://www.smartsteuer.de/portal/lexikon/E/Einkuenfte-aus-nichtselbststaendiger-Arbeit.html

https://www.smartsteuer.de/portal/lexikon/E/Entfernungspauschale.html

https://www.smartsteuer.de/portal/lexikon/W/Werbungskostenpauschbetrag.html

summeDerEinkuenfte :: VarBetragRO Source #

uebrigeSummeDerEinkuenfte' :: VarBetragRO Source #

Steuerberechnung

einkommenSteuerVariante :: GewerbeSteuer -> VarBetragRO Source #

Calculates the Einkommensteuer for a given variant

solidaritaetsZuschlag Source #

Arguments

:: GewerbeSteuer

GewerbeSteuer

-> VarBetragRO 

https://www.smartsteuer.de/portal/lexikon/S/Solidaritaetszuschlag.html

TODO eigentlich unter berücksichtigung von Kinderfreibeträgen?

https://www.jurion.de/Gesetze/SolZG/3

http://www.steuerlinks.de/steuerlexikon/lexikon/gewerbesteueranrechnung.html

gewStErmaessigung Source #

Arguments

:: GewerbeSteuer 
-> Amount

geminderte Einkommensteuer

-> BetragRO 

https://www.smartsteuer.de/portal/lexikon/S/Steuerermaessigung-bei-Einkuenften-aus-Gewerbebetrieb.html

35 EStG

http://books.google.de/books?id=NY1oFSCGGM0C&pg=PA123&lpg=PA123&dq=35+estg+verlustausgleich&source=bl&ots=hXL1TzqbyG&sig=cky8FRnixRZVTOMzWWRh7X8A_6Q&hl=en&sa=X&ei=eHUDVODgGcbqaPXMgcAK&ved=0CEoQ6AEwBA#v=onepage&q=35%20estg%20verlustausgleich&f=false

steuerBetrag :: Amount -> Amount Source #

Berechnet den Tariflichen Einkommensteuerbetrag für das zu versteuernde Einkommen

testSteuerBetrag :: Bool Source #

abgeltungsSteuer :: VarBetragRO Source #

https://www.smartsteuer.de/portal/lexikon/A/Abgeltungsteuer.html

zuVersteuerndesEinkommen :: VarBetragRO Source #

Calculate the "zu versteuerndes Einkommen" for a given variant https://www.smartsteuer.de/portal/lexikon/E/Einkommensteuer.html

more references in the source code...

mute :: MonadWriter b m => m a -> m a Source #

Sonderausgaben und Belastungen

aussergewoehnlicheBelastungen :: BetragRO Source #

sonderAusgaben :: BetragRO Source #

allgemeineSonderAusgaben :: BetragRO Source #

allgemeine Sonderausgaben (z.B. auch die Kirchensteuer beinhalten)

Aktuel nur Pauschbetrag implementiert

altersvorsorgeAufwendungen :: BetragRO Source #

http://www.ruv.de/de/r_v_ratgeber/altersvorsorge/foerderung_staat/5_basisrente_sonderausgabenabzug.jsp

http://www.steuernetz.de/aav_steuernetz/lexikon/K-23995.xhtml?currentModule=home

sonstigeVorsorgeAufwendung :: BetragRO Source #

http://www.steuernetz.de/aav_steuernetz/lexikon/K-24101.xhtml?currentModule=home

TODO bis 2019 möglicher Günsitgervergleich mit Berechnungsmethode bis 2004?

Sonstiges

entlastungsbetragfuerAlleinerziehende :: BetragRO Source #

kinderFreibetrag :: VarBetragRO Source #

kinderGeldAnrechnung :: VarBetragRO Source #

ausbildungsKosten :: BetragRO Source #

kinderFreibetragUndGeld :: Monoid w => Acc NatuerlichePerson l w (Amount, Amount) Source #

Berechnet den anzurechnenden Freibetrag und das abzuziehende Kindergeld

altersentlastungsBetrag :: VarBetragRO Source #

https://www.smartsteuer.de/portal/lexikon/A/Altersentlastungsbetrag.html

https://www.jurion.de/Gesetze/EStG/24a

altersentlastungsSaetze :: Array Int (Amount, Amount) Source #