Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Description

This module provides additional German public holidays that are not covered by the bank holidays.

Public holidays – except for GermanUnityDay – are under federal obligations in Germany („Ländersache“).

Most bank holidays are also federal public holidays (see isPublicHoliday). But there are some additional extra holidays which may differ between federal states.

For example, Heilige Drei Könige is not a bank holiday but it is a public holiday in Bavaria.

The example prints all public holidays in Bavaria (Landkreis Miesbach, Oberbayern) in 2025:

import Prelude
import Data.List
import Data.Time
import qualified Data.Time.Calendar.BankHoliday.Germany as BH
import qualified Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays as EH

start = fromGregorian 2025 1 1

end = fromGregorian 2025 12 31

holidays :: [[String]]
holidays = map ((x,y) -> [show x, BH.germanHolidayName y]) (filter (BH.isPublicHoliday . snd) $ BH.holidaysBetween start end)
        ++ map ((x,y) -> [show x, EH.germanHolidayName y]) (filter ((/= EH.Friedensfest) . snd) $ EH.holidaysBetween EH.Bayern start end)

main :: IO ()
main = putStrLn $ unlines $ sort $ map unwords holidays

2025-01-01 Neujahrstag
2025-01-06 Heilige Drei Könige
2025-04-18 Karfreitag
2025-04-21 Ostermontag
2025-05-01 Tag der Arbeit
2025-05-29 Christi Himmelfahrt
2025-06-09 Pfingstmontag
2025-06-19 Fronleichnam
2025-08-15 Mariä Himmelfahrt
2025-10-03 Tag der Deutschen Einheit
2025-11-01 Allerheiligen
2025-12-25 1. Weihnachtsfeiertag
2025-12-26 2. Weihnachtsfeiertag

Resources:

Extra holidays are implemented for all 16 federal states. For some states, we couldn't find official sources; That's why this list only includes some states.

Übersicht: https://de.wikipedia.org/wiki/Gesetzliche_Feiertage_in_Deutschland
Weitere Übersicht: https://www.arbeitstage.org/
Bayern: https://www.stmi.bayern.de/suv/feiertage/
Baden-Württemberg: https://im.baden-wuerttemberg.de/de/service/feiertage
Niedersachsen: https://service.niedersachsen.de/portaldeeplink/?tsa_leistung_id=8664664&tsa_sprache=de_DE
Hessen: https://innen.hessen.de/buerger-staat/feiertage
Rheinland-Pfalz: https://mdi.rlp.de/themen/buerger-und-staat/verfassung-und-verwaltung/sonn-und-feiertagsrecht
Brandenburg: https://bravors.brandenburg.de/gesetze/ftg_2003/6
Sachsen-Anhalt: https://www.landesrecht.sachsen-anhalt.de/bsst/document/jlr-FeiertGSTrahmen/part/X
Thüringen: https://buerger.thueringen.de/detail?pstId=354718
Hamburg: https://www.hamburg.de/ferien-und-feiertage/
Mecklenburg-Vorpommern u. Berlin (Frauentag): https://www.deutsche-rentenversicherung.de/DRV/DE/Ueber-uns-und-Presse/Presse/Meldungen/2024/240306_frauentag_feiertag_frei.html
Saarland: https://www.saarland.de/mibs/DE/themen-aufgaben/aufgaben/buerger_und_staat/sonn_u_feiertagsrecht/feiertagsrecht_node.html
Bremen: https://www.transparenz.bremen.de/metainformationen/gesetz-ueber-die-sonn-gedenk-und-feiertage-vom-12-november-1954-145882?asl=bremen203_tpgesetz.c.55340.de&template=20_gp_ifg_meta_detail_d

Synopsis

data ExtraHoliday
- = HeiligeDreiKoenige
- | Fronleichnam
- | Friedensfest
- | MariaeHimmelfahrt
- | Allerheiligen
- | Reformationstag
- | InternationalerFrauentag
- | BussUndBettag
data FederalState
- = BadenWuerttemberg
- | Bayern
- | Berlin
- | Brandenburg
- | Bremen
- | Hamburg
- | Hessen
- | MecklenburgVorpommern
- | Niedersachsen
- | NordrheinWestfalen
- | RheinlandPfalz
- | Saarland
- | Sachsen
- | SachsenAnhalt
- | SchleswigHolstein
- | Thueringen
holidaysBetween :: FederalState -> Day -> Day -> [(Day, ExtraHoliday)]
fromDay :: Day -> Maybe ExtraHoliday
toDay :: Year -> ExtraHoliday -> Day
germanHolidayName :: ExtraHoliday -> String
isHolidayInState :: FederalState -> ExtraHoliday -> Bool

Documentation

data ExtraHoliday Source #

Extra federal holidays, no overlap with BankHoliday. Spezielle Feiertage der Bundesländer.

*regional holiday, only applies in parts of the federal state

Constructors

HeiligeDreiKoenige	Heilige Drei Könige (Bayern, Baden-Württemberg, Sachsen-Anhalt)
Fronleichnam	Fronleichnam (Bayern, Baden-Württemberg, Nordrhein-Westfalen, Hessen, Rheinland-Pfalz, Thüringen*, Saarland)
Friedensfest	Friedensfest (Bayern*)
MariaeHimmelfahrt	Mariä Himmelfahrt (Bayern*, Saarland)
Allerheiligen	Allerheiligen (Bayern, Baden-Württemberg, Nordrhein-Westfalen, Rheinland-Pfalz, Saarland)
Reformationstag	Reformationstag (Niedersachsen, Sachsen, Schleswig-Holstein, Brandenburg, Sachsen-Anhalt, Thüringen, Hamburg, Mecklenburg-Vorpommern, Bremen)
InternationalerFrauentag	Internationaler Frauentag (Berlin, Mecklenburg-Vorpommern)
BussUndBettag	Buß- und Bettag (Sachsen)

Instances

Instances details

Bounded ExtraHoliday Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods minBound :: ExtraHoliday # maxBound :: ExtraHoliday #
Enum ExtraHoliday Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods succ :: ExtraHoliday -> ExtraHoliday # pred :: ExtraHoliday -> ExtraHoliday # toEnum :: Int -> ExtraHoliday # fromEnum :: ExtraHoliday -> Int # enumFrom :: ExtraHoliday -> [ExtraHoliday] # enumFromThen :: ExtraHoliday -> ExtraHoliday -> [ExtraHoliday] # enumFromTo :: ExtraHoliday -> ExtraHoliday -> [ExtraHoliday] # enumFromThenTo :: ExtraHoliday -> ExtraHoliday -> ExtraHoliday -> [ExtraHoliday] #
Read ExtraHoliday Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods readsPrec :: Int -> ReadS ExtraHoliday # readList :: ReadS [ExtraHoliday] # readPrec :: ReadPrec ExtraHoliday # readListPrec :: ReadPrec [ExtraHoliday] #
Show ExtraHoliday Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods showsPrec :: Int -> ExtraHoliday -> ShowS # show :: ExtraHoliday -> String # showList :: [ExtraHoliday] -> ShowS #
Eq ExtraHoliday Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods (==) :: ExtraHoliday -> ExtraHoliday -> Bool # (/=) :: ExtraHoliday -> ExtraHoliday -> Bool #

data FederalState Source #

Germany's federal states – Deutsche Bundesländer.

Constructors

BadenWuerttemberg
Bayern
Berlin
Brandenburg
Bremen
Hamburg
Hessen
MecklenburgVorpommern
Niedersachsen
NordrheinWestfalen
RheinlandPfalz
Saarland
Sachsen
SachsenAnhalt
SchleswigHolstein
Thueringen

Instances

Instances details

Bounded FederalState Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods minBound :: FederalState # maxBound :: FederalState #
Enum FederalState Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods succ :: FederalState -> FederalState # pred :: FederalState -> FederalState # toEnum :: Int -> FederalState # fromEnum :: FederalState -> Int # enumFrom :: FederalState -> [FederalState] # enumFromThen :: FederalState -> FederalState -> [FederalState] # enumFromTo :: FederalState -> FederalState -> [FederalState] # enumFromThenTo :: FederalState -> FederalState -> FederalState -> [FederalState] #
Read FederalState Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods readsPrec :: Int -> ReadS FederalState # readList :: ReadS [FederalState] # readPrec :: ReadPrec FederalState # readListPrec :: ReadPrec [FederalState] #
Show FederalState Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods showsPrec :: Int -> FederalState -> ShowS # show :: FederalState -> String # showList :: [FederalState] -> ShowS #
Eq FederalState Source #
Instance details Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays Methods (==) :: FederalState -> FederalState -> Bool # (/=) :: FederalState -> FederalState -> Bool #

holidaysBetween :: FederalState -> Day -> Day -> [(Day, ExtraHoliday)] Source #

Compute pairs of date and holiday from start to end (inclusive) for the given federal state.

>>> map snd $ holidaysBetween Bayern (fromGregorian 2024 8 8) (fromGregorian 2024 8 15)
[Friedensfest,MariaeHimmelfahrt]

fromDay :: Day -> Maybe ExtraHoliday Source #

Compute Maybe the holiday for a given date.

Note: In some years, two extra holidays may fall on the same day. In such cases this function returns the holiday that is defined first in the ExtraHoliday Enum.

>>> fromDay (fromGregorian 2024 11 1)
Just Allerheiligen

>>> fromDay (fromGregorian 2024 5 5)
Nothing

toDay :: Year -> ExtraHoliday -> Day Source #

Compute the date for a given year and extra holiday.

>>> toDay 2024 HeiligeDreiKoenige
2024-01-06

germanHolidayName :: ExtraHoliday -> String Source #

Translate the holiday name to German.

isHolidayInState :: FederalState -> ExtraHoliday -> Bool Source #

Check if ExtraHoliday is a holiday in the given federal state.

Note: Internationaler Frauentag is a holiday in Berlin (since 2019) and Mecklenburg-Vorpommern (since 2023). However this function doesn't take the year into account and hence is incorrect for earlier years.

>>> isHolidayInState Bayern Allerheiligen
True

>>> isHolidayInState Berlin Allerheiligen
False