mjhopkins

{-# LANGUAGE LambdaCase      #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns    #-}

module AndPatterns where

pattern DivBy3 :: Integral i => i
pattern DivBy3 <- ((`mod` 3) -> 0)

pattern DivBy5 :: Integral i => i

mjhopkins

Keybase proof

I hereby claim:

• I am mjhopkins on github.
• I am mjhopkins (https://keybase.io/mjhopkins) on keybase.
• I have a public key whose fingerprint is CDD5 00B6 B918 11BB D027 5160 0888 F607 EE67 1CE8

To claim this, I am signing this object:

mjhopkins

module EvenOdd

data Even : (n : Nat) -> Type where
  ZeroIsEven   : Even 0
  SuccSuccEven : Even n -> Even (S (S n))

data Odd : (n : Nat) -> Type where
  OneIsOdd    : Odd 1
  SuccSuccOdd : Odd n -> Odd (S (S n))

mjhopkins

sealed trait Role[N <: Entity] 

case object VIP extends Role[Customer]
case object Shopper extends Role[Customer]

case object Manager extends Role[Staff]
case object Employee extends Role[Staff]

sealed trait Entity

mjhopkins

package api

import shapeless.{Succ, _0, Nat}
import shapeless.nat._2

trait BasicDefinitions {
  // type level booleans
  sealed trait Flag
  trait On extends Flag
  trait Off extends Flag

mjhopkins

object CreateSequence {
  import com.github.nscala_time.time.Implicits._
  import Sequences._

  val seq: Seq3[Int, String, Double] = an[Int].within(5.minutes)[String].within(10.minutes)[Double]
}

object Sequences {
  def an[A] = new SeqBuilder[A]
  def a[A] = new SeqBuilder[A]

mjhopkins

object FlattenTuple {

  import shapeless._
  import ops.tuple.FlatMapper
  import syntax.std.tuple._

  trait LowPriorityFlattenTuple extends Poly1 {
    implicit def default[T] = at[T](Tuple1(_))
  }

mjhopkins

import scala.util.matching.Regex

import scalaz._
import Scalaz._
import java.io.File

/*
Process a file containing <key, string, float> columns and print some stats on it.
Let's assume the columns are separated by tab characters.
 */

mjhopkins

import com.google.protobuf.GeneratedMessage
import org.apache.hadoop.hdfs.protocol.proto.ClientNamenodeProtocolProtos.{RenameRequestProto, AppendResponseProto}
import org.apache.hadoop.hdfs.protocol.proto.DataTransferProtos.ClientReadStatusProto
import scalaz.{Tag, @@}

/*
  Type class usage demo
*/

object byteArrayable {