Data.Holiday.Model

It contains data models for Holiday

Documentation

data Date

Constructors

YMD (Integer, Int, Int)

(Year, Month, Day) Some Holiday has a different date every year

MD (Int, Int)

(Month, Day) Some holidays repeat every year on the same date

Instances

Eq Date

Defined in Data.Holiday.Model

Methods

(==) :: Date -> Date -> Bool

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

Show Date

Defined in Data.Holiday.Model

Methods

showsPrec :: Int -> Date -> ShowS

show :: Date -> String

showList :: [Date] -> ShowS

Lift Date

Defined in Data.Holiday.Model

Methods

lift :: Date -> Q Exp

data Holiday

Holiday represents the date of holiday and the name of holiday.

Constructors

Holiday

Fields

• date :: Date

  Date of the holiday

• name :: String

  Name of the holiday

Instances

Eq Holiday

Defined in Data.Holiday.Model

Methods

(==) :: Holiday -> Holiday -> Bool

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

Show Holiday

Defined in Data.Holiday.Model

Methods

showsPrec :: Int -> Holiday -> ShowS

show :: Holiday -> String

showList :: [Holiday] -> ShowS

Generic Holiday

Defined in Data.Holiday.Model

Associated Types

type Rep Holiday :: Type -> Type

Methods

from :: Holiday -> Rep Holiday x

to :: Rep Holiday x -> Holiday

Lift Holiday

Defined in Data.Holiday.Model

Methods

lift :: Holiday -> Q Exp

FromJSON Holiday

Defined in Data.Holiday.Model

Methods

parseJSON :: Value -> Parser Holiday

parseJSONList :: Value -> Parser [Holiday]

type Rep Holiday

Defined in Data.Holiday.Model

type Rep Holiday = D1 (MetaData "Holiday" "Data.Holiday.Model" "korea-holidays-0.1.0.4-7anWJShLvYzG7AQ7mMJu5q" False) (C1 (MetaCons "Holiday" PrefixI True) (S1 (MetaSel (Just "date") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Date) :*: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))