mchav

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE GADTs #-}
module Main where

import Data.Map (Map)
import Data.Type.Equality
import Data.Typeable (Typeable)
import Type.Reflection

mchav

module Day3 where

import Data.List ( isPrefixOf )
import Data.List.Split ( splitOn )
import Data.Char ( isDigit )

run :: IO ()
run = do
    instructions <- readFile "./data/day3/input"
    let tuples = parseInstructions instructions

mchav

correlation :: T.Text -> T.Text -> DataFrame -> Maybe Double
correlation first second df = do
  (UnboxedColumn (f :: VU.Vector a)) <- getColumn first df
  (UnboxedColumn (s :: VU.Vector b)) <- getColumn second df
  Refl <- testEquality (typeRep @a) (typeRep @Double)
  Refl <- testEquality (typeRep @b) (typeRep @Double)
  let n = VG.length f
  let
    go (-1) acc = acc
    go i (mX :: Double, mY :: Double) = go (i - 1) (mX + f VU.! i, mY + s VU.! i)

mchav

module DataFrame where

-- Column space with a closed type universe.
data Column = CInt [Int]
            | CDouble [Double]
            | CString [String]

instance Show Column where
    show (CInt xs) = show xs
    show (CDouble xs) = show xs

mchav

{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE ImportQualifiedPost #-}

module Main (main) where

import Chart
import Data.Text (Text)
import Prelude as P

mchav

{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NumericUnderscores #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

import Control.Monad (when)
import qualified Data.ByteString.Lazy as L
import Data.List (foldl')

mchav

-- Sort of like Java's step builder pattern.
-- https://medium.com/@castigliego/step-builder-pattern-3bcac4eaf9e8

-- A type that encodes that Y doesn't exist.
data NeedY

-- A type that encodes that a chart is ready.
data Ready

data Plot (s :: *) where

mchav

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ExplicitNamespaces #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}

mchav

{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NumericUnderscores #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

import Control.Monad (when)
import qualified Data.ByteString.Lazy as L
import Data.List (foldl')

mchav

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE BangPatterns #-}

module Main where

import qualified Data.ByteString.Char8 as B
import Data.Char (isSpace)
import System.Environment (getArgs)

-- Run commands: