begin implementation of calendar

3 files changed, 131 insertions, 22 deletions

diff --git a/CosmicCalendar.hs b/CosmicCalendar.hs
new file mode 100644
index 0000000..a21c538
--- /dev/null
+++ b/CosmicCalendar.hs
@@ -0,0 +1,128 @@
+{-# OPTIONS_GHC
+  -Wall
+  -Wno-unused-imports
+  -Wno-unused-top-binds
+  -Wno-name-shadowing
+#-}
+{-# language NoImplicitPrelude #-}
+{-# language RecordWildCards #-}
+{-# language FlexibleContexts #-}
+{-# language TemplateHaskell #-}
+{-# language ViewPatterns #-}
+{-# language OverloadedStrings #-}
+{-# language QuasiQuotes #-}
+
+module CosmicCalendar where
+
+import Rebase.Prelude
+import qualified Rebase.Prelude as Prelude
+import Control.Lens hiding ((<|))
+import Data.Foldable (toList)
+import Data.Ratio
+import Text.Printf
+import Data.Time.LocalTime
+import Control.Monad.RWS
+import Data.Time.Calendar.OrdinalDate
+import Data.Text.Format.Numbers
+import NeatInterpolation
+import Data.Text (Text)
+
+import Rebase.Data.Map.Strict (Map)
+import qualified Rebase.Data.Map.Strict as Map
+
+-- 13.787±0.020 billion years.  Source: https://en.wikipedia.org/wiki/Age_of_the_universe#cite_note-Planck_2018-2
+ageOfUniverseInYears :: Integer
+ageOfUniverseInYears = 13787 * 1000 * 1000
+
+daysPerYear :: NominalDiffTime
+daysPerYear = 365.2422
+
+lengthOfDay :: NominalDiffTime
+lengthOfDay = 24 * 60 * 60
+
+lengthOfYear :: NominalDiffTime
+lengthOfYear = daysPerYear * lengthOfDay
+
+ageOfUniverse :: NominalDiffTime
+ageOfUniverse = fromIntegral ageOfUniverseInYears * lengthOfYear
+
+data CalendarEntry = CalendarEntry {
+  calBeginTime :: NominalDiffTime,
+  calEndTime :: Maybe NominalDiffTime,
+  calTitle :: Text,
+  calDescription :: Text,
+  calReferences :: Text
+}
+
+theCalendar :: Map NominalDiffTime CalendarEntry
+theCalendar = Map.fromList $ map (\x -> (calBeginTime x, x)) theCalendarList
+
+thousandYears :: Rational -> NominalDiffTime
+thousandYears = (* (lengthOfYear * 1000)) . fromRational 
+
+millionYears :: Rational -> NominalDiffTime
+millionYears = (* (lengthOfYear * 1000 * 1000)) . fromRational 
+
+billionYears :: Rational -> NominalDiffTime
+billionYears = (* (lengthOfYear * 1000 * 1000 * 1000)) . fromRational 
+
+thousandYearsAgo :: Rational -> NominalDiffTime
+thousandYearsAgo n = ageOfUniverse - (thousandYears n)
+
+millionYearsAgo :: Rational -> NominalDiffTime
+millionYearsAgo n = ageOfUniverse - (millionYears n)
+
+billionYearsAgo :: Rational -> NominalDiffTime
+billionYearsAgo n = ageOfUniverse - (billionYears n)
+
+afterBigBang :: NominalDiffTime -> NominalDiffTime
+afterBigBang = id
+
+theCalendarList :: [CalendarEntry]
+theCalendarList =
+  [
+    CalendarEntry (afterBigBang 0) Nothing "The Big Bang" "" "",
+    CalendarEntry (afterBigBang (thousandYears 370))
+                  Nothing
+                  "Recombination - the universe first becomes transparent"
+                  recombinationDescription
+                  recombinationReferences
+  ]
+  where
+    recombinationDescription = [text|
+      At about 370,000 years,[3][4][5][6] neutral hydrogen atoms finish forming
+      ("recombination"), and as a result the universe also became transparent
+      for the first time. The newly formed atoms—mainly hydrogen and helium with
+      traces of lithium—quickly reach their lowest energy state (ground state)
+      by releasing photons ("photon decoupling"), and these photons can still be
+      detected today as the cosmic microwave background (CMB). This is the
+      oldest direct observation we currently have of the universe.
+    |]
+    recombinationReferences = [text|
+      https://en.wikipedia.org/wiki/Chronology_of_the_universe#The_very_early_universe
+
+      3. Tanabashi, M. 2018, p. 358, chpt. 21.4.1: "Big-Bang Cosmology" (Revised
+      September 2017) by Keith A. Olive and John A. Peacock.
+
+      4. Notes: Edward L. Wright's Javascript Cosmology Calculator (last
+      modified 23 July 2018). With a default H 0 {\displaystyle H_{0}} H_{0} =
+      69.6 (based on WMAP9+SPT+ACT+6dFGS+BOSS/DR11+H0/Riess) parameters, the
+      calculated age of the universe with a redshift of z = 1100 is in agreement
+      with Olive and Peacock (about 370,000 years).
+
+      5. Hinshaw, Weiland & Hill 2009. See PDF: page 45, Table 7, Age at
+      decoupling, last column. Based on WMAP+BAO+SN parameters, the age of
+      decoupling occurred 376971+3162−3167 years after the Big Bang.
+
+      6. Ryden 2006, pp. 194–195. "Without going into the details of the
+      non-equilibrium physics, let's content ourselves by saying, in round
+      numbers, zdec ≈ 1100, corresponding to a temperature Tdec ≈ 3000 K, when
+      the age of the universe was tdec ≈ 350,000 yr in the Benchmark Model.
+      (...) The relevant times of various events around the time of
+      recombination are shown in Table 9.1. (...) Note that all these times are
+      approximate, and are dependent on the cosmological model you choose. (I
+      have chosen the Benchmark Model in calculating these numbers.)"
+
+      https://en.wikipedia.org/wiki/Recombination_(cosmology)#cite_note-2
+
+    |]
diff --git a/countdown.hs b/countdown.hs
index 232c04b..a446555 100755
--- a/countdown.hs
+++ b/countdown.hs
@@ -57,25 +57,7 @@ import Brick.Util (fg, bg, on, clamp)
 import Brick.Widgets.Core
 import Brick.Widgets.Table
 
-billion :: Integer
-billion = 1000 * 1000 * 1000
-
--- 13.787±0.020 billion years.  Source: https://en.wikipedia.org/wiki/Age_of_the_universe#cite_note-Planck_2018-2
-
-ageOfUniverseInYears :: Integer
-ageOfUniverseInYears = 13787 * 1000 * 1000
-
-daysPerYear :: NominalDiffTime
-daysPerYear = 365.2422
-
-lengthOfYear :: NominalDiffTime
-lengthOfYear = daysPerYear * lengthOfDay
-
-lengthOfDay :: NominalDiffTime
-lengthOfDay = 24 * 60 * 60
-
-ageOfUniverse :: NominalDiffTime
-ageOfUniverse = fromIntegral ageOfUniverseInYears * lengthOfYear
+import CosmicCalendar
 
 data CustomEvent = TimeChanged ZonedTime deriving Show
 
@@ -412,9 +394,6 @@ theApp chan =
         , appAttrMap = const theMap
         }
 
-zone :: TimeZone
-zone = unsafePerformIO getCurrentTimeZone
-
 main :: IO ()
 main = do
     chan <- newBChan 10
diff --git a/package.yaml b/package.yaml
index d081cde..6b9e489 100644
--- a/package.yaml
+++ b/package.yaml
@@ -13,10 +13,12 @@ dependencies:
 - brick
 - format-numbers
 - text
+- neat-interpolation
 
 executables:
   countdown:
     main:                countdown.hs
+    other-modules:       CosmicCalendar
     ghc-options:
     - -threaded
     - -rtsopts