Skip to content

Instantly share code, notes, and snippets.

View koshelev's full-sized avatar

Vladimir Koshelev koshelev

  • Berlin, Germany
View GitHub Profile
@koshelev
koshelev / refined.scala
Last active August 29, 2015 14:28
refined result
import cats.data.Xor
import shapeless._
import shapeless.ops.hlist.IsHCons
import shapeless.tag.@@
trait Predicate[P, T] extends Serializable { self =>
type Out
def apply(x: T) : Out