Skip to content

Instantly share code, notes, and snippets.

View adampingel's full-sized avatar

Adam Pingel adampingel

51 followers · 33 following
View GitHub Profile
@adampingel
adampingel / Test.scala
Created November 6, 2017 08:00
package test
import cats._, implicits._
import cats.sequence._
import shapeless._, shapeless.labelled._
import shapeless.syntax.singleton._
import shapeless.ops.hlist._
// working to understand
// https://gist.github.com/SystemFw/a99a4099227042b7948cf944f06ecd01
@adampingel
adampingel / mix.scala
Created November 5, 2017 23:09
trouble with shapeless foldRight
import shapeless._
import spire.random.Generator
import spire.random.Generator.rng
import shapeless.ops.hlist.RightFolder
import shapeless.ops.hlist.Zip
import shapeless.HList.hlistOps
// From build.sbt:
//
// scalaVersion := "2.11.8"
@adampingel
adampingel / category1.scala
Created February 19, 2012 02:42
Category Theory example
import org.pingel.axle.category.awodey.CategoryTheory._
val ints = ⋅(Set(1, 2))
val strings = ⋅(Set("A", "B"))
println("ints ≡ strings: " + (ints ≡ strings))
println("ints ≡ ints : " + (ints ≡ ints))
val fii = →(ints, ints) /* TODO */
val fis = →(ints, strings) /* TODO */