jacobstanley

#!/usr/bin/env runghc

import Data.List
import System.Environment
import System.Process
import System.Random

main :: IO ()
main = do
    args <- getArgs

jacobstanley

import Data.SBV

import Control.Applicative ((<$>))
import Prelude hiding (sum, count)

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

main :: IO ()
main = do
  x <- satWith z3 { timing = True, smtFile = Just "smt.txt" } program

jacobstanley

Installing Multiple GHC Versions

Use these instructions if you want to run multiple versions of GHC side-by-side.

This setup doesn't have GHC on the PATH by default, and uses g to cycle between available versions.

Install GHC 7.8.4

$ wget https://www.haskell.org/ghc/dist/7.8.4/ghc-7.8.4-x86_64-apple-darwin.tar.xz

jacobstanley

data Parser a where
  Val :: Show a => a -> Parser a
  Cat :: Parser a -> Parser b -> Parser (a, b)

instance Show (Parser a) where
  showsPrec p x =
    showParen (p > 10) $
      case x of
        Val n ->
          showString "Val " .

jacobstanley

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}

jacobstanley

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE InjectiveTypeFamilies #-}

class Bonkers b where
  type Bonkers1 b = b1 | b1 -> b
  type Bonkers2 b = b2 | b2 -> b

  bonkersFrom :: Bonkers1 b -> Bonkers2 b

bonkers :: Bonkers b => Bonkers1 b -> Bonkers2 b

jacobstanley

Ordered by vCPU

Instance Type	vCPU	Memory (GiB)	Storage (GB)	SSD	Drives	Network Perf.	Processor	Clock (GHz)	AVX	AVX2	Turbo	EBS Opt.	Enhanced Network
t1.micro	1	0.613	-	-	EBS Only	Very Low	?	?	-	-	-	-	-
t2.nano	1	0.5	-	-	EBS Only	Low	Intel Xeon family	Up to 3.3	Yes	-	Yes	-	-
t2.micro	1	1	-	-	EBS Only	Low to Moderate	Intel Xeon family	Up to 3.3	Yes	-	Yes	-	-
m1.small	1	1.7	160	-	1 x 160	Low	?

jacobstanley

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE PartialTypeSignatures #-}

jacobstanley

prop_foo :: Property ()
prop_foo = do
  x <- forAll $ elements ["a", "b", "c"]
  y <- forAll $ chooseInt 0 10
  guard $ not (x == "a" && y == 5) -- works like (==>) from QuickCheck
  ..

jacobstanley

-- Quoter unfortunately need to be in another file due to GHC staging restrictions
import Quoter

foo :: ParsedExpr
foo =
  [expr| Var "salads"  |]

-- foo =
ParsedExpr {parsedSource = " Var \"salads\"  ", parsedExpr = Var "salads"}