Skip to content

Instantly share code, notes, and snippets.

View teldosas's full-sized avatar

Aristotelis Dossas teldosas

  • Thessaloniki
View GitHub Profile
@teldosas
teldosas / Linear.scala
Last active January 14, 2017 14:05 — forked from limansky/Linear.scala
Linear type class
package me.limansky
import shapeless.ops.hlist.Prepend
import shapeless.{::, <:!<, Generic, HList, HNil, LabelledGeneric, Lazy}
import shapeless.labelled.FieldType
trait UnZip[-F,T] {
def apply(f: F): T
}