bradparker

{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -Wall #-}

module Main where

bradparker

const testItems = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
const limit = 2;

const getBatch = (cursor = null) => {
  const currentCursor = cursor || 0;
  const nextPotentialCursor = currentCursor + limit;
  const nextCursor = nextPotentialCursor > 10 ? null : nextPotentialCursor;

  return new Promise(resolve =>
    setTimeout(() => resolve({

bradparker

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -Wall #-}

bradparker

interface Refinement<A> {
  tag: string;
  value: A;
}

interface Refined<A, R> {
  value: A;
  refinement: R;
}

bradparker

import Control.Monad.State
import Data.Traversable
import Data.Tuple

toByteBits :: Integral n => n -> [n]
toByteBits =
  evalState (for [1..8] (\_ -> state (\s -> swap (divMod s 2))))

main = do
  print $ toByteBits 1

bradparker

{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE RankNTypes #-}

module Byte where

import Data.Bool (bool)
import Data.Functor.Const (Const(Const, getConst))
import Data.Bits ((.&.), (.|.), xor)
import Prelude hiding (sum)

bradparker

interface Person {
  name: string;
  age: number;
}

const people: Person[] = [{ name: "Bob", age: 100 }, { name: "Jane", age: 50 }];

const findPeople = (candidate: string): Promise<Person[]> => {
  return new Promise(resolve => {
    const timeout = Math.floor(Math.random() * 100);

bradparker

import * as Either from "./Either";

type Action<I, E, A> = (input: I) => Promise<Either.Either<E, A>>;

export class App<I, E, A> {
  public run: Action<I, E, A>;

  public constructor(action: Action<I, E, A>) {
    this.run = action;
  }

bradparker

#!/usr/bin/env bash

branchname=$(git branch | grep ^* | sed 's/\* //g')
regex="([A-Z]*-[0-9]*)"

if [[ $branchname =~ $regex ]]
then
  ticket_id="${BASH_REMATCH[1]}"
  message=`cat $1`

bradparker

{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE FlexibleInstances #-}

module Traversals where

import Control.Applicative (Applicative(..))
import Data.Bool (Bool(True))