Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Evidence for longer HLists
implicit def hconsIsHListOfM[M[_], H, In <: HList, Out <: HList](
implicit ev: IsHListOfM[M, In, Out], m: Monad[M]
): IsHListOfM[M, M[H] :: In, H :: Out] = new IsHListOfM[M, M[H] :: In, H :: Out] {
override def hsequence(l: M[H] :: In): M[H :: Out] =
l.head.flatMap(h => ev.hsequence(l.tail).map(h :: _))
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.