module Data.Time.Calendar.Types

%default total

-- --------------------------------------------------------------------------

public export Year : Type
Year = Integer

public export MonthOfYear : Type
MonthOfYear = Int

public export DayOfMonth : Type
DayOfMonth = Int

public export DayOfYear : Type
DayOfYear = Int

public export WeekOfYear : Type
WeekOfYear = Int


-- --------------------------------------------------------------------------
-- vim : tw=80 sw=2 expandtab :