Skip to content

Instantly share code, notes, and snippets.

@joshcough
Created March 30, 2013 06:30
Show Gist options
  • Save joshcough/5275632 to your computer and use it in GitHub Desktop.
Save joshcough/5275632 to your computer and use it in GitHub Desktop.
abstract class Scope[+B,F[+_],+A]
trait ForallW[F[_]] { def apply[A](pa: A => Unit): F[A] => Unit }
def putScope[B, F[_], V](
pb: B => Unit,
pf: ForallW[F],
pv: V => Unit): Scope[B, F, V] => Unit = (s:Scope[B, F, V]) => {
()
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment