Skip to content

Instantly share code, notes, and snippets.

@hardvain
Created September 30, 2016 11:12
Show Gist options
  • Save hardvain/81c1441d025440ed6ea071e12cc35861 to your computer and use it in GitHub Desktop.
Save hardvain/81c1441d025440ed6ea071e12cc35861 to your computer and use it in GitHub Desktop.
import shapeless._
val hlist1a = HList(1,2,3)
val hlist2a = HList(1,"a",3.14)
// The above code with type ascription
val hlist1b: ::[Int, ::[Int, ::[Int, HNil]]] = HList(1,2,3)
val hlist2b: ::[Int, ::[String, ::[Double, HNil]]] = HList(1,"a",3.15)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment