Skip to content

Instantly share code, notes, and snippets.

@wheaties

wheaties/OneOf.scala

Last active February 18, 2016 13:53
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save wheaties/ff0ca5d46581cb7963dd to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save wheaties/ff0ca5d46581cb7963dd to your computer and use it in GitHub Desktop.
Download ZIP
First OneOf
Raw
OneOf.scala
trait OneOf[Obj, Items]
class Prove[Items]{
def check[Obj](obj: Obj)(implicit proof: OneOf[Obj, Items]) = obj
}
type |[A, B] = (A, B)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment