Skip to content

Instantly share code, notes, and snippets.

View andyscott's full-sized avatar
🌲

Andy Scott andyscott

🌲
104 followers · 9 following
View GitHub Profile
@andyscott
andyscott / catryoshka.scala
Created May 31, 2017 08:21
/*
* Copyright 2016-2017 47 Degrees, LLC. <http://www.47deg.com>
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
@andyscott
andyscott / gist:719b5d533ab3c95ccd6341f1515fa0f9
Created June 19, 2017 21:20
[debug] Getting org.scala-sbt:compiler-interface:0.13.15:component from component compiler for Scala 2.12.2-bin-typelevel-4
[debug] Getting org.scala-sbt:compiler-interface:0.13.15:component from component compiler for Scala 2.12.2-bin-typelevel-4
[debug] Running cached compiler 28e7910f, interfacing (CompilerInterface) with Scala compiler version 2.12.2-bin-typelevel-4
[debug] Calling Scala compiler with arguments (CompilerInterface):
[debug] -deprecation
[debug] -encoding
[debug] utf-8
[debug] -explaintypes
[debug] -feature
[debug] -language:existentials
@andyscott
andyscott / filtered_case_class_comparison.scala
Last active October 31, 2017 20:08
import shapeless.Generic
import shapeless.HList
import shapeless.ops.hlist.FilterNot
import java.util.UUID
// compare case classes but ignore UUID fields in the comparison
object ExampleApp {
final case class Foo(
@andyscott
andyscott / iota_fold_cop.scala
Created November 6, 2017 00:32
def foldTo[B]: CopFoldTo[B] = new CopFoldTo[B]
class CopFoldTo[B] {
def apply[L <: TList, LF <: TList](a: Cop[L])(fs: Prod[LF])(
implicit ev: TList.Compute.Aux[Op.Map[? => B, L], LF]
): B =
fs.values(a.index).asInstanceOf[Any => B].apply(a.value)
}
object Finn
@andyscott
andyscott / folding_dogs.scala
Last active November 6, 2017 00:41
import iota._
import iota.TList.::
import iota.TList.Op
import iota.syntax.inject._
def foldTo[B]: CopFoldTo[B] = new CopFoldTo[B]
class CopFoldTo[B] {
// library code to add to iota
def apply[L <: TList, LF <: TList](a: Cop[L])(fs: Prod[LF])(
@andyscott
andyscott / hkt.rs
Created January 4, 2018 22:16 — forked from AZaviruha/hkt.rs
Higher-kinded type trait
use std::rc::Rc;
trait HKT<U> {
type C; // Current type
type T; // Type with C swapped with U
}
macro_rules! derive_hkt {
($t:ident) => {
impl<T, U> HKT<U> for $t<T> {
@andyscott
andyscott / thrift.rb
Last active January 10, 2018 19:34
require 'formula'
class Thrift < Formula
homepage 'http://thrift.apache.org'
head 'http://svn.apache.org/repos/asf/thrift/trunk'
url 'https://archive.apache.org/dist/thrift/0.7.0/thrift-0.7.0.tar.gz'
depends_on 'boost'
def install
@andyscott
andyscott / Evidence.scala
Created January 29, 2018 23:50
object Evidence extends App {
class Foo[A]
class Bar[A]
class Zed[A]
// FirstK will find the first available evidence for entries in a TListK
{
implicit val zedForString: Zed[String] = new Zed[String]
@andyscott
andyscott / keybase.md
Created March 23, 2018 18:17

Keybase proof

I hereby claim:

  • I am andyscott on github.
  • I am andyscott (https://keybase.io/andyscott) on keybase.
  • I have a public key whose fingerprint is 09AB 2DD7 D126 ACB2 1FBF B1FC 8C70 7300 EEBD 205A

To claim this, I am signing this object:

@andyscott
andyscott / whereami.go
Created June 2, 2018 18:17
package main
import (
/*
#cgo CFLAGS: -x objective-c
#cgo LDFLAGS: -framework Foundation -framework CoreLocation
#import <CoreLocation/CoreLocation.h>
@interface WhereAmI : NSObject <CLLocationManagerDelegate>