danstn

package main

import (
        "fmt"
        "log"
        "net/http"
        "net/http/httputil"
        "strings"
)

danstn

""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
"                                    CORE
""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""

set autoindent   " enable automatic indentation
set expandtab
set hlsearch     " highlight search results
set ignorecase   " case insensitive search
set incsearch    " match the search and return to the initial position
set list         " Show `listchars` characters

danstn

module MachineDemo exposing
    ( Model
    , init
    , myDiv
    , setHeight
    , setMinHeight
    , setWidth
    )

import Element exposing (..)

danstn

export class InfrastructureStack extends cdk.Stack {
  constructor(scope: cdk.Construct, id: string, props?: cdk.StackProps) {
    super(scope, id, props);

    // Create a new bucket
    const bucket = new s3.Bucket(this, BUCKET_ID, {
      bucketName: "<your-domain>",
      websiteIndexDocument: "index.html",
      autoDeleteObjects: true,
      enforceSSL: true,

danstn

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE NoImplicitPrelude #-}

module HasqlExtra where

import Data.UUID (UUID)
import qualified Hasql.Decoders as D
import Hasql.DynamicStatements.Snippet (Snippet, param, sql)
import Hasql.DynamicStatements.Statement (dynamicallyParameterized)

danstn

newtype PrivateData = PrivateData { ssshhh :: Text }
  deriving (Eq, Show, Generic)
  
newtype PublicData = PublicData { somedata :: Text }
  deriving (Eq, Show, Generic)

instance ToJSON PrivateData
instance ToJSON PublicData

type PublicAPI = Get '[JSON] [PublicData]

danstn

#!/usr/bin/bash

set -e

echo -n "Enter server name (i.e. nginx-server): "
read server

echo "===> [INFO] Generating certs for: $server"

echo "===> [Step 1] Generating Certificate Request (CSR)..."

danstn

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DeriveFunctor #-}

import           Prelude
import           Data.String
import           Control.Monad.Free

type Program a r = Free (AST a) r

data AST a next =

danstn

-- | simple/basic Scala -> Haskell translation of Runar's presentation
-- | (https://dl.dropboxusercontent.com/u/4588997/ReasonablyPriced.pdf)
-- | trying to use minimal extensions and magic. 
-- | (earlier I had a version using MultiParamTypeClasses for Runar's
-- | Inject class, but scraped it opting for simplicity)
-- | my question: what do we lose by moving towards simplicity?
-- | Future work: use DataKinds, TypeOperators, and potentially TypeFamilies
-- | to maintain and automate the folding of types in Coproduct.

{-# LANGUAGE Rank2Types, DeriveFunctor #-}

danstn

sealed trait Interact[A]

case class Ask(prompt: String)
  extends Interact[String]

case class Tell(msg: String)
  extends Interact[Unit]

trait Monad[M[_]] {
  def pure[A](a: A): M[A]