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 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 OverloadedLabels #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE ImportQualifiedPost #-}

module Main (main) where

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

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

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

{-# 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

import Control.Monad
import Data.Array

-- A class for axis-aligned rectangles.
-- The rectangle is defined by the left and right most x
-- coordinates. And the left and rightmost y coordinates.

type Point = (Int, Int)

data Rectangle = Rectangle {

mchav

project.afterEvaluate {
    extensions.compileFrege = {
        description = 'Compile Frege to Java'
        javaexec {
            android.dexOptions.setJavaMaxHeapSize("4g")
            android.defaultConfig.setMultiDexEnabled(true)

            def libs = project.rootDir.path +  "/app/libs".replace('/' as char, File.separatorChar)

            def froid = new File(libs + "/froid.jar".replace('/' as char, File.separatorChar))

mchav

-optimizations !code/simplification/arithmetic,!code/simplification/cast,!field/*,!class/merging/*
-optimizationpasses 5
-allowaccessmodification
-dontpreverify

-dontusemixedcaseclassnames
-dontskipnonpubliclibraryclasses
-verbose

-keepattributes *Annotation*