Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

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.

Note: The extra holidays are currently only implemented for Baden-Württemberg, Bayern, Berlin, Niedersachsen, Hessen, and Nordrhein-Westfalen.

Example for computing all public holidays in Bavaria (Landkreis Miesbach, Oberbayern) in the next couple years:

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 2024 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

2024-01-01 Neujahrstag
2024-01-06 Heilige Drei Könige
2024-03-29 Karfreitag
2024-04-01 Ostermontag
2024-05-01 Tag der Arbeit
2024-05-09 Christi Himmelfahrt
2024-05-20 Pfingstmontag
2024-05-30 Fronleichnam
2024-08-15 Mariä Himmelfahrt
2024-10-03 Tag der Deutschen Einheit
2024-11-01 Allerheiligen
2024-12-25 1. Weihnachtsfeiertag
2024-12-26 2. Weihnachtsfeiertag
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:

• Ü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

Documentation

data ExtraHoliday

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

Note: Currently, only some federal states' extra holidays are implemented. See module description above for details.

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

Constructors

HeiligeDreiKoenige

Heilige Drei Könige (Bayern, Baden-Württemberg, …)

Fronleichnam

Fronleichnam (Bayern, Baden-Württemberg, Nordrhein-Westfalen, Hessen, …)

Friedensfest

Friedensfest (Bayern*, …)

MariaeHimmelfahrt

Mariä Himmelfahrt (Bayern*, …)

Allerheiligen

Allerheiligen (Bayern, Baden-Württemberg, Nordrhein-Westfalen, …)

Reformationstag

Reformationstag (Niedersachsen, …)

InternationalerFrauentag

Internationaler Frauentag (Berlin, …)

Instances

Bounded ExtraHoliday

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

minBound :: ExtraHoliday

maxBound :: ExtraHoliday

Enum ExtraHoliday

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

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

readsPrec :: Int -> ReadS ExtraHoliday

readList :: ReadS [ExtraHoliday]

readPrec :: ReadPrec ExtraHoliday

readListPrec :: ReadPrec [ExtraHoliday]

Show ExtraHoliday

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

showsPrec :: Int -> ExtraHoliday -> ShowS

show :: ExtraHoliday -> String

showList :: [ExtraHoliday] -> ShowS

Eq ExtraHoliday

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

(==) :: ExtraHoliday -> ExtraHoliday -> Bool

(/=) :: ExtraHoliday -> ExtraHoliday -> Bool

data FederalState

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

Bounded FederalState

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

minBound :: FederalState

maxBound :: FederalState

Enum FederalState

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

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

readsPrec :: Int -> ReadS FederalState

readList :: ReadS [FederalState]

readPrec :: ReadPrec FederalState

readListPrec :: ReadPrec [FederalState]

Show FederalState

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

showsPrec :: Int -> FederalState -> ShowS

show :: FederalState -> String

showList :: [FederalState] -> ShowS

Eq FederalState

Defined in Data.Time.Calendar.BankHoliday.Germany.ExtraHolidays

Methods

(==) :: FederalState -> FederalState -> Bool

(/=) :: FederalState -> FederalState -> Bool

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

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

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

Compute the date for a given year and extra holiday.

>>> toDay 2024 HeiligeDreiKoenige
2024-01-06

germanHolidayName :: ExtraHoliday -> String

Translate the holiday name to German.

isHolidayInState :: FederalState -> ExtraHoliday -> Bool

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

>>> isHolidayInState Bayern Allerheiligen
True

>>> isHolidayInState Berlin Allerheiligen
False