Skip to content

Instantly share code, notes, and snippets.

@folone

folone/polymorphism.scala

Created July 7, 2011 09:18
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 folone/1069162 to your computer and use it in GitHub Desktop.
Save folone/1069162 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
polymorphism.scala
trait ~>[F[_],G[_]] {
def apply[A](a: F[A]): G[A]
}
type Id[A] = A
def apply[B](f: Id ~> List, b: B, s: String): (List[B], List[String]) = (f(b), f(s))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment