Skip to content

Instantly share code, notes, and snippets.

@fthomas

fthomas/laws.scala

Created February 11, 2015 07:54
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fthomas/43db31b6067606904fd4 to your computer and use it in GitHub Desktop.
Save fthomas/43db31b6067606904fd4 to your computer and use it in GitHub Desktop.
Download ZIP
Laws
Raw
laws.scala
trait InvariantLaws[F[_]] {
implicit def F: Invariant[F]
...
}
object InvariantLaws {
apply[F[_]](implicit ev: Invariant[F]): InvariantLaws[F] =
new InvariantLaws { def F = ev }
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment