Skip to content

Instantly share code, notes, and snippets.

@missingfaktor

missingfaktor/type-level-compose.scala

Created April 2, 2012 22:01
Show Gist options
  • Save missingfaktor/2287524 to your computer and use it in GitHub Desktop.
Save missingfaktor/2287524 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
type-level-compose.scala
scala> type AndThen[F[_], G[_]] = {
| type Apply[A] = G[F[A]]
| }
defined type alias AndThen
scala> val x: (List AndThen Set)#Apply[Int] = null
x: scala.collection.immutable.Set[List[Int]] = null
@dhinojosa
Copy link

Very awesome stuff, easy for slides, and easy to grok.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment