Skip to content

Instantly share code, notes, and snippets.

@tpolecat
Last active December 13, 2015 18:58
Show Gist options
  • Select an option

  • Save tpolecat/4958770 to your computer and use it in GitHub Desktop.

Select an option

Save tpolecat/4958770 to your computer and use it in GitHub Desktop.
implicit def mv[F] = new Monad[({ type λ[a] = Validation[F, a] })#λ] {
def bind[A, B](fa: Validation[F, A])(f: A => Validation[F, B]): Validation[F, B] = fa.flatMap(f)
def point[A](a: => A): Validation[F, A] = a.success
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment